@inproceedings{80005c0004c740298f3077f1ba62537e,
title = "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.",
author = "Qinping Zhao and Bo Li",
year = "1990",
language = "英语",
isbn = "0818620846",
series = "Proc 2 Int IEEE Conf Tools Artif Intell",
publisher = "Publ by IEEE",
pages = "218--221",
booktitle = "Proc 2 Int IEEE Conf Tools Artif Intell",
note = "Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence ; Conference date: 06-11-1990 Through 09-11-1990",
}