本项目提出了一种有机集成演绎、归纳和类比的推理机制。在构作同时支持这三种推理的知识库结构基础上,给出了一种从成功演绎求解过程学习实例的方法;通过研究类比与归纳的关系,提出了推广类比生成的相似对应关系而生成同类问题求解模式的方法;演绎又利用这些一般知识处理其它问题。在这种集成机制中,求解与学习有机结合、紧密联系。此外,为提高类比匹配的效率,本项目提出了冲突等价类和等价类映射等概念,实现了一种高效的类比匹配计算模型。本项目的完成为探索解决复杂实际问题的集成智能系统打下了基础。
, ,