×

You are using an outdated browser Internet Explorer. It does not support some functions of the site.

Recommend that you install one of the following browsers: Firefox, Opera or Chrome.

Contacts:

+7 961 270-60-01
ivdon3@bk.ru

  • Technology of logic modeling and analysis of complex systems

    The methodology, language and tools for rapid development of logic models of systems and processes are proposed. Language is defined in the first-order predicate calculus with equality and a representation of negatives, modules, discrete time intervals. The proposed computable mathematical semantics allows to construct interpreters whose complexity is O(nlogn) relative to the power of models. Interpretations result is a model derivated from the logical specification of objects by direct inference. The model can be used as a working prototype of the system. The technology is designed to address a wide range of problems of language analysis, projects, processes, development of training and expert systems.

    Keywords: logical model, predicate calculus, logical mistakes, logical semantics, analysis, interpreter