Extending possibilistic logic over Gödel logic
Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona)
Godo, Luís (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Marchioni, Enrico (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Data: |
2011 |
Resum: |
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown. |
Drets: |
Tots els drets reservats. |
Llengua: |
Anglès |
Document: |
Article ; recerca ; Versió sotmesa a revisió |
Matèria: |
Possibilistic logic ;
Necessity measures ;
Gödel logic ;
Fuzzy logic |
Publicat a: |
International journal of approximate reasoning, Vol. 52, núm. 1 (2011) , p. 63-75, ISSN 0888-613X |
DOI: 10.1016/j.ijar.2010.08.014
El registre apareix a les col·leccions:
Articles >
Articles de recercaArticles >
Articles publicats
Registre creat el 2016-05-19, darrera modificació el 2021-08-15