Sun Yat-sen University, China
Knowledge Presentation and Reasoning, Uncertainty in AI, Soft Computing, Paraconsistent Logic, Fuzzy Logic, Multi-valued Logic, Linguistic Truth-value.
Artificial Intelligence and Decision Support Systems
Enterprise Information Systems
Informatics in Control, Automation and Robotics
Intelligent Control Systems and Optimization
Knowledge Representation and Reasoning
Uncertainty in AI
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.