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

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.