Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
An action description language for iterated belief change
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Iterated belief change: a transition system approach
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated belief change due to actions and observations
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, belief revision, and belief evolution in a transition system framework. The basic idea is to identify belief change problems with path-finding problems in a transition system. First, BE translates belief change problems into logic programs with answer sets corresponding to an agent's evolving beliefs. Second, it uses existing smodels libraries to find the answer sets for the given logic programs. Conflicting observations are handled in a separate preprocessing phase, which is also based on finding answer sets.