New modeling method for using large knowledge bases

Abstract

The objective of this paper is to discuss some aspects of large scale knowledge bases, especially the ways of building knowledge bases from the view point of using knowledge bases for solving real problems and for assuring knowledge based systems generality. A new modeling scheme for representing problems including strategic decision is discussed as well as a way of generating problem specific problem solving systems. Many multi-level concepts such as a multi-level function structure and its corresponding knowledge structure, multiple meta-level operations, a multi-strata model to represent problems including human activity, etc. It is shown that the system realizes not only the generality but also practicality of problem solving by enabling automatic programming.