人机界面中知识库维护的高效算法

摘要：

本文首先给出了命题Horn型和二文字子句型知识库时的维护算法.对于只存在唯一极小不协调的子集的情况,命题horn子句集和二文字子句集上的基于语法的维护是多项式时间的.若原知识库有唯一模型,基于模型的方法是线性时间可求解的;基于语法的方法,可以在多项式时间内求得部分极大协调的子集.本文还证明了算法的正确性,分析了时间复杂性.

关键词： 人机界面 知识库维护 信念修正 维护算法

作者: 栾尚敏 戴国忠 程成 陈由迪

作者单位: 中国科学院软件研究所智能工程实验室

会议类型: 国内会议

会议名称: 第十届全国图像图形会议,第一届全国虚拟现实技术研讨会

会议地点: 宁波

会议语种:中文

页码: 232-237

在线出版日期: 2000-05-23（万方平台首次上网日期，不代表论文的发表时间）