Title :
Paraconsistent logics and applications
Author :
Abe, Jair Minoro
Author_Institution :
Grad. Program in Production Eng., ICET - Paulista Univ., Sao Paulo, Brazil
Abstract :
In this expository paper we discuss some applications of paraconsistent annotated logics. They have the capability of manipulating concepts like fuzziness, inconsistency, and paracompleteness in a non-trivial manner. Such systems are new and they were discovered recently at the end of last century.
Keywords :
formal logic; fuzzy set theory; fuzziness; paracompleteness; paraconsistent annotated logics; Diseases; Engines; Knowledge based systems; Lattices; Robots; Sensors; Uncertainty;
Conference_Titel :
Soft Computing Applications (SOFA), 2010 4th International Workshop on
Conference_Location :
Arad
Print_ISBN :
978-1-4244-7985-6
DOI :
10.1109/SOFA.2010.5565631
