What is a good domain description?

par Ivan José Varzinczak

Thèse de doctorat en Intelligence artificielle

Sous la direction de Andréas Herzig.

Soutenue en 2006

à Toulouse 3 .


  • Résumé

    Traditionnellement, la consistance est le seul critère pour décider de la qualité d'une théorie dans les approches logiques pour le raisonnement sur les actions. Ce travail va au delà de cela et contribue à la méta-théorie de l'action en proposant d'autres propriétés qu'une bonne description de domaine doit satisfaire. Pour ce faire, nous énonçons quelques postulats méta-théoriques. Lorsque ces postulats sont satisfaits, nous disons que la théorie d'action est modulaire. Nous présentons les problèmes qui surviennent lorsque nos postulats de modularité sont violés, et proposons des algorithmes pour aider le concepteur de la théorie à les résoudre. En plus d'être plus faciles à comprendre et plus tolérantes à l'élaboration au sens de McCarthy, les théories modulaires ont des propriétés intéressantes d'un point de vue computationnel. Dans ce travail, nous proposons également une méthode de mise à jour de descriptions de domaine et montrons l'importance de la modularité pour le changement de théories.

  • Titre traduit

    Qu’est-ce qu’une bonne description de domaine ?


  • Résumé

    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. 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, we show that modular theories have interesting properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (182 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 129-139

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2006TOU30204
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.