Implementing Knowledge Update Sequences

Guadarrama, Juan Carlos Acosta

doi:10.1007/978-3-540-76631-5_25

Cited by 2 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…kr.tuwien.ac.at/staff/giuliana/project.html\#Download, and we have implemented an online front-end to it at www2.in.tu-clausthal.de/˜guadarrama/updates/ upd.html with a graphical interface. Secondly, a solver for our update sequences in GAS by Guadarrama [2007] is implemented as an online version at www2.in.tu-clausthal.de/ guadarrama/updates/seqs.html. Last, a solver for this current ⊗ o -updates proposal is available at www2.in.tu-clausthal.de/˜guadarrama/updates/o.html as an online version, of course.…”

Section: 1: ⊗ O -Equivalencesmentioning

confidence: 99%

Maintaining Knowledge Bases at the Object Level

Guadarrama

2007

2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)

View full text Add to dashboard Cite

Revising and updating beliefs and knowledge bases has been an important problem in knowledge representation and reasoning. While various proposals in Answer Set Programming updates have come up, in particular one of them presents and interesting persistence situation that others do not manage well for foundation reasons. In a need of a general semantics capable of dealing both with general properties and most exceptional unforeseen situations, this paper presents an extension to one of the latest semantics for updates that does not contravene that situation. Besides the formalism of properties that this approach inherits from its predecessors as a strong framework for an update semantics, this proposal is also supported by a solver as an important component of logic programming for new experiments and for further potential more complex (agent) applications that manage knowledge bases.

show abstract

Section: 1: ⊗ O -Equivalencesmentioning

confidence: 99%

Maintaining Knowledge Bases at the Object Level

Guadarrama

2007

2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session (MICAI)

View full text Add to dashboard Cite

show abstract

A Generalised Semantics for Belief Updates - An Equivalence-based Approach

Hernández

Acosta

2013

ESH

View full text Add to dashboard Cite

Como se sugiere en la literatura, la revisión y actualización de creencias y de bases del conocimiento, es un tema importante, aún no resuelto en la representación del conocimiento y del razonamiento en la Answer Set Programming (ASP) que requiere de bases teóricas sólidas, particularmente en aplicaciones actuales de inteligencia artificial, donde un agente puede trabajar en un entorno dinámico abierto con información incompleta. Varios investigadores han combinado postulados y ASP como componente clave para establecer sus planteamientos. Sin embargo, muchas de estas propuestas, todavía presentan algunas deficiencias cuando se trata de situaciones de persistencia, redundancia de información, contradicciones o simplemente carecen de un análisis más detallado de las propiedades que deberían hacerlos más accesibles. En necesidad de satisfacer los principios generales, y un marco común de referencia, este artículo presenta un marco general para las actualizaciones de los programas de lógica, caracterización de propiedades y su equivalencia con otras variantes. En lugar de secuencias de actualizaciones de programas, esta semántica consiste en realizar actualizaciones de estados epistémicos en el nivel de objeto conocido por su buena aceptación de revisión de creencias y postulados siguiendo la concepción original AGM.

show abstract

Implementing Knowledge Update Sequences

Cited by 2 publications

References 6 publications

Maintaining Knowledge Bases at the Object Level

Maintaining Knowledge Bases at the Object Level

A Generalised Semantics for Belief Updates - An Equivalence-based Approach

Contact Info

Product

Resources

About