描述
知识表示（KR）涉及在计算机中表示知识并使用知识。强调基于逻辑的知识表示语言与自动推理技术与系统；该传统人工智能领域在本体与语义网中的重要应用。
原文参考文本
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/