課程說明
知識表示（KR）關注如何表示知識並在電腦中使用。重點為基於邏輯的 KR 語言，以及自動推理技術與系統；此傳統 AI 領域於本體（ontologies）與語義網（semantic web）之重要應用。
原文參考文本
KR is concerned with representing knowledge and using it in computers. Emphasis on logic-based languages for KR, and automated reasoning techniques and systems; important applications of this traditional area of AI to ontologies and semantic web.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/grad/courses/COMP/