A generic ATMS

被引：7

作者：

Castro, JL

Zurita, JM

机构：

[1] Depto. Cie. Comp. Inteligencia A., E.T.S.I. Informática, Universidad de Granada, Granada

[2] Depto. Cie. Computación e IA, E.T.S.I. Informática, Universidad de Granada, 18071, Granada, Avenida de Andalucía

来源：

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 1996年 / 14卷 / 04期

关键词：

truth maintenance system; knowledge base system; problem solver; multivalued logic; fuzzy logic;

D O I：

10.1016/0888-613X(95)00118-Z

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The main aim of this paper is to create a general truth maintenance system based on the De Kleer algorithm. This system (the ATMS) is to be designed so that it can be used in different propositional monotonic logic models of reasoning systems. The knowledge base system that will interact with it is described. Furthermore, we study the efficiency that transferring the ATMS to a logic with several truth values presupposes. Definitions and properties of the generic ATMS are particularized to interact both with a reasoning system based on multivalued logic specifically for the case of [0, 1]-valued logic and with a reasoning system based on fuzzy logic. The latter will be designed to reason with fuzzy truth values, although a parallel project might be followed using linguistic labels directly.

引用

页码：259 / 280

页数：22

共 16 条

[1]

Baldwin J. F., 1979, Fuzzy Sets and Systems, V2, P309, DOI 10.1016/0165-0114(79)90004-6

[2]

CASTRO JL, IN PRESS INT J INTEL

[3]

D'Ambrosio B., 1988, International Journal of Approximate Reasoning, V2, P29, DOI 10.1016/0888-613X(88)90004-7

[4]

de Mantaras R. L., 1990, APPROXIMATE REASONIN