Doherty, Patrick Gustafsson, Joakim 1998 (English)Rapport (Other academic)
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.
Place, publisher, year, pages
Linköping, Sweden: Linköping University Electronic Press, 1998.
Linköping Electronic Articles in Computer and Information Science, ISSN 1654-7233 ; 98-001
National CategoryComputer Science
Identifiersurn:nbn:se:liu:diva-41745 (URN)58973 (Local ID)oai:DiVA.org:liu-41745 (OAI)