Authors:
Manren Wang
and
Xudong Luo
Affiliation:
Sun Yat-sen University, China
Keyword(s):
Knowledge Presentation and Reasoning, Uncertainty in AI, Soft Computing, Paraconsistent Logic, Fuzzy Logic, Multi-valued Logic, Linguistic Truth-value.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Computational Intelligence
;
Enterprise Information Systems
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Knowledge Representation and Reasoning
;
Soft Computing
;
Symbolic Systems
;
Uncertainty in AI
Abstract:
This paper extends the two-valued paraconsistent logic into an one in which a proposition takes a truth-value
from a set of multiple fuzzy linguistic terms. More specifically, we propose the corresponding inference
rule and semantics, and finally prove the soundness of our new fuzzy logical system and its completeness.
Moreover, we use an example to illustrate the applicability of our logic system in real life.