LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Gustafsson, Joakim (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Delayed effects of actions = direct effects + causal rules
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Report (Other academic)
Language:
English
Place of publ.: Linköping, Sweden Publisher: Linköping University Electronic Press
Series:
Linköping Electronic Articles in Computer and Information Science, ISSN 1654-7233; 98-001
Year of publ.:
1998
URI:
urn:nbn:se:liu:diva-41745
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41745
Local ID:
58973
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

We propose an approach to modeling delayed effects of actions which is based on the use of causal constraints and their interaction with the direct effects of actions. The approach extends previous work with a causal approach used to deal with the ramification problem. We show the similarity between solutions to the modeling of indirect effects and delayed effects of actions by example. The base logic PMON+ is a temporal logic for reasoning about action and change and uses circumscription. It is shown that the extension for delayed effects of actions retains the first-order reducibility property shown previously for successfully dealing with the frame and ramification problems for a large class of action scenarios. We also consider the “causal qualification” problem, "natural death" of fluents and causal lag, each of which is closely related to the use of delayed effects.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2011-03-03
Statistics:
20 hits