逻辑，本体论和知识表示ECMM408

课程内容：

知识表示是将知识和推理编纂成可供计算操作的形式，这是人工智能应用于现实世界问题的基本要求。知识表示的研究尤其有趣，因为其将有关知识的数字表示和操作的技术问题与有关人类知识和对世界的理解的性质和结构的本体论问题结合在一起。在这两个方面之间架起桥梁的是形式语言或逻辑，可以用来以计算机可以处理的形式表达知识。本课程将在假定学生已经熟悉计算机数据结构和初级形式逻辑的基础上，介绍所有这些方面。

教学大纲：

1、导言和概述：什么是逻辑？ 什么是本体论？ 什么是知识表示？

2、人工智能背景下知识表示的历史发展。

3、复述基本命题逻辑和一阶逻辑；逻辑系统的属性，包括合理性、完备性、可表达性和可操作性；介绍更多逻辑，如模态逻辑、缺省逻辑和描述逻辑。

4、常识性知识的表示。

5、本体论的历史介绍，从古代哲学到语义网。

6、形式本体论的基本原则：类和实例、分类法和部分分类法、依赖性和独立性。

7、现代形式本体的实例，包括上层本体和领域本体。

8、知识表示和本体案例研究。

学习成果：

成功完成本课程后，你应该能够：

1. 自信地使用一阶逻辑、描述逻辑和模态逻辑等逻辑系统来表达人工智能的知识表示需求。

2. 处理关键的本体论概念，如普遍与特殊、独立与从属、连续与发生以及继承。

3. 描述一系列知识表示形式，并将其应用于示例领域。

4. 有逻辑、有系统地分析问题和情况，确定关键概念及其相互关系。

5. 了解理论研究如何成为计算机科学领域实际研究的重要基础。

6. 描述基于逻辑的人工智能研究的主要趋势。

7. 阅读、消化并对会议和期刊上的研究论文进行批判性评论。

8. 将理论知识与实际问题联系起来。