高级检索

    以属性为基础的知识库建库原则

    A Principle for Constructing Attributive Reasoning Knowledge Base

    • 摘要: 在将关系定义为序集相应属性的基础上,本文提出了以属性为基础的知识库建库新原则.传统的关系原则是属性原则的特例.证明了任一事物x的属性集Px构成么半群M(Px,∧),而M(Px,∧)定义一范畴属CM(X).属性集Px连同其属性问推理偏序r(Pi,Pj)=dfPi(X)→Pj(X)定义—推理范畴Cr(X).将么半群M(Px,∧)的素属性生成元作属性多面体K的顶点.本文证明了K的重心剖分复形Km恰是么半群M(Px,∧)的一个同构表示,且Km连同其顶点间的自然推理r'(Pi,Pj)=df"Pi∧Pj?Pi"定义一自然推理范畴CK<...

       

      Abstract: A principle for constructing attributive knowledge base is presented in this paper.It is shown that the barycentric Subdivision Km of polyhedron K is an isomorphic representation of the monoid M(Px∧).The subdivision complex Km with the natural reasoning R'(pi,pj)=dfPi∧Pj=pj=pi for any pair pi and pj in Km defines the natural reasoning category Ck(x).The category Ck(x) is isomorphic to the reasoning category Cr(x).Then the problem of judging an attributive reasoning r(pi,pj)can be transformed into one of calculating or recognizing the barycentric coordinates of both vertices pi and pj in the complex Km.It is also shown that the frame scheme proposed by M.Minsky can be considered as a miniature form of complex Km.

       

    /

    返回文章
    返回