| 基于非单调推理的领域专家知识库的研究 |
| |
| 引用本文： | 夏幼明 夏幼安 等. 基于非单调推理的领域专家知识库的研究[J]. 计算机科学, 2001, 28(9): 106-108 |
| |
| 作者姓名： | 夏幼明 夏幼安 等 |
| |
| 作者单位： | 1. 云南师范大学计算机科学系,
2. 郑州电缆厂职工大学, |
| |
| 基金项目： | 云南省自然科学基金(2000F0049M) |
| |
| 摘 要： | 1.知识表示及推理概况知识库在人工智能研究中占有重要地位。Gins-berg等人介绍了多种知识库更新方法,其中一类是基于模型的方法,一类是基于公式的方法,但所有这些方法在通常情况下都是难解的(intractable)。对基于模型的方法,Eiter指出,当知识库是Horn公式的集合,新知识是Horn公式且长度有一常数上界时,存在多项式时间算法。马绍汉提出一类树型知识库的更新算法,在树型的束图智能方式表示下,该算法通过一个自底向上的过程,得到更新后的知识库。确定推理的研究是基于经典的二值逻辑,因而,具有相当牢固的基础,而不确定推理的研究却是另一种情形。不确定推理的基础比确定推理的基础要弱得多。到目前为止,甚至还没有获得人们普遍接受的基础。不确定推理面对下面几个问题:(1)如何正确地、定性地刻画一个命题的不确定性?(2)如何适当地度量一个命题的不确定性?
|
| 关 键 词： | 人工智能 非单调推理 知识表示 领域专家知识库 |
The Research of Field Expert Knowledge Base Based on Nonmonotony Reasoning |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
