This paper shows how action theory in the language B can be naturally encoded using prioritized default theory. We also show how prioritized default theory can be extended to express preferences between rules and formulae. This extension provides a natural framework to introduce preferences over trajectories in B. We illustrate how these preferences can be expressed and how they can be represented within extended prioritized default theory. We also discuss how this framework can be implemented in terms of answer set programming. © 2002 Springer-Verlag.
CITATION STYLE
Son, T. C., & Pontelli, E. (2002). Reasoning about actions in prioritized default theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2424 LNAI, pp. 369–381). Springer Verlag. https://doi.org/10.1007/3-540-45757-7_31
Mendeley helps you to discover research relevant for your work.