Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-09-25T15:28:28Z
dc.date.available 2012-09-25T15:28:28Z
dc.date.issued 2003
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/21454
dc.description.abstract 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] es
dc.format.extent 80-83 es
dc.language es es
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Extensión de la programación lógica es
dc.subject Semantics es
dc.subject Semántica declarativa de la programación lógica es
dc.subject Semántica de juegos es
dc.subject Sistemas Argumentativos es
dc.title Programación de lógica rebatible es
dc.type Objeto de conferencia es
sedici.title.subtitle Un enfoque declarativo es
sedici.creator.person Cecchi, Laura es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.description.note Eje: Inteligencia artificial es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2003-05 es
sedici.relation.event V Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)