Title :
M: An approximate reasoning system
Author :
Zhao, Qinping ; Li, Bo
Author_Institution :
Dept. of Comput. Sci. & Eng., Beijing Univ. of Aeronaut. & Astronaut., China
Abstract :
A system of many-valued logical equations and its solving algorithm are presented. Based on this work, the authors generalize SLD resolution into many-valued logic and establish the corresponding truth-value calculus. As a result, M, an approximate reasoning system is constructed. Language and inference rules in M are presented. Inconsistencies of assignments and solving strategies are also analyzed in detail
Keywords :
artificial intelligence; inference mechanisms; many-valued logics; M; SLD resolution; approximate reasoning system; inference rules; language rules; many-valued logical equations; solving algorithm; truth-value calculus; Calculus; Computer science; Equations; Expert systems; Fuzzy logic; Inference algorithms; Intelligent systems; Machine intelligence; Multivalued logic; Uncertainty;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130337
