BibTeX
@MISC{Guadarrama_agmpostulates,
author = {J. C. Acosta Guadarrama},
title = {AGM Postulates in Answer Sets},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Revising and updating beliefs and knowledge bases is an important topic in knowledge representation and reasoning that requires a solid theoretical basis. As a result, various researchers have proposed Answer Set Programming as one of their key components to set up their approaches. In the need to satisfy more general principles, this paper presents a new characterisation of a semantics. It consists in performing updates of epistemic states that meets well-accepted AGM revision postulates. Besides the formalism of properties that this framework shares with other equivalent update semantics, this proposal is also supported by a solver prototype as an important component of logic programming and automatic testbed of its declarative version. The solver may help compute agent’s knowledge bases for more complex potentially-industrial applications and frameworks. 1 Abductive Programs and MGAS Abduction is an alternative process to deductive reasoning in Classical Logic
Keyphrases
answer set agm postulate new characterisation answer set programming key component solver prototype knowledge base equivalent update semantics mgas abduction logic programming alternative process solid theoretical basis general principle complex potentially-industrial application classical logic automatic testbed important component knowledge representation abductive program epistemic state important topic various researcher well-accepted agm revision postulate declarative version framework share
