規(guī)則演繹系統(tǒng)

1、1教案名稱教案名稱規(guī)則演繹系統(tǒng)規(guī)則演繹系統(tǒng)科目科目教學(xué)對(duì)象教學(xué)對(duì)象主講人主講人課時(shí)課時(shí)一、教學(xué)內(nèi)容一、教學(xué)內(nèi)容規(guī)則演繹系統(tǒng)屬于高級(jí)搜索推理技術(shù)，用于解決比較復(fù)雜的系統(tǒng)和問題。本節(jié)介紹規(guī)則規(guī)則演繹系統(tǒng)屬于高級(jí)搜索推理技術(shù)，用于解決比較復(fù)雜的系統(tǒng)和問題。本節(jié)介紹規(guī)則演繹系統(tǒng)的定義及其三種推理方法：規(guī)則正向演繹系統(tǒng)、規(guī)則逆向演繹系統(tǒng)和規(guī)則雙向演繹系演繹系統(tǒng)的定義及其三種推理方法：規(guī)則正向演繹系統(tǒng)、規(guī)則逆向演繹系統(tǒng)和規(guī)則雙向演繹系統(tǒng)。統(tǒng)。教學(xué)重

2、點(diǎn)：規(guī)則演繹系統(tǒng)的定義、正向推理和逆向推理過程。教學(xué)重點(diǎn)：規(guī)則演繹系統(tǒng)的定義、正向推理和逆向推理過程。教學(xué)難點(diǎn)：雙向演繹的匹配問題等。教學(xué)難點(diǎn)：雙向演繹的匹配問題等。教學(xué)方法：課堂教學(xué)為主。通過比較揭示正向推理、逆向推理和雙向推理的特點(diǎn)。教學(xué)方法：課堂教學(xué)為主。通過比較揭示正向推理、逆向推理和雙向推理的特點(diǎn)。教學(xué)要求：掌握規(guī)則演繹系統(tǒng)的定義和正向推理、逆向推理的過程，了解規(guī)則雙向演繹系教學(xué)要求：掌握規(guī)則演繹系統(tǒng)的定義和正向推理、逆向推理

3、的過程，了解規(guī)則雙向演繹系統(tǒng)。統(tǒng)。2、教學(xué)流程（教學(xué)策略選擇與設(shè)計(jì)）教學(xué)流程（教學(xué)策略選擇與設(shè)計(jì)）1、復(fù)習(xí)一下上次課老師講過的消解原理、復(fù)習(xí)一下上次課老師講過的消解原理2、由消解原理的不足，引出本次課講的規(guī)則演繹系統(tǒng)，并給出其定義、由消解原理的不足，引出本次課講的規(guī)則演繹系統(tǒng)，并給出其定義3、給出正向推理和逆向推理過程、給出正向推理和逆向推理過程4、總結(jié)以上推理，給出雙向推理過程，并給出相應(yīng)例子、總結(jié)以上推理，給出雙向推理過程，并給出相

4、應(yīng)例子教學(xué)過程教學(xué)過程1、復(fù)習(xí)消解原理在說明歸結(jié)過程之前，我們首先說明任一謂詞演算公式可以化成一個(gè)子句集。1.消去蘊(yùn)涵符號(hào)只應(yīng)用∨和~符號(hào)，以~A∨B替換A=B。2.減少否定符號(hào)的轄域每個(gè)否定符號(hào)~最多只用到一個(gè)謂詞符號(hào)上，并反復(fù)應(yīng)用狄摩根律。如3所有余下的量詞均被全稱量詞量化了。全稱量詞的次序也不重要了。因此，我們可以消去前綴。8.消去連詞符號(hào)∧用A，B代替A∧B，以消去明顯的符號(hào)∧。反復(fù)代替的結(jié)果，最后得到一個(gè)有限集，其中每個(gè)公式是

5、文字的析取。任一只由文字的析取構(gòu)成的合適公式叫做一個(gè)子句。9.更換變量名稱更換變量名稱，是一個(gè)變量符號(hào)不出現(xiàn)在一個(gè)以上的子句中。問題：歸結(jié)方法不自然，并非人類的自然思維方式可能會(huì)丟失蘊(yùn)涵關(guān)系中所包含的控制信息例：以下蘊(yùn)涵式：~A~BC~CAB????~A~CB~ACB????~B~BA~BAC????均與子句(ABC)等價(jià)，但顯然上面的蘊(yùn)涵式信息更豐富??2、規(guī)則演繹系統(tǒng)的定義：其中，If部分可能由幾個(gè)if組成，而Then部分可能由一個(gè)