Base-Based Model Checking for Multi-agent only Believing
Résumé
We present a novel semantics for the language of multi-agent only believing exploiting belief bases, and show how to use it for automatically checking formulas of this language. We provide a PSPACE algorithm for model checking relying on a reduction to QBF, an implementation and some experimental results on computation time in a concrete example.
Domaines
Intelligence artificielle [cs.AI]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|