Metatheory of Actions: Beyond Consistency

Artificial Intelligence 171 (1):951–984 (2007)
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 metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them.
Categories
(categorize this paper)
PhilPapers/Archive ID
HERMOA
Revision history
Archival date: 2011-04-01
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Position Systems in Dynamic Domains.Ji, Jianmin & Lin, Fangzhen

Add more citations

Added to PP index
2011-04-01

Total views
285 ( #11,695 of 42,199 )

Recent downloads (6 months)
47 ( #14,016 of 42,199 )

How can I increase my downloads?

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