基於本體的認知推理模型及其套用研究

《基於本體的認知推理模型及其套用研究》是依託電子科技大學,由鐘秀琴擔任醒目負責人的青年科學基金項目。

基本介紹

• 中文名：基於本體的認知推理模型及其套用研究
• 依託單位：電子科技大學
• 項目類別：青年科學基金項目
• 項目負責人：鐘秀琴

項目摘要

模擬人的認知過程是計算機科學與認知科學的交叉前沿，其中ACT-R認知模型是目前國際公認的模擬該過程的理想模型。本項目在長期從事知識本體和自動推理研究工作的基礎上，擬針對領域問題求解過程中缺乏認知性和語義的問題，研究一種集認知模型、過程本體和規則於一體的認知推理模型。首先，基於ACT-R認知模型，研究從人類解題過程中提取抽象模型和實例模型來構建領域過程本體；其次，研究基於過程本體的認知推理模型的構建，以此來模擬人的認知推理方式，此模型建立在自然語言處理和問題求解模型自動構建的基礎上，擬用領域本體來描述陳述性的知識，用過程本體與Prolog規則結合來描述程式性的知識；最後，通過將其套用於數學問題的求解來驗證此模型。本項目將認知理論、過程模型與規則推理結合起來，可進一步完善現有推理模型的認知理論，為認知推理建模提供新的方法，促進知識的共享與重用，實現高性能的知識推理，為領域問題求解提供新思路。

結題摘要

本項目基於ACT-R認知模型，研究從人類解題過程中提取抽象模型和實例模型來構建領域過程本體；研究基於過程本體的認知推理模型的構建，以此來模擬人的認知推理方式，用領域本體來描述陳述性的知識，用過程本體與Prolog規則結合來描述程式性的知識；提出一種集認知模型、過程本體和規則於一體的認知推理模型，並基於此認知推理模型，設計和實現了一個國中數學問題求解原型系統。一方面為認知推理建模提供新的方法，另一方面為領域問題求解提供新思路。