This paper is a theoretical discussion of several functions of knowledge systems based on the idea of partial matching, that is, comparison of two or more descriptions by identification of their similarities. Several knowledge system functions are described in terms of partial or best matchings including analogical reasoning, inductive inference,…

This paper discusses the theoretical problem of matching and abstraction of concepts as the processes occur in human minds, and the structures used to represent these processes for use in automated, knowledge based systems. A basic premise of the paper is that hierarchies play a crucial role in structuring knowledge and in solving problems. Data…