在人工智能系统中，推理通常是由一组程序来实现的， 人们把这一组用来控制计算机实现推理过程的程序称为推 理机。例如，在医疗诊断专家系统中，专家知识及医学常 识保存在知识库中。推理开始时，先把病人的症状和检查 结果放到综合数据库中，然后再从综合数据库的初始证据 出发，按照某种策略在知识库中寻找，并使用知识，直到 推出最终结论为止。
11
(4) 将知识库中可以导出该假设的所有知识构成一 个可用知识集；
(5) 检查可用知识集是否为空，若是，失败退出； 否则执行下一步；
(6) 按冲突消解策略从可用知识集中取出一个知识， 继续；
(7) 将该知识的前提中的每个子条件都作为新的假 设放入假设集，然后转(2)。
以上算法的流程图如下图（见下页）所示。
16
定义4.1 设D是谓词公式P的非空个体域，若对P中的个 体常量、函数和谓词按如下规定赋值：
(1) 为每个个体常量指派D中的一个元素； (2) 为每个n元函数指派一个从Dn到D的一个映射，其
中Dn ={(x1, x2, …, xn)| x1, x2, …, xn∈D} (3) 为每个n元谓词指派一个从Dn到{F，T}的映射。
若在推理中所用的知识都是精确的，即可以把知识表 示成必然的因果关系，然后进行推理，推理的结论或真或 假，这种推理就叫确定性推理。本章重点讨论确定性推理， 不确定性推理放到下一章讨论。
2
1. 推理的基本概念
• 什么是推理 在现实生活中，人们对各种事物进行分析、综合并最
后作出决策时，通常是从已知事实出发，通过运用已掌握 的知识，找出其中蕴含的事实或归纳出新的知识，这一过 程通常称为推理。
18
3. 谓词公式的等价性和永真蕴含性
谓词公式的等价性和永真蕴含性可分别用相应的等价 式和永真蕴含式来表示，这些等价式和永真蕴含式都是演 绎推理的主要依据，因此也称它们为推理规则。
