教學大綱課程編號課程名稱人工智能原理開課學院計算機學院建議開課學期第一學期主講教師及職稱孫吉貴教授教材信息人工智能原理，吉林大學出版社，劉敘華，姜云飛，1995.課件信息課件名稱:人工智能原理，制作時間:2004，課件類型:ppt講課學時60學時實驗學時總學分4課程的性質與任務人工智能原理是一門碩士研究生的專業(yè)基礎課程，同時也是具有廣泛應用背景的課程。隨著國內信息產業(yè)的發(fā)展、計算機應用的普及和面向領域的高層次軟件的開發(fā)和應用，國內急需一大批掌握高層次、分析性軟件開發(fā)和應用的軟件分析、設計和開發(fā)的專業(yè)人員。本門課程旨在講授面向領域的知識表示、及其在表示之下的搜索理論、方法和技術，講授智能軟件的基本原理和實現方法與技術，全面提高學生分析問題和解決問題的方法和能力。教學要求人工智能技術已被譽為當代三大尖端技術之一。人工智能的原理與技術，不僅能夠幫助人們研制出具有智能行為的計算機系統(tǒng)，而且能使各種實用領域的計算機系統(tǒng)更加精巧和靈活，使人們用起來更加方便與自如。人工智能的思想與原理，對其它學科也有重要促進作用。隨著人工智能的發(fā)展，人工智能技術的推廣和應用成為計算機領域的重要課題、要想讓計算機具有智能，最根本的和首要的是要計算機具有推理能力。本門課程的學習內容，主要以宏觀人工智能為基礎，講授符號主義人工智能的基本原理與方法。使90%以上的學生能夠熟練掌握基于產生式系統(tǒng)的知識表示方法和基于邏輯的知識表示方法，在此基礎上，熟練掌握產生式系統(tǒng)表示下的適用于機器的基本搜索理論、方法和技術；熟練掌握基于命題邏輯和一階邏輯的適合于機器推理的歸結推理理論、方法和技術。通過本門課程的學習，使大80%以上的學生掌握所學習的各種搜索算法和推理算法，并將其用于高層次分析性軟件的設計和開發(fā)中，運用所學知識解決實際問題；在熟練掌握上述基本內容的基礎上，有選擇地擴展知識結構，如其它知識表示方法及其機器求解方法介紹，微觀人工智能介紹、微觀人工智能與宏觀人工智能的結合，機器學習方法等等。使有余力的學生，將人工智能各種理論、方法和技術融會貫通。通過介紹人類為使用人造設備替代或提高人的智能行為，所做的不懈努力和提出的各種思想和設想，啟發(fā)學生勇于創(chuàng)新，勇于探索；通過講授博弈游戲程序的設計原理、實現技術，提高學生的學習興趣；通過對比符號計算與數值計算的差異，講授人工智能系統(tǒng)開發(fā)的難點在何處，它應用廣泛的原因在何處？通過演示具體算法的執(zhí)行過程，講授人工智能中關于領域背景知識獲取、啟發(fā)函數的構造，對人工智能求解效率的影響。使用多媒體課件教學，動態(tài)地展示算法的執(zhí)行過程；同時也強調傳統(tǒng)教學方法在講授基本原理過程中的重要性。先行課程計算機專業(yè)本科生基礎課程后繼課程不精確推理與應用，高級軟件工程平行課程計算智能對教學設施的要求需要多媒體教室

教學內容學時分配人工智能概述智能與人工智能人工智能產生的序言人工智能誕生、發(fā)展與現狀人工智能的主要研究領域產生式系統(tǒng)概述2.1產生式系統(tǒng)的控制策略

2.1.1不可撤回方式2.1.2回溯方式2.1.3圖搜索方式

2.1.4產生式系統(tǒng)的工作方式2.2特殊的產生式系統(tǒng)2.2.1可交換的產生式系統(tǒng)可分解的產生式系統(tǒng)Slagle符號積分系統(tǒng)產生式系統(tǒng)的搜索策略回溯策略

3.1.1回溯算法BACKTRACK

3.3.2圖搜索策略3.3無信息的圖搜索過程

3.3.1深度優(yōu)先搜索

33.4啟發(fā)式圖搜索過程3.5A3.6A3.7單調限制3.8算法A的啟發(fā)能力3.9啟發(fā)能力的度量可分解產生式系統(tǒng)的搜索策略4.1與/或圖搜索4.2與/或圖的啟發(fā)式搜索過程

4.2.1A/O*算法

4.2.24.3可分解的與可交換的產生式系統(tǒng)之間的關系4.4博弈樹搜索

4.4.1博弈樹

4.4.2極大極小過程

4.4.3博弈搜索的α-β第五章謂詞演算5．1引言5.2謂詞與量詞5.3公式及其解釋5.4公式間的等價與蘊涵5.5范式第六章歸結原理6.1引言6.2命題邏輯的歸結方法6.3子句集的Herbrand域

6.3.1Herbrand域與Herbrand解釋

6.3.2Herbrand6.4Herbrand定理

6.4.1語義樹

6.4.2Herbrand6.5合一算法

6.5.1替換與最一般合一替換

6.5.2合一算法

66.6一階邏輯的歸結原理及其完備性

6.6.1歸結演繹

6.6.2歸結原理的完備性

6×學時

實驗內容機時分配注：有實驗的課程請?zhí)顚懘藱冢绮辉O實驗則可不填參考文獻(其中參考書不少于三本)蔡自興，徐光佑，人工智能及其應用（第三版），清