Reasoning about action and change

Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability.
Keywords propositional dynamic logic  frame problem  Yale Shooting Problem  planning  multiagent domains  the ‘any’ action  scoped non-monotonic reasoning  temporal properties
Categories (categorize this paper)
DOI 10.1007/BF00173701
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,667
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Dongmo Zhang & Norman Foo (2005). Frame Problem in Dynamic Logic. Journal of Applied Non-Classical Logics 15 (2):215-239.
Carsten Lutz & Dirk Walther (2005). PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15 (2):189-213.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

27 ( #114,243 of 1,726,564 )

Recent downloads (6 months)

13 ( #53,683 of 1,726,564 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.