人工智能理论第二章.ppt

基本PROLOG PROLOG程序的运行机理(续)： 匹配合一(续)： 合一是一种操作，可使两个能匹配的谓词合一起来，即为参加匹配的自由变量和常量，或者两个自由变量建立一种对应关系，使得常量作为对应变量的约束值，使得两个对应的自由变量始终保持一致(若其中一个被某值约束，则另一个也被同一值约束；反之，若其中一个的值被解除，则另一个的值也被解除) 基本PROLOG PROLOG程序的运行机理(续)： 回溯： 在程序运行期间，当某一个子目标不能满足(即谓词匹配失败)时，控制就返回到前一个已经满足的子目标(如果存在的话)，并撤消其有关变量的约束值，然后再使其重新满足。成功后，再继续满足原子目标 如果失败的子目标前再无子目标，则控制就返回到该子目标的上一级目标(即该子目标谓词所在规则的头部)使它重新匹配 上述过程详见P30-P32实例 PROLOG程序运行机理示例 基本PROLOG PROLOG程序的运行机理(续)： 回溯： 上述程序的运行是一个通过推理实现的求值过程。我们也可以使它变为证明过程。例如，把上述程序中的询问改为 friend(john,mary) 则系统会回答：yes 若将询问改为：friend(john,smith) 则系统会回答：no 基本PROLOG PROLOG程序的运行机理(续)： PROLOG程序的执行过程是一个(归结)演绎推理过程 特点：推理方式为反向