liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
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-98Konferensbidrag (Refereed)
Abstract [en]

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 Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-41455 (URN)56693 (Local ID)1-55860-421-9 (ISBN)oai:DiVA.org:liu-41455 (OAI)
Available from2009-10-10 Created:2009-10-10 Last updated:2011-02-23

Open Access in DiVA

No fulltext

Search in DiVA

By author/editor
Gustafsson, JoakimDoherty, Patrick
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Citations

Web of Science®:
Totalt: 9 hits
ReferencesLink to record
Permanent link

Direct link