A Logical Theory of Belief Dynamics for Resource-Bounded Agents

Abstract : The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: (i) we use a non-standard semantics putting together a neighbourhood semantics for explicit beliefs and relational semantics for background knowledge, and (ii) we have specific axioms in the logic highlighting the relationship between the two concepts. Mental operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic (DEL). Results about axiomatization, decidability and complexity for the logic are given in the paper.
Type de document :
Communication dans un congrès
15th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), May 2016, Singapore, Singapore. AAMAS '16 : Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, pp. 644-652, 2016
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01809282
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : mercredi 6 juin 2018 - 15:46:46
Dernière modification le : mercredi 12 septembre 2018 - 17:46:04
Document(s) archivé(s) le : vendredi 7 septembre 2018 - 14:01:16

Fichier

balbiani_19001.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01809282, version 1
  • OATAO : 19001

Collections

Citation

Philippe Balbiani, David Fernández-Duque, Emiliano Lorini. A Logical Theory of Belief Dynamics for Resource-Bounded Agents. 15th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), May 2016, Singapore, Singapore. AAMAS '16 : Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, pp. 644-652, 2016. 〈hal-01809282〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

19