Knowledge 複習內容

最後一次課複習內容：         前面都講的是知識表示和知識推理的內容，也就是人工智能裏面的符號主義的學派（另一個是連接主義），把腦袋中存儲的知識用符號表示，用什麼符號呢？邏輯的形式化語言來表示，我們講了兩個邏輯，一個命題邏輯和一階謂詞邏輯，表式的範圍是不一樣，命題邏輯能夠表達能力小一些。         兩套邏輯，講課思路如圖。每一種邏輯都會定義形式語言、定義形式語法，語言要定義清楚。任何一

>>阅读原文<<