«Системы оперативного информирования». — функционирование систем оперативного информирования существенно связаны с эффективностью функционирования обслуживаемых ими систем управления. Здесь мы имели в виду как автоматизированные, так и не автоматизированные системы, причём не автоматизированные даже в большей мере [43–44]. В самом общем случае состав и структура ЯО систем СОИ могут представляться в виде:

Nсои = {[Rк (Хк), Рк], [Rпф (Хэл), Роб]}.

Здесь Хэл — множество элементов объекта управления, Rпф — множество отношений соответствующей предметной области, а Роб — отображают законы функционирования (жизнедеятельности) управляемого объекта. В свою очередь, традиционные концепты Хк, Rк, Рк отображают состав и структуру коммуникативных процессов систем оперативного информирования, где определяющими злементами являются запросы «пользователя» к системе в некоторой конфликтной ситуации на естественном языке [42–43].

В связи с расщирением круга лиц, являющихся потребителями компьютерной информации, но незнакомых в достаточной мере с языками программирования, была реализована опытная система СОИ, и выделен класс систем для избранной предметной области, с использованием языка «деловой прозы» — профессионального естественного языка [42–43].

Техническое оснащение и формирование сети информационно-вычислительных центров гражданской авиации (ГВЦ, 6 КИВЦ и более 30 ИВЦ) позволили разработанным в ЦНИИАСУГА системам органично войти в повседневную практическую деятельность самого Министерства, территориальных управлений (УГА) и авиационных заводов (АРЗ) гражданской авиации. Впервые в 1971 году составление расписания движения самолётов стало осуществляться на ЭВМ. В 1972 году осуществлено внедрение Центра и АС «Сирена-1» в Москве, а с середины 1970-х годов — в крупных городах страны — АС «Сирена-2/2М» на базе ЦАВС и КИВЦ.

«Системы оперативного управления» — как уже отмечалось, язык описания (ЯО) систем оперативного управления существенно влияет на структуру и состав ЯО систем оперативного информирования, а составляющие языка описания являются составной частью языка описания систем оперативного управления и в общем виде представляется как:

Nсоу ={[Rк (Хк), Рк], [Rпр (Хол), Роп], [Rпф (Хоб), Роб]}.

Здесь, аналогично предыдущему, Хоб — множество элементов объекта управления, Rпф — множество отношений соответствующей предметной области, а Роб — отображают законы функционирования (жизнедеятельности) управляемого объекта. В свою очередь, Роп — правила, соответствующие операциям, где Роп = [Rоп (Хоп)], а Rоп — отношения, соответствующие операциям и Хоп — само множество операций.

Важнейшим этапом построения семиотической модели оперативного управления является формирование семантических правил Роп, производимое, как правило, индуктивно в процессе обучения. Формальная постановка задачи и описание алгоритмов решения задачи индуктивного формирования правил классификации и конкретизации приведены в [43].

Ситуационная семиотическая модель принятия решений была реализована в оперативном управлении отходом эксплуатируемых самолётов гражданской авиации (ГА) в ремонт на заводы ГА [43]. Разработанные алгоритмы и программы были реализованы на языке LISP (версия LISP — ES-1.6) и предполагали диалоговое взаимодействие, как на этапе построения семиотической модели, так и в эксплуатационном процессе принятия решений ЛПР [43]. Здесь запросы «пользователя» к системе могут иметь весьма разветвлённую логическую структуру, связанную с конкретизацией типовых решений. Хотя и в этом случае фиксируемый в запросе «пользователя» к системе в конфликтной ситуации объект может выступать как собственно объект, как свойство или отношение в различных неопределённостях [39–40].

«Экспликация языка описания систем». Типология таких ситуаций и соответствующих им запросов может быть построена в терминах языка описания Х, R, Р на базе понятий «объект», «элемент», «отношение», «свойство», и учитывающих их взаимопереходы и взамовырождения. В таком случае возможны следующие типы запросов:

— выявляется некоторый объект X или его элемент xi, обладающий фиксированным в запросе свойством Р;

— выявляются некоторые свойства Р у фиксированного в запросе объекта Х или его элемента хi;

— выявляется некоторый объект Х или некоторые его элементы xi, находящиеся в фиксированном в запросе отношении R;

— выявляется некоторое отношение R между фиксированными объектами X или его элементами xij, имена которых указаны в запросе.