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

Dissertation, Université Paul Sabatier (2006)
Abstract
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)
Options
 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.

Citations of this work BETA

No citations found.

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.
Analytics

Monthly downloads

Added to index

2011-04-01

Total downloads

14 ( #110,182 of 1,096,677 )

Recent downloads (6 months)

1 ( #271,187 of 1,096,677 )

How can I increase my downloads?

My notes
Sign in to use this feature


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