Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/21335
Title: | A family of graded epistemic logics |
Author: | Benevides, Mário Madeira, Alexandre Martins, Manuel A. |
Keywords: | Epistemic Logic Action Lattice Modal Logics |
Issue Date: | 23-Sep-2017 |
Abstract: | Multi-Agent Epistemic Logic has been investigated in Computer Science [5] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [4] and also with a fuzzy semantics have been proposed [6,13]. This paper introduces a parametric method to build graded epistemic logics inspired in the systematic method to build Multi-valued Dynamic Logics introduced in [11,12]. The parameter in both methods is the same: an action lattice [9]. This algebraic structure supports a generic space of agent knowledge operators, as choice, composition and closure (as a Kleene algebra), but also a proper truth space for possible non bivalent interpretation of the assertions (as a residuated lattice). |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/21335 |
Publisher Version: | http://lsfa2017.cic.unb.br/LSFA2017.pdf |
Appears in Collections: | CIDMA - Comunicações AGG - Comunicações |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
lsfa_17.pdf | d | 329.38 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.