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

Pre-print 23 p, 437.9 KB

El registre apareix a les col·leccions:
Articles > Articles de recerca
Articles > Articles publicats