spContent=本课程的教学目的为教授人工智能领域中符号主义学派基础理论知识，即知识表示与推理的基本理论、方法和工具，具体教学目标包括：
1.熟悉相关知识表示理论基础，包括命题逻辑、描述逻辑、约束编程等基本概念；
2.掌握知识推理经典方法和算法，包括真值表法、SAT算法、GSAT算法、CSP算法、本体构建方法等；
3.熟悉知识表示和推理典型工具的使用，包括SAT Solver，Protege等。
本课程的教学目的为教授人工智能领域中符号主义学派基础理论知识，即知识表示与推理的基本理论、方法和工具，具体教学目标包括：
1.熟悉相关知识表示理论基础，包括命题逻辑、描述逻辑、约束编程等基本概念；
2.掌握知识推理经典方法和算法，包括真值表法、SAT算法、GSAT算法、CSP算法、本体构建方法等；
3.熟悉知识表示和推理典型工具的使用，包括SAT Solver，Protege等。
—— 课程团队
课程概述
0. 本课程引入荷兰阿姆斯特丹自由大学Frank Van Harmelen院士课程，由Frank院士指导授课内容，并亲自讲授部分内容。
1. 本课程面向人工智能符号逻辑和概率图模型的基础理论进行授课，为后续人工智能的学习和研究打下坚实基础。
2. 本课程采用国际权威专著及其编写者进行全英文授课，结合多次课程作业让学生能够理论结合实际，同时具备较高的理论知识水平和实践动手能力。
3. 本课程在授课之余采用定期答疑方式，解答课程内的知识点疑问之外，还为学生提供了向国际一流专家请教学术问题的机会。
成绩 要求
课程大纲
知识表示导论
课时目标：基本要求：理解人工智能学派区别，掌握知识表示基本概念，熟悉知识表示应用场景。
1.1 人工智能学派和技术途径
1.2 知识表示基本概念
1.3 知识表示应用场景
命题逻辑
课时目标：基本要求：掌握命题逻辑的词汇与运算符，掌握使用真值表法解决命题逻辑推理。
2.1 命题逻辑词汇
2.2 命题逻辑运算符
2.3 命题的真值
命题逻辑推理算法
课时目标：基本要求：理解SAT算法基本思想，掌握SAT算法实现方法。
SAT的应用
课时目标：基本要求：熟悉SAT算法典型应用场景，掌握使用SAT算法解决数独问题。
3.3 SAT 典型应用场景
3.4 使用SAT解决数独问题
启发式SAT算法
课时目标：基本要求：掌握GSAT算法实现，了解SAT-MAX, SAT-Planning算法基本思想。
5.1 GSAT算法
5.2 SAT-MAX算法
5.3 基于SAT的规划算法
本体导论
课时目标：基本要求：了解本体论来源与发展，掌握本体论基本概念与理论。
6.1 本体论来源和历史发展
6.2 本体论基本概念与理论
描述逻辑
课时目标：基本要求：掌握描述逻辑词汇，理解描述逻辑语义表达能力
7.1 描述逻辑词汇
7.2 描述逻辑语义表达能力
描述逻辑推理
课时目标：基本要求：理解DL的可判定性，熟悉DL推理算法实现方法
8.1 DL的可判定性
8.2 DL推理算法（tableaux 算法）
本体构建的知识工程方法
课时目标：基本要求：熟悉本体的元素，掌握本体工程方法及Protege编辑工具使用方法。
9.1 本体的元素
9.2 本体工程
9.3 Protege工具使用
条件约束编程及其优化方法
课时目标：基本要求：理解条件约束基本概念，掌握CSP基础算法，理解CSP优化方法。
10.1 条件约束基本概念
10.2 CSP算法
10.3 CSP的优化方法
知识图谱
课时目标：基本要求：了解知识图谱的基本概念、发展史和应用现状。
11.1 知识图谱基本概念与发展史
11.2 知识图谱应用与现状
SPARQL查询语言
课时目标：基本要求：熟悉SPARQL查询语义和语法。
12.1 SPARQL 查询语法
12.2 SPARQL查询语义
展开全部
浙公网安备 33010802012594号
