課程內(nèi)容：

知識(shí)表示是將知識(shí)和推理編纂成可供計(jì)算操作的形式，這是人工智能應(yīng)用于現(xiàn)實(shí)世界問題的基本要求。知識(shí)表示的研究尤其有趣，因?yàn)槠鋵⒂嘘P(guān)知識(shí)的數(shù)字表示和操作的技術(shù)問題與有關(guān)人類知識(shí)和對(duì)世界的理解的性質(zhì)和結(jié)構(gòu)的本體論問題結(jié)合在一起。在這兩個(gè)方面之間架起橋梁的是形式語(yǔ)言或邏輯，可以用來(lái)以計(jì)算機(jī)可以處理的形式表達(dá)知識(shí)。本課程將在假定學(xué)生已經(jīng)熟悉計(jì)算機(jī)數(shù)據(jù)結(jié)構(gòu)和初級(jí)形式邏輯的基礎(chǔ)上，介紹所有這些方面。

教學(xué)大綱：

1、導(dǎo)言和概述：什么是邏輯？ 什么是本體論？ 什么是知識(shí)表示？

2、人工智能背景下知識(shí)表示的歷史發(fā)展。

3、復(fù)述基本命題邏輯和一階邏輯；邏輯系統(tǒng)的屬性，包括合理性、完備性、可表達(dá)性和可操作性；介紹更多邏輯，如模態(tài)邏輯、缺省邏輯和描述邏輯。

4、常識(shí)性知識(shí)的表示。

5、本體論的歷史介紹，從古代哲學(xué)到語(yǔ)義網(wǎng)。

6、形式本體論的基本原則：類和實(shí)例、分類法和部分分類法、依賴性和獨(dú)立性。

7、現(xiàn)代形式本體的實(shí)例，包括上層本體和領(lǐng)域本體。

8、知識(shí)表示和本體案例研究。

學(xué)習(xí)成果：

成功完成本課程后，你應(yīng)該能夠：

1. 自信地使用一階邏輯、描述邏輯和模態(tài)邏輯等邏輯系統(tǒng)來(lái)表達(dá)人工智能的知識(shí)表示需求。

2. 處理關(guān)鍵的本體論概念，如普遍與特殊、獨(dú)立與從屬、連續(xù)與發(fā)生以及繼承。

3. 描述一系列知識(shí)表示形式，并將其應(yīng)用于示例領(lǐng)域。

4. 有邏輯、有系統(tǒng)地分析問題和情況，確定關(guān)鍵概念及其相互關(guān)系。

5. 了解理論研究如何成為計(jì)算機(jī)科學(xué)領(lǐng)域?qū)嶋H研究的重要基礎(chǔ)。

6. 描述基于邏輯的人工智能研究的主要趨勢(shì)。

7. 閱讀、消化并對(duì)會(huì)議和期刊上的研究論文進(jìn)行批判性評(píng)論。

8. 將理論知識(shí)與實(shí)際問題聯(lián)系起來(lái)。