本文關鍵詞：智能教育物理平臺中基于前向推理的解題子系統(tǒng)的研究，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著定理機器證明的發(fā)展,自動推理技術在智能教育領域的應用日趨頻繁。本文以智能教育物理平臺為基礎,結合前人已有的研究成果,在智能教育物理平臺已有的動態(tài)構圖子系統(tǒng)和問題自動動態(tài)生成子系統(tǒng)的基礎上,研究了基于產(chǎn)生式規(guī)則的前向推理方法在物理問題自動求解領域的應用,并在問題自動求解的基礎上設計了可讀求解過程的生成算法。以初中物理范圍內(nèi)力和機械知識為例,設計和實現(xiàn)了基于前向推理方法的智能教育物理平臺解題子系統(tǒng)。本文的主要工作和研究成果如下:(1)設計了謂詞邏輯和框架知識表示相結合的物理知識表示體系。(2)設計了基于產(chǎn)生式規(guī)則的物理規(guī)則表示體系。(3)以面向對象程序設計技術為基礎,運用前向推理方法理論,分析、設計、實現(xiàn)了智能教育物理平臺解題子系統(tǒng)。(4)以動態(tài)鏈接技術為基礎,解決了智能教育物理平臺各子系統(tǒng)間的對接問題。使物理教育智能平臺成為一個有機整體。
【關鍵詞】：智能教育物理平臺 前向推理 自動解題 可讀解自動生成
【學位授予單位】：四川師范大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：O4-4;G434
【目錄】：

• 摘要4-5
• Abstract5-8
• 第一章 緒論8-14
• 1.1 本文工作的背景和意義8-9
• 1.2 CAI技術概述9-11
• 1.2.1 CAI國外發(fā)展簡史9-10
• 1.2.2 CAI國內(nèi)發(fā)展簡史10
• 1.2.3 ICAI研究概況10-11
• 1.3 智能教育物理平臺的研究現(xiàn)狀11-13
• 1.4 本文的主要工作和組織結構13
• 1.5 本章小結13-14
• 第二章 知識表示的研究14-27
• 2.1 推理子系統(tǒng)中知識的分類14-16
• 2.2 物理事實的表示16-24
• 2.2.1 使用謂詞邏輯表示物理事實17-21
• 2.2.2 使用框架表示物理事實21-23
• 2.2.3 物理事實庫的建立23-24
• 2.3 物理規(guī)則的表示24-26
• 2.3.1 產(chǎn)生式方法表示的物理規(guī)則24-26
• 2.3.2 物理規(guī)則庫的組織26
• 2.4 本章小結26-27
• 第三章 自動推理關鍵技術的研究27-38
• 3.1 推理方法的選擇27-28
• 3.1.1 自動推理技術基礎27
• 3.1.2 前向推理方法27-28
• 3.2 推理策略的分析28-30
• 3.3 自動求解搜索算法30-32
• 3.4 生成可讀證明算法32-37
• 3.5 本章小結37-38
• 第四章 自動推理子系統(tǒng)的實現(xiàn)38-51
• 4.1 系統(tǒng)實現(xiàn)的基礎38-39
• 4.1.1 程序語言的選擇38
• 4.1.2 與其他子系統(tǒng)的對接38-39
• 4.2 自動推理過程39-41
• 4.3 自動推理子系統(tǒng)的實現(xiàn)41-44
• 4.3.1 物理事實類的定義41-42
• 4.3.2 物理規(guī)則類的定義42
• 4.3.3 物理規(guī)則計算類的定義42-43
• 4.3.4 推理類的定義43-44
• 4.4 系統(tǒng)功能演示44-50
• 4.5 本章小結50-51
• 第五章 總結51-52
• 5.1 本文的總結51
• 5.2 今后的工作方向51-52
• 參考文獻52-55
• 致謝55-56
• 附錄56-60

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前1條

1 馮山,許毅,朱大勇;ICAI智能物理平臺中動態(tài)液體場景的實現(xiàn)研究[J];四川師范大學學報(自然科學版);2004年02期

中國重要報紙全文數(shù)據(jù)庫 前1條

1 記者 張立東;充分利用先進“物理平臺” 催生最大效應“化學反應”[N];四川日報;2011年

中國碩士學位論文全文數(shù)據(jù)庫 前1條

1 羅太柏;智能教育物理平臺中基于前向推理的解題子系統(tǒng)的研究[D];四川師范大學;2015年

  本文關鍵詞：智能教育物理平臺中基于前向推理的解題子系統(tǒng)的研究，，由筆耕文化傳播整理發(fā)布。

本文編號：444367