Perspectives on belief and change

par Guillaume Aucher

Thèse de doctorat en Science. Informatique

Sous la direction de Andréas Herzig.

Soutenue en 2008

à Toulouse 3 en cotutelle avec l'Université de Otago, Nouvelle-Zélande .

  • Titre traduit

    Des perspectives sur les croyances et le changement


  • Résumé

    Dans cette thèse, nous proposons des modèles logiques pour la représentation des croyances et leur changement dans un cadre multi-agent, en insistant sur l'importance de se fixer un point de vue particulier pour la modélisation. A cet égard, nous distinguons deux approches différentes: l'approche externe, où le modélisateur est quelqu'un d'externe à la situation; l'approche interne, où le modélisateur est l'un des agents. Nous proposons une version interne de la logique épistémique dynamique (avec des modèles d'événements), ce qui nous permet de généraliser facilement la théorie de la révision des croyances d'AGM au cas multi-agent. Ensuite, nous modélisons les dynamismes logiques complexes qui sous-tendent notre interprétation des événements en introduisant des probabilités et des infinitésimaux. Finalement, nous proposons un formalisme alternatif qui n'utilise pas de modèle d'événement mais qui introduit à la place un opérateur d'événement inverse.


  • Pas de résumé disponible.


  • Résumé

    In this thesis, we propose logical models for belief representation and belief change in a multi-agent setting, stressing the importance of choosing a particular modeling point of view. In that respect, we distinguish two approaches: the external approach, where the modeler is somebody external to the situation; the internal approach, where the modeler is one of the agents. We propose an internal version of dynamic epistemic logic (with event models) which allows us to generalize easily AGM belief revision theory to the multi-agent case. Afterwards, we model the complex logical dynamics underlying the interpretation of events by adding probabilities and infinitesimals. Finally we propose an alternative without using event models by introducing instead a converse event operator.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (161 p.)
  • Annexes : Bibliogr. p. 149-157

Où se trouve cette thèse ?

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