Логическая структура концептуальной модели информационно-аналитической системы (ИАС), основанной на слабоструктурированных знаниях производственной системы

Abstract

In article the problem of creation of the conceptual model of the intelligence automated system based on knowledge of the production enterprise and intended for informational support of a decision making is considered. Basis of such systems is the model hypothesis which defines a form of representation of knowledge of the studied subject domain. Here the main problem, as a rule, consists that the subject domain is poorly structured and has to be considered both with internal (systemic) and from outer side at the same time. For serial coordination it is necessary to increase the level of abstraction of model that is directly bound to a problem of the description of semantics. It is necessary to describe properties of the relations between the mathematical objects which are not depending on internal structure of objects, i.e. application of the theory of categories and use of logic of a concept of morphisms as a basic primitive allows to treat the logical and functional relations between objects uniformly. Use Noel Chomsky's method of the syntactic focused broadcasting opens a way to creation of the phenomenological theory and design methods of IIS. The classical model of production which is represented as process of interaction of production resources can be the cornerstone of structural and parametrical model operation of the covered subject domain. The example of formation of a contour of the organizational and functional management of a production system, consistent from the point of view of information exchange, with application of IAS is given. The necessary conditions of the formal synthesis of the self-organized structure of IAS which are based on composition of objects – sets of the theory of the categories having properties of a commutability in structure of a logical square of Descartes, and further - in the Cartesian polyhedron are defined. It is shown that for such structures the rules of the formal logic allowing to define the arising structural contradictions, that is to exercise control of a condition of processes, remain.