Adding Proof Calculi to Epistemic Logics with Structured Knowledge - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

Résumé

Dynamic Epistemic Logic (DEL) is used in the analysis of a wide class of application scenarios involving multi-agents systems with local perceptions of information and knowledge. In its classical form, the knowledge of epistemic states is represented by sets of propositions. However, the complexity of the current systems, requires other richer structures, than sets of propositions, to represent knowledge on their epistemic states. Algebras, graphs or distributions are examples of useful structures for this end. Based on this observation, we introduced a parametric method to build dynamic epistemic logics on-demand, taking as parameter the specific knowledge representation framework (e.g., propositional, equational or even a modal logic) that better fits the problems in hand. In order to use the built logics in practices, tools support is needed. Based on this, we extended our previous method with a parametric construction of complete proof calculi. The complexity of the model checking and satisfiability problems for the achieved logics are provided.
Fichier principal
Vignette du fichier
506725_1_En_4_Chapter.pdf (402.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074528 , version 1 (19-04-2023)

Licence

Paternité

Identifiants

Citer

Mario Benevides, Alexandre Madeira, Manuel A. Martins. Adding Proof Calculi to Epistemic Logics with Structured Knowledge. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.53-68, ⟨10.1007/978-3-030-89247-0_4⟩. ⟨hal-04074528⟩
24 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More