"Lec 13 知识表示与推理1：一阶逻辑与知识表达"

Lec 13 知识表示与推理1; 知识表示与推理 (KRR) 是什么？KRR是一种将代理人所相信的命题进行符号化编码，并对其进行操作以产生代理人相信但未显式表示的命题的表示形式的方法。这种方法可以通过以下两种方式表示：显式表示的信念和隐式表示的信念。显式表示的信念是由代理人明确表示的信念，而隐式表示的信念是由代理人相信但未明确表示的命题。我们需要知识来回答问题。一个例子是，假设Ann和Bob是研究生，而学生是研究生的先决条件。显式表示的信念是"Ann是研究生"和"Bob是研究生"以及"对于任意x，如果x是学生，则x是研究生"。而隐式表示的信念是"Ann是学生"、"Bob是学生"以及"对于任意x，如果x不是研究生，则x不是学生"。我们需要KRR的理由是因为：知识是回答问题所必需的。对于一个知识基础的系统，其基本假设是：任何人工智能系统都是基于知识的。因此，KRR是一种重要的方法来构建这样的知识基础系统。