Base-Based Model Checking for Multi-agent only Believing - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

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.
Fichier sous embargo
Fichier sous embargo
0 6 5
Année Mois Jours
Avant la publication
samedi 2 novembre 2024
Fichier sous embargo
samedi 2 novembre 2024
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04268823 , version 1 (02-11-2023)

Identifiants

Citer

Tiago De Lima, Emiliano Lorini, François Schwarzentruber. Base-Based Model Checking for Multi-agent only Believing. 18th European Conference on Logics in Artificial Intelligence ( JELIA 2023), Sep 2023, Dresden, Germany. pp.437-445, ⟨10.1007/978-3-031-43619-2_30⟩. ⟨hal-04268823⟩
103 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More