归纳逻辑程序设计的扩张矩阵方法.pdfVIP

清华大学学报(自然科学菔) 22／57 1111童竺!!童 !!：!!!!!至!!!!竺兰!!：!!些!!塞!垒至!!!墅!!塑叁!!三!!塞 归纳逻辑程序设计的扩张矩阵方法 叶风．徐晓飞，孙希文，陈彬 哈尔滨工业大学计算机科学与工程系，哈尔滨150001 E—mail：yf@mlg．hit．edum 文摘归纳逻辑程序设计的核心闻题是如何从背景知识中优进谓词构作满足约束的归纳假 设。按Oeca咀准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归 纳假设构作的计算复杂性未明。本文基于扩张矩阵的方法证明精简归纳假设构作的计算复 杂性是NP圃难的，并给出构作优假设的启发式算法。 关键词 归纳学习：归纳逻辑程序设计：扩张矩蛑 l 相关概念 归纳逻辑程序设计1LP(InductiveLogic 有定逻辑程序是形如P卜Q。．．，Q。的子句集，其中P，Q，是原子公式，P称为子旬头， O，称为子目标。给定有定逻辑程序形式的背景知识BK及菜一学习目标的正反示例集E= a．先验可满足性 B}oNE团． b先验必要性 BK降PE BK BKAqPE c后验可满足性 nH—N鼯口．d后验充分性 F 其中口代表矛盾。ILP方法目标是在保证一致性前提下．找出H使得BK与H能够逻辑蕴 涵PE。如果C代表目标概念的外延，则PE￡_C，NEnC=中。 现分别并同时替换为t。．．，k。设Q，∈Ps，qE△，归纳假设可表为形如C-L，a．，、ko。的 子句集。 BK，D脚。 设Def={DID为概念C关于(BK，E)的部分归纳假设}。 定义3具有最小基数的归纳假设称为最优归纳假设。 以下归纳假设亦称概念定义(假设)。C的示例C(t。，tO也表示成元组“。～t9的形式。 定义4设e+鼍ul，．，u,3EPE，e-=(vm，v。)∈NE。 厂≮74 清华大学学报(自然科学版) 1998．38(s2j EM(e+，e：)，m=)NEI。 为建立归纳假设与扩张矩阵的关系，我们进一步定义一种增广形式的扩张矩阵。 定义s kEM(e．NE仁 。 kEM(e，NE)s NE=if(1、0，1)，c(o．1，O)，c0，l，o)，c(1，l，2)}。C(0，1，2)在NE背景下的2EM(C(0，I，2)，NE)如下： 薯纛 定义6子旬D：Co L¨．、．，k中变量X称为约束的，如果x在D中出现的次数大于i- 建立扩张矩阵的目的是通过EM直观有效地构造归纳假设。归纳假设的构造在第三节 曹一 讨论。若已产生归纳假设H：C()(h．，X)}L… 程得咄。 循环i=l、k，J_I，m b 如果BK，c(x。3JL。 ，Ll净Pj 对应于X。，，x。中约束变元的分量加注标记o． 是H：C@…X，xj-L(X，)，Q(x，)。加注标记后的2EM(C(0，l，2)，NE)如图l所示。 标记kEM表征了假设f旬中备子目标对排除反例的贡献。kEM中各子阵相应于假设 子旬中各子目标(从左到右)。利用kEM能够构造优化概念定义并反映其计算复杂性。归 纳假设与标记kEM的关系由F述定理给出。 (4)kEM(e．NE)各了阵带标记的行