Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/32935
Title: Adding proof calculi to epistemic logics with structured knowledge
Author: Benevides, Mario
Madeira, Alexandre
Martins, Manuel A.
Issue Date: 2021
Publisher: Springer
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.
Peer review: yes
URI: http://hdl.handle.net/10773/32935
DOI: 10.1007/978-3-030-89247-0_4
ISBN: 978-3-030-89246-3
Appears in Collections:CIDMA - Capítulo de livro
DMat - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
paper 24.pdf281.4 kBAdobe PDFView/Open


FacebookTwitterLinkedIn
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.