A Logical Modeling System

摘要

The concept of logical modeling, which is based on the ingenious operational semantics of logical formulas and which forms the basis for the implementation of decision-making systems, is described. The concept is developed up to its practical implementation; i.e., a two-level language for constructing logical models is designed. The first level of this language is intended to describe the notions of an application domain and to specify a source problem, and the second level is intended to describe a solution search strategy. A distinguishing feature of the logical modeling system is that it comprises the so-called explanation block, which represents a trajectory of the construction of the desired solution in informal terms.