A Principle for Constructing Attributive Reasoning Knowledge Base

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.