The Dynamics of Epistemic Attitudes in Resource-Bounded Agents - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Studia Logica Année : 2019

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

Résumé

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 neighborhood 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. Results about axiomatization, decidability and complexity for the logic are given in the paper
Fichier principal
Vignette du fichier
11225_2018_9798_Author.pdf (1.35 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02390930 , version 1 (14-12-2019)

Identifiants

Citer

Philippe Balbiani, David Fernández-Duque, Emiliano Lorini. The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Studia Logica, 2019, Special Issue: 40 years of FDE, 107, pp.457-488. ⟨10.1007/s11225-018-9798-4⟩. ⟨hal-02390930⟩
58 Consultations
105 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More