David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 5 (2):209-245 (1996)
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)|
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.
Citations of this work BETA
Jesse Hughes, Peter Kroes & Sjoerd Zwart (2007). A Semantics for Means-End Relations. Synthese 158 (2):207 - 231.
Carsten Lutz & Dirk Walther (2005). PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logics 15 (2):189-213.
Dongmo Zhang & Norman Foo (2005). Frame Problem in Dynamic Logic. Journal of Applied Non-Classical Logics 15 (2):215-239.
Similar books and articles
Jelle Gerbrandy & Willem Groeneveld (1997). Reasoning About Information Change. Journal of Logic, Language and Information 6 (2):147-169.
John L. Pollock (1997). Reasoning About Change and Persistence: A Solution to the Frame Problem. Noûs 31 (2):143-169.
Chitta Baral & Nam Tran (2005). Representation and Reasoning About Evolutions of the World in the Context of Reasoning About Actions. Studia Logica 79 (1):33 - 46.
Rafal Urbaniak (2010). Capturing Dynamic Conceptual Frames. Logic Journal of the Igpl 18 (3):430-455.
Mark Sprevak (2005). The Frame Problem and the Treatment of Prediction. In L. Magnani & R. Dossena (eds.), Computing, Philosophy and Cognition. 4--349.
Ivan José Varzinczak (2010). On Action Theory Change. Journal of Artificial Intelligence Research 37 (1):189-246.
Nicholas Asher (1994). Problems with Persistence. Topoi 13 (1):37-49.
Ivan Varzinczak (2006). What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic. Dissertation, Université Paul Sabatier
Added to index2009-01-28
Total downloads14 ( #122,861 of 1,140,113 )
Recent downloads (6 months)2 ( #88,260 of 1,140,113 )
How can I increase my downloads?