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

Dissertation, Université Paul Sabatier (2006)
Download Edit this record How to cite View on PhilPapers
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
VARWIA
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2011-04-01

Total views
285 ( #14,702 of 47,265 )

Recent downloads (6 months)
32 ( #24,214 of 47,265 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.