Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015) - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015)

Résumé

Nous présentons une logiqueépistémique dynamique basée sur ce qu'un agent peut observer, y compris les observations jointes et l'observation de ce que les autres observent, généralisant ainsi les logiques ECL-PC(PO) et LRC de van der Hoek, Wooldridge et al. où les variables propositionnelles que chaque agent observe sont connaissance commune. Dans notre logique, les propositions ainsi que la visibilité de ces propositions peuvent etre modifiées par des programmes d'affectation. Nous montrons comment les opérateursépistémiques peuvent alorsêtre interprétés. Nous proposons une axiomatisation adéquate et complète et prouvons que le problème de satisfiabilité est PSpace-complet. Enfin, nous montrons comment les annonces publiques et privées peuvent etre exprimées dans notre logique. 1. Une version complète de ce papier incluant les preuves (en anglais) est disponibleà http://tinyurl.com/o3q86ay.
Fichier principal
Vignette du fichier
Iaf15.pdf (421.84 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03193119 , version 1 (13-04-2021)

Identifiants

  • HAL Id : hal-03193119 , version 1

Citer

Andreas Herzig, Emiliano Lorini, Faustine Maffre. Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015). 9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France. ⟨hal-03193119⟩
49 Consultations
18 Téléchargements

Partager

More