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))

Date:	2011
Abstract:	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.
Rights:	Tots els drets reservats.
Language:	Anglès
Document:	Article ; recerca ; Versió sotmesa a revisió
Subject:	Possibilistic logic ; Necessity measures ; Gödel logic ; Fuzzy logic
Published in:	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

The record appears in these collections:
Articles > Research articles
Articles > Published articles