What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic

Dissertation, Université Paul Sabatier (2006)
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates about modularity are violated, and propose algorith- mic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, mod- ular theories have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change.
Keywords Reasoning about Actions  Dynamic Logic  Modularity
Categories (categorize this paper)
 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 Translate to english
Download options
PhilPapers Archive Ivan Varzinczak, What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic
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

No citations found.

Add more citations

Similar books and articles
Ivan José Varzinczak (2010). On Action Theory Change. Journal of Artificial Intelligence Research 37 (1):189-246.
Helmut Prendinger & Gerhard Schurz (1996). Reasoning About Action and Change. Journal of Logic, Language and Information 5 (2):209-245.
Brigitte Penther (1994). A Dynamic Logic of Action. Journal of Logic, Language and Information 3 (3):169-210.
Hans P. van Ditmarsch (2002). Descriptions of Game Actions. Journal of Logic, Language and Information 11 (3):349-365.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.

Monthly downloads

Added to index


Total downloads

146 ( #29,542 of 1,924,954 )

Recent downloads (6 months)

19 ( #31,203 of 1,924,954 )

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.