论文信息 - A CONSIDERATION TO KNOWLEDGE REPRESENTATION-AN INFORMATION THEORETIC VIEW

A CONSIDERATION TO KNOWLEDGE REPRESENTATION-AN INFORMATION THEORETIC VIEW

An information theoretic view is introduced into the discussion of knowledge representation. Information is defined to a description as the difference between the entropies the system contains before and after the description is given. Properties that should be attributed to knowledge representation are discussed taking this view into account. Then, it is shown that an extension of first order predicate logic has these properties and is therefore suited for knowledge representa tion. A formula in this logic involves data structures in such a way that the data structures can be manipulated without having any in fluence upon this formula and, nevertheless, the formula evaluates correctly the data structures it refers to.

Setsuo Osuga | S. Osuga

[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[3] Satosi Watanabe,et al. Knowing and guessing , 1969 .

[4] Setsuo Ohsuga,et al. Knowledge-based man-machine systems , 1983, Autom..

[5] Setsuo Ohsuga,et al. Predicate Logic Involving Data Structure as a Knowledge Representation Language , 1983, IJCAI.

[6] Setsuo Ohsuga,et al. Perspectives on New Computer Systems of the Next Generation : A Proposal for Knowledge-Based Systems , 1980 .

[7] Ronald J. Brachman,et al. Special issue on knowledge representation , 1980, SGAR.

[8] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .