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.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|