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 | Size | Format | |
---|---|---|---|---|
paper 24.pdf | 281.4 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.