Programación de lógica rebatible : Un enfoque declarativo

Los diferentes modelos de sistemas argumentativos son formalismos de representación y razonamiento no monotónicos que permiten caracterizar una de las principales habilidades d ela inteligencia humana: la argumentación. La Programación en Lógica Rebatible (De ahora en más P.L.R.) [GS99, Gar00, GS03...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Cecchi, Laura, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2003
Materias:	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensión de la programación lógica Semantics Semántica declarativa de la programación lógica Semántica de juegos Sistemas Argumentativos
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/21454
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-21454
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensión de la programación lógica Semantics Semántica declarativa de la programación lógica Semántica de juegos Sistemas Argumentativos
spellingShingle	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensión de la programación lógica Semantics Semántica declarativa de la programación lógica Semántica de juegos Sistemas Argumentativos Cecchi, Laura Simari, Guillermo Ricardo Programación de lógica rebatible : Un enfoque declarativo
topic_facet	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Extensión de la programación lógica Semantics Semántica declarativa de la programación lógica Semántica de juegos Sistemas Argumentativos
description	Los diferentes modelos de sistemas argumentativos son formalismos de representación y razonamiento no monotónicos que permiten caracterizar una de las principales habilidades d ela inteligencia humana: la argumentación. La Programación en Lógica Rebatible (De ahora en más P.L.R.) [GS99, Gar00, GS03] implementa a través de su semántica operacional un modo de argumentación rebatible. Con el objeto de aceptar una proposición, se producen y evalúan todos los argumentos a favor y en contra. Un literal es aceptado entre las creencias de un agente sólo cuando un argumento que lo soporta es aceptable de acuerdo a la interacción descripta por un análisis dialéctico entre él y los contraargumentos. Determinar el significado de un programa lógico es fundamental al considerar las creencias de un agente. Evidentemente, necesitaremos de un mecanismo que permita obtener dichas creencias: la semántica operativa. Sin embargo, la semántica analizada desde un punto de vista declarativo ayuda a distinguir entre diferentes sistemas no monotónicos y a estudiarlos como modelos de representación y razonamiento, sin recurrir al control. Motivados por estas ideas, se planificó en el marco del proyecto de investigación “Representación de Conocimiento y Razonamiento para Sistemas Multiagentes”, del Departamento de Ciencias de la Computación, Fa.E.A, U.N.C., un lineamiento cuyo objetivo es el estudio del mecanismo de razonamiento no monotóico de la P.L.R. Asimismo, hemos puesto especial interés en el análisis de los criterios de decisión entre argumentos conflicticos. Si bien existen diferentes criterios de preferencia entre argumentos contradictorios, nuestra línea se circunscribe al análisis de la especificidad generalizada [GS03]
format	Objeto de conferencia Objeto de conferencia
author	Cecchi, Laura Simari, Guillermo Ricardo
author_facet	Cecchi, Laura Simari, Guillermo Ricardo
author_sort	Cecchi, Laura
title	Programación de lógica rebatible : Un enfoque declarativo
title_short	Programación de lógica rebatible : Un enfoque declarativo
title_full	Programación de lógica rebatible : Un enfoque declarativo
title_fullStr	Programación de lógica rebatible : Un enfoque declarativo
title_full_unstemmed	Programación de lógica rebatible : Un enfoque declarativo
title_sort	programación de lógica rebatible : un enfoque declarativo
publishDate	2003
url	http://sedici.unlp.edu.ar/handle/10915/21454
work_keys_str_mv	AT cecchilaura programaciondelogicarebatibleunenfoquedeclarativo AT simariguillermoricardo programaciondelogicarebatibleunenfoquedeclarativo
bdutipo_str	Repositorios
_version_	1764820464559980545

Programación de lógica rebatible : Un enfoque declarativo

Ejemplares similares