中文摘要：

模拟人的认知过程是计算机科学与认知科学的交叉前沿，其中ACT-R认知模型是目前国际公认的模拟该过程的理想模型。本项目在长期从事知识本体和自动推理研究工作的基础上，拟针对领域问题求解过程中缺乏认知性和语义的问题，研究一种集认知模型、过程本体和规则于一体的认知推理模型。首先，基于ACT-R认知模型，研究从人类解题过程中提取抽象模型和实例模型来构建领域过程本体；其次，研究基于过程本体的认知推理模型的构建，以此来模拟人的认知推理方式，此模型建立在自然语言处理和问题求解模型自动构建的基础上，拟用领域本体来描述陈述性的知识，用过程本体与Prolog规则结合来描述程序性的知识；最后，通过将其应用于数学问题的求解来验证此模型。本项目将认知理论、过程模型与规则推理结合起来，可进一步完善现有推理模型的认知理论，为认知推理建模提供新的方法，促进知识的共享与重用，实现高性能的知识推理，为领域问题求解提供新思路。