KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article collection "Mathematical Problems of Cybernetics" №10, Moscow, 2001
Authors: Popov S.V.
Logical modeling
Abstract:
Logical simulation refers to the construction of an applied logical calculus whose signature is determined by the domain objects, and axiomatics — dependencies between the objects, and building a logic model for him. The paper proposes a method for constructing a logical model for specification of the subject area. Demonstrates that any built thus applied calculus itself is a program that constructs the model. This is based on introduced in the article the operational semantics of logical formulas. In the end, the original specification of the subject area, as applied calculus, automatically generates its own model. A real system logic simulation. describes in the article.
Keywords:
logical formula, logical calculus, logical model, operational semantics, language, logic simulation, strategy, problem solving
Publication language: russian, pages: 48 (p. 167-214)
Research direction:
Mathematical problems and theory of numerical methods
Source text: