Belief revision is a key functionality for any intelligent agent being able to perceive pieces of knowledge from its environment and to give back sentences she believes to be true with a certain degree of belief. We report on a refinement of a previous, abstract ASM specification of Condor, a system modeling such an agent, to a fully operational specification implemented in AsmL. The complete AsmL implementation of various belief revision operators is presented, demonstrating how using AsmL enabled a high-level implementation that minimizes the gap between the abstract specification of the underlying concepts and the executable code in the implemented system. Based on ASM refinement and verification concepts, a full mathematical correctness proof for different belief revision operators realized in Condor@AsmL is given. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Beierle, C., & Kern-Isberner, G. (2008). A verified AsmL implementation of belief revision. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5238 LNCS, pp. 98–111). Springer Verlag. https://doi.org/10.1007/978-3-540-87603-8_9
Mendeley helps you to discover research relevant for your work.