What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic - TEL - Thèses en ligne Access content directly
Theses Year : 2006

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

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 description should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates
concerning this sore spot. When all postulates are satisfied, we call the action theory modular. 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. Besides being easier to understand and more elaboration tolerant in McCarthy's sense, modular 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.
Fichier principal
Vignette du fichier
thesis.pdf (1.08 Mo) Télécharger le fichier
main.pdf (4.78 Mo) Télécharger le fichier
Format Other

Dates and versions

tel-00319220 , version 1 (06-09-2008)

Identifiers

  • HAL Id : tel-00319220 , version 1

Cite

Ivan Varzinczak. What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic. Computer Science [cs]. Université Paul Sabatier - Toulouse III, 2006. English. ⟨NNT : ⟩. ⟨tel-00319220⟩
136 View
170 Download

Share

Gmail Mastodon Facebook X LinkedIn More