DocumentCode
3049591
Title
M: An approximate reasoning system
Author
Zhao, Qinping ; Li, Bo
Author_Institution
Dept. of Comput. Sci. & Eng., Beijing Univ. of Aeronaut. & Astronaut., China
fYear
1990
fDate
6-9 Nov 1990
Firstpage
218
Lastpage
221
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TAI.1990.130337
Filename
130337
Link To Document