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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2004
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22502 |
Aporte de: |
id |
I19-R120-10915-22502 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Inglés |
topic |
Ciencias Informáticas Belief Change Knowledge Representation Logic Programming Answer Set Semantics AnsProlog ARTIFICIAL INTELLIGENCE Intelligent agents Semantics |
spellingShingle |
Ciencias Informáticas Belief Change Knowledge Representation Logic Programming Answer Set Semantics AnsProlog ARTIFICIAL INTELLIGENCE Intelligent agents Semantics Simari, Gerardo I. Falappa, Marcelo Alejandro Non prioritized answer set revision |
topic_facet |
Ciencias Informáticas Belief Change Knowledge Representation Logic Programming Answer Set Semantics AnsProlog ARTIFICIAL INTELLIGENCE Intelligent agents Semantics |
description |
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. |
format |
Objeto de conferencia Objeto de conferencia |
author |
Simari, Gerardo I. Falappa, Marcelo Alejandro |
author_facet |
Simari, Gerardo I. Falappa, Marcelo Alejandro |
author_sort |
Simari, Gerardo I. |
title |
Non prioritized answer set revision |
title_short |
Non prioritized answer set revision |
title_full |
Non prioritized answer set revision |
title_fullStr |
Non prioritized answer set revision |
title_full_unstemmed |
Non prioritized answer set revision |
title_sort |
non prioritized answer set revision |
publishDate |
2004 |
url |
http://sedici.unlp.edu.ar/handle/10915/22502 |
work_keys_str_mv |
AT simarigerardoi nonprioritizedanswersetrevision AT falappamarceloalejandro nonprioritizedanswersetrevision |
bdutipo_str |
Repositorios |
_version_ |
1764820465879089154 |