Formalization of reasoning about default action (preliminary report)
- Anna Radzikowska
In this paper we consider domains of actions involving causal chains of actions and default actions. In order to represent these domains, we define a language (ie540-01) that extends the language (ie540-02) introduced by Gelfond and Lifschitz. We provide a translation from (ie540-03) into circumscriptive theories and show that this translation is sound and complete relative to the semantics of (ie540-04). Our approach is related to Sandewall's PMON logic and the occlusion concept. The analysis assumes a discrete linear model of time.
- Record ID
- Gabbay Dov M., Dov M. Gabbay Ohlbach Hans Jürgen Hans Jürgen Ohlbach (eds.): Practical Reasoning, Lecture Notes In Computer Science, no. 1085, 1996, Springer Berlin Heidelberg, ISBN 978-3-540-61313-8, 978-3-540-68454-1
- Keywords in English
- Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- http://link.springer.com/chapter/10.1007/3-540-61313-7_99 Opening in a new tab
- Score (nominal)
- Citation count
- Uniform Resource Identifier
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.