Non prioritized answer set revision

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to a set of sentences and with respect to explanations. We focus on...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Simari, Gerardo I., Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2004
Materias:
Ciencias Informáticas
Belief Change
Knowledge Representation
Logic Programming
Answer Set Semantics
AnsProlog
ARTIFICIAL INTELLIGENCE
Intelligent agents
Semantics
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22502
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario:In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to a set of sentences and with respect to explanations. We focus on the non-prioritized revision operator with respect to explanations, or arguments, which is intended to model situations in which agents revise their knowledge as a result of dialogues with other agents in a multi-agent setting.

Ejemplares similares