M: An approximate reasoning system

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.<>