第13章 命题演算.pptVIP

* * 第13章 命题演算 第三部分 知识的表示和推理 对特征值加以约束 一个agent环境的某些信息是很难或者说是不可能由图标来表述的。例如： · 普遍规律，如“所有的蓝色盒子都是可推动的”。 · 否定信息，如“积木A不在地板上(没有说积木A在哪儿)”。 · 不确定信息，如“或者积木A在积木B上面，或者积木A在积木C上面”。 有些这种难以表述的信息可以用公式表示为对特征值的约束，这些表示某个agent所处世界的重要知识的约束常常被用来推断那些不能被直接感知的特征值。 对特征值加以约束 使用基于特征中约束的计算推断有关一个agent当前(present)状态的信息，可以与从一个agent行为的将来(future)状态的计算作对照。 第一个方法称为“推理(reasoning)”，第二个称为“投影(projecting)”。在以下几章中，先不考虑投影的问题，而集中讨论推理。 包含有关特征值的推理有几项应用。可以确信，当agent(甚至是反应型agent)决定行动的时候，推理能增强它们的效力。例如，与“原因”相联系的特征可以从与“症状”相联系的特征推断出。这种方法是人工智能应用中的重要一类——专家系统(expert system)的基础。 对特征值加以约束 用一个富有启发件的例子来开始推理技术的讨论。