基于非单调推理的领域专家知识库的研究

摘要：

At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.

关键词：Semantic network、Presenting knowledge、Nonmonotony reason、Modal logic

所属期刊栏目：28

分类号：TP18(自动化基础理论)

资助基金：云南省自然科学基金2000F0049M

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：106-108