一个自动形成解题算法系统.pdfVIP

维普资讯 ．8 ． 计算机研宠与堤晨 1990年第9期 一 个 自动形成解题算法的系统 高庆狮 李 妻 中 科 院计算硅求研 克所 摘要：本文讨论=级智能的一个例子 ； 自动形成魔方摹解 (追原)算法的系统 ，系统的输入毛 魔方的基奉知识和要求 ，输 出是一组 组返 原算法 。 引 言 一 个问题，有三种不同层次的处理方法。以魔方还原为例：第一种是信息处理方法，人们通 过研究找出还原规律，并编程序来实现它；汝句 说．把还原规律 (即 还原算法)固化在程序 中 第二种是知识处理方法 ，人们把还原规律以知识的形式存在知识库 中，并编一个程 呼，捌嗣知阻 库中的知识来进行魔方还原；第二种方法的特点是 ，程序与知识相对独立；也就是说，当你换一 觊还原算法时 ，你不必象第一种方池那样修改程序，面仅仅修改知识库中的知识即可，第三种是 钾能理处方法 ；系统是 由一些与魔方求解有关灼智能处理模块组成，人们只需告诉系统有关魔方 的基本知识及还原到原始状态的要求 ．系统就能 自动找 出还原算法 (规则)来， 电就是 ， 自动 “生 产”出有关还原知识来 ，即：系统能做一些 自认为具有至高无上智力的人类才 能 傲 出的事情来 一 般说，找到的不止一·组。当然 ，系统还具有利用 自己找到知识 (规律、算法)来进行魔方还原的 能 力。 软件生产 自动化、计算机辅助研究的智能系统、问题 自动求解系统，都需要 自动寻找算法 魔方还原的问题描述 魔方由3×3小立方体组成六面．可移动小立方体有 20个，其中8个为角， l2个为边。 角有三态 ，边：茸两态 。 小立方体 的位置用 (x、Y、z)来表示 。X、Y，Z的取值范围为 {l，2，3} 态用相对坐标 (i，】，k)来表示。l、J，k啦值范围为 {1，l，2，2，3，3}。 零状态为(1， 2，3)。 2．魔方有 6个正操作 {A，B，R，L，U，D}及 6个逆操作 {A，B，R，L，U，D} 倒如 术文千1988年 5月收到。 维普资讯 3，3)一 (3， 3，1)一 (3， ( 0 招 3 3，2)一 (3， 2， 1)÷ (3， 角 边 角 -- ] ) 位 位 0 态 位 0 k， k。÷ j。 口 0 ÷ 3)_}(3，L， 1 2 边位 (3，2，3)一 (3，l，2)一t3，2，1卜 (3，3，2)一 (3，2，3)。 ÷ ÷ 态 ：J÷l，J k， J 口 等等。 其 中： r (a，b，c)一 (a，b ，c’)表示位(a，b，c)上的边或角变到位 (a’，b’，c)上。 ￡÷t’表示 t向转到 t’向上，r一￡’表示 t的反向转到 ￡’向上。 每个正操作、逆操作都是基本操作。 3．要求：求一组算法，该算法能使魔矗从任一状态 (从初始状态经任一未知序列变换所形成 的状态)返原到初始状态 1 l 人寻找魔方求解算法的过程 1．大量试一试，弄熟它。 孙 2．分解 目标为子 目标串。 ÷ ÷ (1)分解完备性。 研究 所有可能的方案，这里的 “研究 并非逐一枚举 但必要时，可以枚 举 。 可移动的小方格有20个，把方格复位 ，次序不同，做为不