332 智能系统学报 第4卷 可拓变换可能由某个条件（原因）产生或者会 一次可拓知识，关联函数的值是逐步增加的，经过若 引起某个结果，与可拓变换有关的具有因果关系的 干次计算后，会使K<0逐步变成K+1>0,最终使 规则式，统称为可拓知识. 矛盾问题得到解决 1)可拓变换T由某一条件或原因所引起. 2.2解决“图形媒体与文本媒体”矛盾问题的元知识 Condition→(T.u=v). 图形与文本是2种不同媒体.矢量图形是在平 条件Condition可能是某一事实F=f,或是一个算子 面上展示各种图元素之间的分布关系，便于人的宏 A,求出变量X的值A(x)=b,或是另一个可拓变换 观思维和表达.但是，它不能反应出图元素之间的前 Tna=b,具体表示为 后顺序，不便于有序的说明和表达.在作战中，一般 (T.a=b)→(T.u=v). 利用图形来制定作战方案，它能体现宏观的平面布 式中：可拓变换T.称为可拓变换T。的传导变换。 局.但是，在下达命令的时候，需要有序的表达，用图 2)可拓变换T.产生一个结果 形来下达命令就不合适了，为解决这个矛盾问题，就 (T.a=b)→result 必须将图形转换成为文本，文本是有前后顺序的，它 结果result同样可能是一个事实，或者是另一个可 适合以作战命令形式下达， 拓变换 图形基元与文本基元分别表示为 可见，可拓知识是包含可拓变换的规则知识，在 MA=（图形A,图元0：，信息山：)， 人工智能中，一般知识是事实（变量的取值）的规则 Mg=（文本B,句子，信息) 形式，即：P→Q,知识只体现了P与Q的静态关 这种图形A与文本B媒体的转换表示成宏观的可 系.而可拓知识中的可拓变换将一对象变换成另一 拓变换形式为 个对象，体现了变化的持点[58] T (M)=Mg. 图形A包括多个图元0：，如圆点、直线、颜色等组 2解决矛盾问题的元知识 成.从一个图元0：找到另外一个图元0，需要通过 2.1解决矛盾问题的可拓模型和可拓知识 图元之间的关系的知识推理来完成，知识表示为 矛盾问题是问题P的条件L不能实现问题的目 IF(0:)THEN(w;):ACT(g:). 标G.量化矛盾问题P的不相容性用关联函数 含义是若前提条件中的图元：已知，则通过执 K(P)<0来表示，解决矛盾问题是利用条件L的可拓 行某一识别函数g,找到结论中的图元w,该知识 变换或目标G的可拓变换，引起关联函数K(P)变换 体现了从图元w:到图元w,的可拓变换： 的可拓知识，使关联函数K(P)<0变为K(P)>0,即 Te（0:）=0+1 关联函数发生质的变化，使矛盾问题得到解决， 文本是由句子组成，句子是由词组成.在作战文 解决矛盾问题的可拓模型包括3部分： 本中的句子s:一般由固定词sC:和变化的词sd:(关 1)量化矛盾问题P.对不同的问题需要利用不 键文字)组合而成.固定的词在文本中形成了固定 同的原理，建立判别矛盾问题是否解决的关联函数 的格式和顺序.变化的词（关键文字）是随不同的作 K(P),在解决矛盾问题的过程中，关联函数值是逐 战方案而变化的.具体表示为 步变化的，设第i步关联函数值为K。 B=U=U (se:+sd). 2)找出化解矛盾问题的目标变换Tc或条件变 由图形转换成文本的关键在于将图元信息， 换T,它将引起关联函数值的变换Tx(P的可拓知 变换成文本中变化词sd的信息，表示为 识.这同样需要利用原理来建立，它们也是逐步进行 Tt(山：)=： 的.这样，解决矛盾问题的可拓知识为 图形与文本媒体转换矛盾问题的可拓模型为 (TG(G:)=Gi)V(TL(Li)=Li) 1)关联函数 (TxP(K)=K+1). 一幅图形中的图元总数设为N.图形转换成文 该可拓知识得到的关联函数值的变换TxP需 本是逐个取出图元中的信息放人文本中形成词信 要通过计算使K:+1>K:,这样才能保证矛盾问题的 息.这样转换的关联函数设计为 解决. K =i-N. 该可拓知识是解决矛盾问题的核心，它说明了 式中：变量i为已完成图文转换的图元数目.每完成 解决矛盾问题的途径和可能性. 一个图元的寻找和信息获取，需要进行累加，即i=i+ 3)设计算法，反复运行该可拓知识，且每运行 1.当K<0时，将继续进行图文转换，直到K=0时为