Decision Procedures for Epistemic Logic Exploiting Belief Bases - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Decision Procedures for Epistemic Logic Exploiting Belief Bases

Résumé

We provide tableau-based PSPACE satisfiability checking procedures for a family of multi-agent epistemic logics with a semantics defined in terms of belief bases. Such logics distinguish an agent's explicit beliefs, i.e., all facts included in the agent's belief base, from the agent's implicit beliefs, i.e., all facts deducible from the agent's belief base. We provide a simple dynamic extension for one of these logics by propositional assignments performed by agents. A propo-sitional assignment captures a simple form of action that changes not only the environment but also the agents' beliefs depending on how they jointly perceive its execution. After having provided a PSPACE satisfiability checking procedure for this dynamic extension , we show how it can be used in human-robot interaction in which both the human and the robot have higher-order beliefs about the other's beliefs and can modify the environment by acting.
Fichier principal
Vignette du fichier
Main.pdf (1.06 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02414900 , version 1 (16-12-2019)

Identifiants

  • HAL Id : hal-02414900 , version 1

Citer

Emiliano Lorini, Benito Fabian Romero Jimenez. Decision Procedures for Epistemic Logic Exploiting Belief Bases. 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.944-952. ⟨hal-02414900⟩
109 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More