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

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