Technology of logic modeling and analysis of complex systems
Abstract
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