Epistemic Equilibrium Logic (IJCAI 2015) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Epistemic Equilibrium Logic (IJCAI 2015)

Résumé

We add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models.We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are obtained from the former by maximising the set of epistemic possibilities; they provide a new semantics for Gelfond’s epistemic specifications. For both definitions we characterise strong equivalence by means of logical equivalence in epistemic here-and-there logic.
Fichier principal
Vignette du fichier
farinasdelcerro_15402.pdf (211.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01334713 , version 1 (21-06-2016)

Identifiants

  • HAL Id : hal-01334713 , version 1
  • OATAO : 15402

Citer

Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. Epistemic Equilibrium Logic (IJCAI 2015). 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970. ⟨hal-01334713⟩
291 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More