状态空间法word版本.pptVIP

状态空间法; LT 逻辑理论家? ILP 归纳逻辑程序设计 2.1.1 状态空间法 1）问题描述 状 态：问题求解中每一步问题状况的数据结构 状态描述：符号、字符串、向量、二维数组、树、表等数据结构表示的问题状态 例 2-1 八数码难题; 初始状态 目标状态 图 2-1 八数码难题 ; 八数码算符：EL-- 空格左移 ER--空格右移 EU--空格上移 ED--空格下移 约 束：E1，4，6 -- 禁止EL E1，2，3 -- 禁止EU E3，5，8 -- 禁止ER E6，7，8 -- 禁止ED ; 例2-2 代数式简化问题。 (AB+CD)/BC A/C+D/B 状态描述：二元树法 非 终 端：节点算术运算符号+、-、*、/ 终端节点：变量、常量 树图：;算符：代数规则： 分配律、结合律、。。。 字符串法：? ??AB?CD?BC