Please use this identifier to cite or link to this item:
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
Publisher Version:
Appears in Collections:CIDMA - Comunicações
AGG - Comunicações

Files in This Item:
File Description SizeFormat 
lsfa_17.pdfd329.38 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

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