北大公开课-人工智能基础 42 知识推理之逻辑表示

不同的编程语言，去描述不同的知识类型

过程性语言，过程性知识（如何解决问题）

陈述性语言，陈述性知识（问题到底是什么）

不同的逻辑表达方式

逻辑运算符号

用一阶逻辑玩魔兽世界游戏

一阶逻辑的感知、动作和查询语句。

先感知，再查询，最后动作。