【文章內(nèi)容簡(jiǎn)介】 使用與／或圖把復(fù)雜問(wèn)題分解轉(zhuǎn)換成若干個(gè)問(wèn)題并加以解答，從而實(shí)現(xiàn)最終問(wèn)題的解決。 ? 難點(diǎn)：如何理解與圖與或圖。 ? 教學(xué)準(zhǔn)備： ? 教師既可讓學(xué)生在紙上，也可找相應(yīng)的計(jì)算機(jī)軟件代替。 與／或圖表示法（２） ? 建議教學(xué)過(guò)程 ? 創(chuàng)設(shè)情境：講述漢諾塔的傳說(shuō)，為學(xué)生創(chuàng)設(shè)解題環(huán)境 ? 解漢諾塔問(wèn)題，記錄解題過(guò)程，即每個(gè)盤(pán)的搬運(yùn)過(guò)程 ? 交流討論，如何正確解答三層漢諾塔問(wèn)題 ? 利用學(xué)習(xí)引導(dǎo)深入學(xué)習(xí)與／或圖 ? 拓展與／圖的應(yīng)用 ? 體驗(yàn)活動(dòng)，強(qiáng)化學(xué)習(xí) 與／或圖表示法（３） ? 雖然與圖和或圖存在差異，但是在解決實(shí)際問(wèn)題時(shí)不能只用一種方法簡(jiǎn)單地描述問(wèn)題，需要兼用分解和轉(zhuǎn)換的方法，才能成功地解決問(wèn)題 ? 在總結(jié)與／或圖表示法解題的關(guān)鍵時(shí)候，學(xué)生討論可能有許多種，此時(shí)教師有必有適時(shí)引導(dǎo)。 謂詞邏輯表示法（１） ? 活動(dòng)意圖：通過(guò)活動(dòng)比較謂詞邏輯表示語(yǔ)句與自然語(yǔ)言之間的關(guān)系，強(qiáng)調(diào)謂詞邏輯表示法的優(yōu)越性－與人類的自然語(yǔ)言接近，且可方便地存儲(chǔ)到計(jì)算機(jī)內(nèi)，讓計(jì)算機(jī)作精確處理。活動(dòng)通過(guò)對(duì)比謂邏輯表示法語(yǔ)句和人類自然語(yǔ)言，尋找出謂詞邏輯表示法中關(guān)鍵的組成部分－謂詞。 ? 重點(diǎn)難點(diǎn)： ? 重點(diǎn)：了解謂詞邏輯表示法的基本概念、術(shù)語(yǔ)，教師要指導(dǎo)學(xué)生充分理解和掌握謂詞、符號(hào)、量詞等術(shù)語(yǔ)及其使用。 ? 難點(diǎn)：尋找知識(shí)中的謂詞，謂詞不一定指動(dòng)詞，能夠表現(xiàn)知識(shí)中的對(duì)象之間的關(guān)系的詞語(yǔ)都可以作為謂詞。 謂詞邏輯表示法（２） ? 建議教學(xué)過(guò)程 ? 通過(guò)活動(dòng)引出自然語(yǔ)言的表示和謂詞邏輯的表示，比較兩者差異 ? 講授學(xué)習(xí)指引中的謂詞邏輯表示法的組成 ? 講授學(xué)習(xí)指引的用謂詞表示知識(shí)的步驟 ? 對(duì)本章內(nèi)容進(jìn)行總結(jié) ? 體驗(yàn)活動(dòng)，強(qiáng)化上述內(nèi)容 謂詞邏輯表示法（３） ? 挑選各種各樣的知識(shí)，包含不同種類的對(duì)象之間的關(guān)系，讓學(xué)生充分認(rèn)識(shí)到謂詞所能表示的范圍 后續(xù)活動(dòng)與評(píng)價(jià) ? 后續(xù)活動(dòng)讓學(xué)生從整體上對(duì)知識(shí)表示法有更深入的認(rèn)識(shí)，不僅能夠?qū)W會(huì)使用不同的表示法表示知識(shí)，還需用根據(jù)不同的表示法的特點(diǎn)選擇合適的使用場(chǎng)合。 第 3章 人工智能語(yǔ)言 ? 課標(biāo)要求： ? 1了解一種人工智能語(yǔ)言的基本數(shù)據(jù)結(jié)構(gòu)和程序結(jié)構(gòu)，掌握相關(guān)概念 ? 2知道人工智能語(yǔ)言的主要特征 ? 3初步學(xué)會(huì)使用人工智能語(yǔ)言求解簡(jiǎn)單問(wèn)題 ? 4能夠上機(jī)調(diào)試，執(zhí)行相應(yīng)的程序 ? 建議：從“讀”程序開(kāi)始，引導(dǎo)學(xué)生逐步適應(yīng)人工智能語(yǔ)言的開(kāi)發(fā)環(huán)境，并提供實(shí)例幫助學(xué)生克服學(xué)習(xí)中的障礙，在理解 prolog語(yǔ)言的基本概念之后，通過(guò)調(diào)試，改寫(xiě)，填充程序等活動(dòng)，學(xué)會(huì)開(kāi)發(fā)簡(jiǎn)單的程序． 主要內(nèi)容 ? 認(rèn)識(shí)Ｐ rolog語(yǔ)言 ? Ｐ rolog程序的編寫(xiě) 認(rèn)識(shí)Ｐ rolog語(yǔ)言（１） ? 活動(dòng)意圖：以運(yùn)行一個(gè)范例程序并觀察運(yùn)行結(jié)果的方式，讓學(xué)生直接接觸Ｐ rolog程序語(yǔ)言及相關(guān)程序，用直觀的形式讓學(xué)生建立起感性認(rèn)識(shí)，然后通過(guò)對(duì)照范例程序源文件中的語(yǔ)句和運(yùn)行結(jié)果，讓學(xué)生了解Ｐ rolog語(yǔ)言的基本數(shù)據(jù)結(jié)構(gòu)和程序結(jié)構(gòu)，知道人工智能語(yǔ)言的主要特征． ? 重點(diǎn)難點(diǎn)： ? 重點(diǎn)：讓學(xué)生通過(guò)觀察，調(diào)試，比較和分析，了解Ｐ rolog語(yǔ)言的程序結(jié)構(gòu)和基本數(shù)據(jù)結(jié)構(gòu)． ? 難點(diǎn)：理解事實(shí)，規(guī)則，目標(biāo)之間的關(guān)系，這些內(nèi)容分散在程序的各個(gè)地方，教師應(yīng)該在幫助學(xué)生正確劃分程序結(jié)構(gòu)的基礎(chǔ)上，通過(guò)對(duì)比程序和運(yùn)行結(jié)果，找到它們之間的關(guān)系． ? 課學(xué)準(zhǔn)備： ? 教師一定要預(yù)先在計(jì)算機(jī)上安裝Ｖ isual Prolog軟件，并將范例程序存放在指定的位置．（注意Ｐ rolog版本差異大） 認(rèn)識(shí)Ｐ rolog語(yǔ)言（２） ? 建議教學(xué)過(guò)程 ? 導(dǎo)入新課，復(fù)習(xí)謂詞邏輯表示法 ? 啟動(dòng)Ｖ isual Prolog,認(rèn)識(shí)開(kāi)發(fā)環(huán)境 ? 運(yùn)行范例程序，了解程序的結(jié)構(gòu) ? 閱讀程序語(yǔ)句，了解Ｐ rolog的數(shù)據(jù)結(jié)構(gòu) ? 小結(jié) ? 體驗(yàn)活動(dòng) 認(rèn)識(shí)Ｐ rolog語(yǔ)言（３） ? Ｐ rolog是一種以邏輯推理為基礎(chǔ)的邏輯型程序設(shè)計(jì)語(yǔ)言，計(jì)算被看作是對(duì)邏輯式的證明． ? Ｐ rolog語(yǔ)言解決問(wèn)題時(shí)只要求描述給定問(wèn)題中的對(duì)象和反映它們之間關(guān)系的已知事實(shí)，強(qiáng)調(diào)各對(duì)象之間的關(guān)系，而且不需要告訴計(jì)算機(jī)運(yùn)算執(zhí)行的先后次序． ? Ｐ rolog語(yǔ)言的三種基本語(yǔ)句：事實(shí)，規(guī)則和目標(biāo) ? Ｐ rolog程序的基本結(jié)構(gòu)：論域段，謂詞段，子句段和目標(biāo)段． ? Ｐ rolog提供一個(gè)一致的數(shù)據(jù)結(jié)構(gòu)－項(xiàng)，所有的數(shù)據(jù)和Ｐ rolog程序都是由項(xiàng)構(gòu)造而成，Ｐ rolog通過(guò)對(duì)項(xiàng)進(jìn)行模式匹配來(lái)求解．項(xiàng)包括簡(jiǎn)單項(xiàng)（常量，變量），復(fù)合項(xiàng)（結(jié)構(gòu)），表等． Ｐ rolog程序的編寫(xiě)（１） ? 活動(dòng)意圖：由于獨(dú)立進(jìn)行Ｐ rolog編程工作比較困難，所以活動(dòng)中從一個(gè)范例程序入手，通過(guò)輸入程序，調(diào)試，運(yùn)行程序，讓學(xué)生逐漸進(jìn)入角色，通過(guò)添加目標(biāo)語(yǔ)句，修改原有語(yǔ)句等活動(dòng)，通過(guò)實(shí)踐加深對(duì)語(yǔ)法和程序運(yùn)行機(jī)制的理解． ? 重點(diǎn)難點(diǎn)： ? 重點(diǎn)：指導(dǎo)學(xué)生掌握Ｐ rolog程序解決簡(jiǎn)單問(wèn)題的方法． ? 難點(diǎn)：讓學(xué)生理解Ｐ rolog程序的運(yùn)行機(jī)制． ? 課學(xué)準(zhǔn)備： ? 需要通過(guò)回答，小練習(xí)等方式對(duì)學(xué)生上一節(jié)的學(xué)習(xí)情況作一個(gè)了解，教師一定要預(yù)先準(zhǔn)備一些范例程序，以便于是在教學(xué)中舉一反三． Ｐ rolog程序的編寫(xiě)（２） ? 建議教學(xué)過(guò)程 ? 調(diào)試，運(yùn)行范例程序