Exploiting Belief Bases for Building Rich Epistemic Structures - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Exploiting Belief Bases for Building Rich Epistemic Structures

Résumé

We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and epis-temic alternative are primitive, in the proposed semantics they are non-primitive but are defined from the concept of belief base. We show that this semantics allows us to define the universal epistemic model in a simpler and more compact way than existing inductive constructions of it. We provide (i) a number of semantic equivalence results for both the basic epistemic language with 'individual be-lief' operators and its extension by the notion of 'only believing', and (ii) a lower bound complexity result for epistemic logic model checking relative to the universal epistemic model.
Fichier principal
Vignette du fichier
TARK2019_cameraReady.pdf (353.2 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02414909 , version 1 (16-12-2019)

Identifiants

  • HAL Id : hal-02414909 , version 1

Citer

Emiliano Lorini. Exploiting Belief Bases for Building Rich Epistemic Structures. Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), Jul 2019, Toulouse, France. ⟨hal-02414909⟩
37 Consultations
67 Téléchargements

Partager

Gmail Facebook X LinkedIn More