Multi-layer logic - a predicate logic including data structure as knowledge representation language (Q1097720)

The requirements for knowledge representation are outlined, a multi-layer logic satisfying these requirement is designed. The supporting role of knowledge representation for a new style of information processing is shown. In the first part the area of problem solving is analyzed and the importance of modelling in problem solving is shown. The requirements for knowledge representation, coming from the previous discussion, are summarized in the further parts. Next, the use of predicate logic for knowledge representation tasks is discussed. Expansions needed for the required knowledge processing system are mentioned. In the last part multi-layer logic as a system fulfilling the desired requirements is introduced. For this logic system a new inference rule and theorem-proving method are defined.