Please use this identifier to cite or link to this item
|title: ||A family of graded epistemic logics|
|authors: ||Benevides, Mário|
Martins, Manuel A.
|keywords: ||Epistemic Logic|
|issue date: ||23-Sep-2017|
|abstract: ||Multi-Agent Epistemic Logic has been investigated in Computer Science  to represent and reason about
agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge
and probabilities  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 . 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).|
|publisher version/DOI: ||http://lsfa2017.cic.unb.br/LSFA2017.pdf|
|source: ||12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017)|
|appears in collections||CIDMA - Comunicações|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.