Delayed effects of actions = direct effects + causal rules
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Report (Other academic)
Place of publ.:
Linköping University Electronic Press
Linköping Electronic Articles in Computer and Information Science, ISSN 1654-7233; 98-001
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.