Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/21335
Título: | A family of graded epistemic logics |
Autor: | Benevides, Mário Madeira, Alexandre Martins, Manuel A. |
Palavras-chave: | Epistemic Logic Action Lattice Modal Logics |
Data: | 23-Set-2017 |
Resumo: | 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 |
Versão do Editor: | http://lsfa2017.cic.unb.br/LSFA2017.pdf |
Aparece nas coleções: | CIDMA - Comunicações AGG - Comunicações |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
lsfa_17.pdf | d | 329.38 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.