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