第三章产生式系统的搜索策略.pptVIP

第三章 产生式系统的搜索策略  回溯策略  图搜索策略：无信息的图搜索 启发式的图搜索 产生式系统的费用 3.1 回溯策略 一、回溯算法BACKTRACK 算法中用到的部分变量、常量、谓词、函数： 变量： DATA，RDATA：状态变量 RULES, PATH ： 表变量 常量： NIL: 空表 ----LISP语言中的常量，也可用（） 谓词： TERM(DATA): DATA满足结束条件时，为真 DEADEND(DATA):DATA不在解路上，为真（往下到达目标的可能性来定义这个谓词：若从 DATA当前状态往下走到达目标的可能性很小时，则放弃这个状态 ） NULL(X): 表X为空表时，为真 函数： APPRULES(DATA): 将DATA所有可用