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

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

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

【相似文獻(xiàn)】

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 記者 張立東;充分利用先進(jìn)“物理平臺(tái)” 催生最大效應(yīng)“化學(xué)反應(yīng)”[N];四川日?qǐng)?bào);2011年

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

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

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

本文編號(hào)：444367