.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
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.
Keyword:
truth maintenance system
knowledge base system
problem solver
multivalued logic
fuzzy logic
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
暂无机构信息
.png){kind=icon}
没有更多内容