人工智能（知识表达）

第二章       知识表示

2.1.1知识及知识的分类

概念：知识是人们改造客观世界的实践中积累起来的认识和经验

分类：

①按性质：概念、命题、公理、定理、规则、方法等；

②按适应范围：常识性知识（通识知识）、领域性知识（专业性知识）；

③按作用效果：事实性知识（叙述性知识，常以“......是......”的形式出现）、过程性知识（规则、定律、定理构成）、控制性知识（元知识或超知识，是知识库中的高层知识）；

④按确定性：确定性知识、不确定性知识；

⑤按等级：零级知识（陈述性知识或事实性知识，回答“是什么”“为什么”）、一级知识（过程性知识或程序性知识，回答“怎么做”）、二级知识（控制性知识或策略性知识）等；

⑥按结构：逻辑性知识、形象性知识

2.1.2知识表示方法

知识表示：用一些约定的符号把知识编码成一组能被计算机接受并便于系统使用的数据结构

要求：①有表示能力；②可理解性；③可访问性（有效利用）；④可扩充性

方法：①谓词逻辑；②状态空间；③产生式规则；④语义网络；⑤框架；⑥概念存储；⑦脚本；⑧petri网；⑨面向对象

2.2谓词逻辑表示法
2.2.1基本概念

谓词：设D是论域，P：D^n→{T，F}是一个映射，其中D²={（x₁，x₂，...，xn）| x₁，x₂，...，xn∈D}，则称P是一个n元谓词（n=1,2,...），记为P（x₁，x₂，...，xn）。其中，x₁，x₂，...，xn为个体变元。

二阶谓词：P（Q（x））的谓词的谓词

常用联结词：﹁（否定或非），∨（析取），∧（合取），→（条件或蕴含），↔（双条件）

2.2.2谓词逻辑表示法

例：用谓词逻辑表示下列知识：

⑴所有整数不是偶数就是奇数

Z(x)：表示x是整数；D(x)：表示x是偶数；S(x)：表示x是奇数

(任意x)(Z(x)→D(x)∨S(x))

⑵所有父母都有自己的孩子

P(x)：表示x是父母；C(y)：表示y是孩子；P(x,y)：表示x是y的父母

(任意x)(存在y)(P(x)→P(x,y)∧C(y))
2.2.3谓词逻辑表示法的经典应用

 经典例题

 解答：

 2.3.3产生式表示法应用举例