Metatheory of actions: beyond consistency

DMCA

Metatheory of actions: beyond consistency

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Andreas Herzig , Ivan Varzinczak

Citations:

22 - 12 self

BibTeX

@MISC{Herzig_metatheoryof,
    author = {Andreas Herzig and Ivan Varzinczak},
    title = {Metatheory of actions: beyond consistency},
    year = {}
}

OpenURL

Abstract

Traditionally, consistency is the only criterion for the quality of a theory in logicbased 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.

Keyphrases

metatheoretical postulate elaboration tolerant action theory modular interesting property logicbased approach action theory mccarthy sense good domain description modular theory propose algorithmic check sore spot

DMCA