Adding Proof Calculi to Epistemic Logics with Structured Knowledge - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2021

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
21 View
1 Download

Altmetric

Share

Gmail Facebook X LinkedIn More