Reasoning about Action and Change. A Dynamic Logic Approach
Authors: Prendinger H.1; Schurz G.2
Source: Journal of Logic, Language and Information, Volume 5, Number 2, April 1996 , pp. 209-245(37)
Publisher: Springer
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
Abstract:
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
Language: English
Document Type: Regular paper
Affiliations: 1: International Forschungszentrum, Mönchsberg 2a, A-5020 Salzburg, Austria (E-mail: Helmut.Prendinger@mh.sbg.ac.at) 2: Institut für Philosophie, Abteilung Logik und Wissenschaftstheorie, Franziskanergasse 1, A-5020 Salzburg, Austria (E-mail: Gerhard.Schurz@mh.sbg.ac.at)
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
Click here for Page Help