Search among the 161892 resources available in the repository
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 |