专家系统中知识的多重表示及推理的真值维护-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

专家系统中知识的多重表示及推理的真值维护

项目名称：专家系统中知识的多重表示及推理的真值维护
项目类别：青年科学基金项目
批准号：69505002
申请代码：F030502
项目来源：国家自然科学基金
研究期限：1996-01-01-1997-12-01

项目负责人：杨杰
负责人职称：教授
依托单位：上海交通大学
批准年度：1995

中文摘要：

知识表示及推理是人工智能的重要基础研究领域。本项目研究专家系统中知识的多重表示及推理的真值维护。解决了不同知识表示方法下知识的综合、任务的分解、推理过程中论据与结论的一致性维护以及结论的解释，克服了传统知识表示和推理方法的局限性。非单调真值维护系统能兼备非单调定理证明器和问题求解器的功能，可实现基于解释的学习。采用面向对象的编程技术软件实现具有理论确定功能的专家系统框架，具有良好的人机交互界面。经实验验证了理论和软件的正确性和实用性。研究成果在国内外学术期刊上发表论文15篇。研究成果可应用于专家系统、故障诊断、智能控制、自然语言理解等领域，已成功地应用于承担的国家经贸委项目和国防预研项目中。

中文主题词：知识表示非单调和模糊推理真值维护

结论摘要：

英文主题词knowledge representation; nonmonotonic and fuzzy inference;truth maintenance

成果综合统计