Embracing occlusion in specifying the indirect effects of actions
1996 (English)In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning / [ed] Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro, Morgan Kaufmann Publishers, 1996, 87-98Conference paper (Refereed)
In this paper, we extend PMON, a logic for reasoning about action and change, with causal rules which are used to specify the indirect effects of actions The extension, called PMON(RCs), has the advantage of using explicit time, includes actions with durations, nondeterministic actions, allows partial specification of the timing and order of actions and has been assessed correct for at least the K-IA class of action scenarios within the Features and Fluents framework Most importantly, the circumscription policy used is easily shown to be reducible to the firstorder case which insures that standard theorem proving techniques and their optimizations may be used to compute entailment In addition, we show how the occlusion concept previously used to deal with duration and nondeterministic actions proves to be equally versatile in representing causal constraints and delayed effects of actions We also discuss related work and consider the strong correspondence between our work and recent work by Lin, who uses a Cause predicate to specify indirect effects similar to our use of Occlude in PMON, and a minimization policy related to that used in PMON.
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-41455Local ID: 56693ISBN: 1-55860-421-9OAI: oai:DiVA.org:liu-41455DiVA: diva2:262307