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.