高級人工智能邏輯(ppt 76頁)

高級人工智能邏輯目錄：
1、重要的形式工具-----邏輯
2、非單調邏輯
3、默認邏輯
4、限定邏輯
5、自認知邏輯
6、真值維護係統
7、情景演算的邏輯基礎
8、動態描述邏輯

高級人工智能邏輯內容簡介：
智能行為的基礎是知識，尤其是所謂的常識性知識。人類的智能行為對於知識的依賴主要表現在對於知識的利用，即利用已經具有的知識進行分析、猜測、判斷、預測等等。
時間是智能係統中最重要的幾個概念之一。人類使用各類副詞來對時間概念加以描述。例如，“一會兒”“相當長”“斷斷續續地”“偶爾”等等, 這一類詞在我們的日常生活中比比皆是。含有這些詞的句子顯然是很難用經典的時序邏輯來刻劃的, 於是有人引進了一種邏輯係統專門刻劃這類句子。其基本思想是利用數學中積分的思想，通過對時間的某種像積分那樣的表示和運算來形式化這些句子。

..............................