Рус Eng Cn Перевести страницу на:  
Please select your language to translate the article


You can just close the window to don't translate
Библиотека
ваш профиль

Вернуться к содержанию

Кибернетика и программирование
Правильная ссылка на статью:

Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: I. Синтез и анализ концептуальной модели

Зинкин Сергей Александрович

доктор технических наук

профессор, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Zinkin Sergei Aleksandrovich

Doctor of Technical Science

professor of the Department of Computing Technics at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

zsa49@yandex.ru
Другие публикации этого автора
 

 
Пащенко Дмитрий Владимирович

доктор технических наук

профессор, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Pashchenko Dmitrii Vladimirovich

Doctor of Technical Science

professor of the Department of Computer-Based Technology at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

dmitry.pashchenko@gmail.com
Другие публикации этого автора
 

 
Пучкова Ульяна Николаевна

аспирант, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Puchkova Ul'yana Nikolaevna

post-graduate student of the Department of Computer-Based Technology at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

u.puchkova@mail.ru
Другие публикации этого автора
 

 
Мустафа Садек Джафар

аспирант, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Mustafa Sadek Dzhafar

post-graduate student of the Department of Computer-Based Technology at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

mustafajaafar221087@gmail.com
Другие публикации этого автора
 

 

DOI:

10.7256/2306-4196.2016.6.20740

Дата направления статьи в редакцию:

15-10-2016


Дата публикации:

02-02-2017


Аннотация: В данной статье объектом исследования являются информационные процессы в асинхронных дискретно-событийных системах. Примерами таких систем могут быть организационно-экономические, производственные и вычислительные системы. Предметом исследования является методология формализации и анализа асинхронных дискретно-событийных систем на основе интеграции методов искусственного интеллекта и поведенческого дискретно-событийного моделирования. В качестве примера подходящей предметной области в настоящей работе рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Методология исследования базируется на логике предикатов первого и второго порядков, формализме сетей абстрактных машин, моделях искусственного интеллекта и на впервые предлагаемых концептуальных сетях Петри. Новизна исследования состоит в получении в конечном итоге на основе концептуальной и поведенческой модели асинхронной дискретно-событийной системы формализованных непосредственно исполнимых спецификаций, например, пригодных для последующей реализации сетевого программного обеспечения беспроводной вычислительной сети, управляющей гибким автоматизированным производством изделий. В части I статьи показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (сценарные сети) могут в достаточно полной степени представлять логическую, структурную и процедурную парадигмы интеллектуальных систем, в том числе систем ситуационного управления. Формализован процесс построения сценарных моделей на основе концептуальных графов, что позволяет использовать указанные модели в составе экспертно-имитационных моделей систем ситуационного управления. Показано, что концептуальное представление сценариев позволяет естественным образом автоматизировать переход к построению базы знаний на основе реляционного подхода, что обеспечивает повышение оперативности внесения изменений в концептуальную модель и базу знаний (например, при изменениях в предметной области). Запросы к базе знаний, построенной на основе концептуального графа, могут быть формализованы на языке сетей абстрактных машин, что упрощает дальнейшее проектирование человеко-машинного интерфейса интеллектуальной системы на базе известных языков типа C++, C#, SQL, Visual Prolog и др.


Ключевые слова:

интеллектуальные системы, семантические сети, сценарии, концептуальные графы, ролевые отношения, казуальные отношения, роботизированное производство, реляционная база данных, запросы, абстрактные машины

УДК:

004.632.6

Работа выполнена в рамках Федеральной целевой программы “Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2014-2020 годы” (Соглашение № 14.574.21.0045 от 19.06.14, UIN: RFMEFI57414X0045).

Abstract: The object of the present article is information processes in asynchronous discrete event systems. Examples of such systems include organization-economical, production and computer-based systems. The subject of the research is the methodology of formalization and analysis of asynchronous discrete event systems based on integration of artificial intellect and behavioral discrete event modeling methods. As an example of a relevant topical area the authors of the present article view a section of flexible automated manufacturing systems (FMS - Flexible Manufacturing Systems). The methodological basis of the research involves the logic of predicates of the first and second order, formal description of abstract machines, artificial intellect models and Petri conceptual nets offered for the first time. The novelty of the research is caused by the fact that as a result of their research and based on their conceptual and behavioral model of an asynchronous discrete event system, the authors define formalized directly realizable specifications, for example, typical for further realization of the wireless network system running the flexible production process. The first part of the article demonstrates that semantic networks with events, role and causal connections between objects (scenario networks) may sufficiently present logical, structural and procedural paradigm of intelligent systems including the system of situational management. The authors have also formalized the process of building scenario models based on conceptual graphs which allows to use the aforesaid models as part of expert simulation models of the situation management system. They demonstrate that a conceptual presentation of scenarios allows a natural transfer towards building the knowledge bases based on the relational approach which improves the performance function that makes changes to the conceptual model and knowledge base (for example, when the topical area is changed). Demands for the knowledge base built on the basis of the conceptual graph may be formalized in the language of abstract machine networks which simplifies further design of a human-computer interface of the intelligence system based on famous languages like C++, C#, SQL, Visual Prolog, etc.


Keywords:

intelligent systems, semantic networks, scenarios, conceptual graphs, role relations, casual relations, robot-based manufacturing, relational database, requests, abstract machines

Концептуальные и поведенческие модели нашли широкое применения в экспертно-имитационном моделировании дискретно-событийных систем различной природы. Согласно одному из распространенных определений [1], концептуальная модель – это “абстрактная модель предметной области, состоящая из множества понятий и связей между ними, классифицированных по типам и ситуациям свойств и характеристик, являющихся смысловой структурой (описанием) рассматриваемой предметной области, содержит необходимые для достижения цели моделирования причинно-следственные связи, присущие системе”. Данное определение предполагает использование как неформализованного, так и формализованного описания предметной области. Формализация концептуальных знаний о проблемной области является сложной проблемой и может быть основана на представлении знаний в системах искусственного интеллекта [2].

Для представления основных парадигм искусственного интеллекта, таких как логической, структурной и процедурной используются логические, сетевые и продукционные модели. К сетевым моделям относятся семантические сети и сети фреймов. Сценарии можно отнести к некоторым разновидностям семантических сетей и сетей фреймов с ролевыми отношениями, дополненных событиями и причинно-следственными отношениями между событиями и объектами [3].

Сценарием обычно называют формализованное представление совокупности взаимосвязанных фактов, определяющих смену ситуаций какой-либо предметной области. Знания о ситуациях реального мира, представленные в экспертных системах и системах ситуационного управления, помогают восстанавливать информацию, неточно представленную или утраченную при описании ситуаций, устанавливать закономерности в смысле ситуаций и зависимости одних ситуаций от других, предсказывать появление новых ситуаций. При помощи сценарных моделей возможно представлять проблемно-зависимые каузальные знания о событиях, действиях и процедурах, происходящих в предметной области [4, 5, 6].

Целью настоящей работы является формализация процесса построения и анализа сценарных моделей при учете логической, сетевой и продукционной компонент модели представления знаний о предметной области. Для достижения этой цели необходимо осуществить переход от концептуальной модели сценария к его представлению в реляционной базе данных и возможному дальнейшему использованию в составе экспертно-имитационной модели системы ситуационного управления. При представлении сценариев будут использоваться как традиционные модели представления знаний – семантические сети с событиями и причинно-следственными, или каузальными, связями между ними, концептуальные графы и новые модели, основанные на формализме сетей абстрактных машин [7, 8]. В отличие от моделей в [9, 10, 11], рассматриваемые в части I настоящей работы концептуальные модели близки к инфологическим моделям.

1. Описание предметной области и постановка задачи

на содержательном уровне

В качестве примера подходящей предметной области рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Применяемые на различных участках ГАП промышленные роботы (роботы-манипуляторы, робокары, погрузчики-робокары, роботы-погрузчики, складские роботы-штабелеры и др.) различаются по специализации, грузоподъемности, возможностям передвижения, способам установки на рабочем месте, адаптивности к окружающей среде, видам управления, способам программирования. Управляющие программы для роботов с программным управлением реализуют различные алгоритмы для исполнительных устройств, связанные с выполнением функций робота и позволяющие ему преодолевать различные препятствия в работе [9, 10, 11].

Промышленная мобильная связь, сокращенно ПМС (IMC – Industrial Mobile Communication), обеспечивающая возможность обмена данными через беспроводные каналы связи сетей, позволяет использовать для управления промышленными роботами различные радиосети, например, WLAN, GSM, GPRS, UMTS; она охватывает программные и аппаратные компоненты [12].

Рассмотрим представление знаний на содержательном уровне в виде следующего предложения, несколько модифицируя и комбинируя соответствующие фразы из работ [9, 10]: «Автомат подает партию заготовок на станок (точнее, в подающий накопитель – часть станка), затем партия деталей обрабатывается по одной детали и оказывается в выходном накопителе станка, откуда их забирает первый робот-манипулятор, который упаковывает партию деталей в кассету. Затем второй робот-погрузчик грузит кассеты с деталями на робокар (число кассет, размещаемых на робокаре, ограничено), который перевозит их на склад. На складе, в зависимости от некоторого условия α робот-штабелер помещает кассеты в ячейки (при α = true) или же, при наличии транспорта (при α = false), третий робот упаковывает имеющиеся кассеты в контейнер (объем контейнера ограничен), который по заполнении грузится роботом-автопогрузчиком на грузовой автомобиль по его прибытии».

Построение похожих моделей для данной предметной области рассматривались, например, в работах [13, 14]. Однако в работе [13] построена только семантическая сеть, без учета каузальных связей. Для выполнения запросов здесь рекомендовано осуществлять поиск изоморфных графам запросов подграфов семантической сети, что приводит к большому объему переборов. В работе [14] рассмотрена программная реализация процесса управления участком ГАП как системой массового обслуживания с очередями, а не с позиций систем искусственного интеллекта.

2. Концептуальный граф для модели роботизированного

производства и его контекстное представление

Сценарий, или сценарную сеть, работы участка ГАП возможно представить в виде семантической сети с событиями, ролевыми и причинно-следственными (каузальными) связями между объектами. Для этой сети определены следующие множества концептов и отношений:

– множество концептов-событий (фактов):

F = {F0, F1, F2, F3, F4, F5, F6, F7, F8, F9},

имеющих, соответственно, следующие названия (имена):

XN = {Подача, Обработка, Упаковка_1, Погрузка_1, Перевозка, Размещение, Упаковка_2, Погрузка_2, Местонахождение_1, Местонахождение_2};

– множество R всех отношений:

R = {Имя, Агент, Объект, Место, След, Возм_след};

– множество 1 ролевых отношений, то есть отношений без отношений следования (След) и возможного следования (Возм_след):

R1 = {Имя, Агент, Объект, Место};

– множество X всех концептов, включая все концепты-события из множества F и имена (названия) этих событий из множества XN;

– множество 22_01 концептов модели без концептов-событий;

– множество 3 концептов, обозначающих физические объекты.

Концептуальное представление (основная часть концептуального графа C) сценария работы участка ГАП приведено на рис. 1.

Здесь прямоугольниками представлены концепты – концепты-объекты и концепты-события, а овалами – отношения между некоторыми концептами. Причинно-следственные (каузальные) связи между событиями представлены бинарным отношением След. Так, истинность высказывания След(Fi, Fj), где След – одноименный отношению бинарный предикатный символ, означает, что вслед за событием Fi выполняется событие Fj. В овале, связывающем в концептуальном графе концепты-события F4 и F5, может быть записана формула α&След(F4, F5), а в овале, связывающем концепты-события F4 и F6, может быть записана формула `not` α&След(F4, F6), то есть первая связь реализуется при α = true, а вторая – при α = false. Однако в целях упрощения последующего анализа концептуального графа и представления его в реляционной базе данных в обоих случаях введем отношение “возможного следования” Возм_след, имя которого проставлено в обоих овалах.

На рис. 2 представлен подграф концептуального графа C с отношением одновременности Одновр между событиями F8, F9 и остальными событиями.

При построении концептуального графа C использовался распространенный в мировой практике редактор CharGer [15], позволяющий представить граф в виде XML-файла. Такое представление позволяет осуществить в дальнейшем автоматический переход от концептуального графа к отношениям реляционной базы данных. Полученные отношения, представленные таблицами 1 – 7, используются далее при анализе сценария, представленного концептуальным графом C на рис. 1 и 2.

3. Логика запросов и сети абстрактных машин

Далее будут использоваться логико-алгебраические выражения для абстрактных модулей, выполняющих запросы к базе знаний, сформированной на основании концептуального представления модели роботизированного производства. При построении логико-алгебраических выражений для модулей сети абстрактных машин, детально рассмотренных в работах [7, 8], использованы некоторые элементы нотации из алгебры алгоритмов В. М. Глушкова [14]. Например, выражение [α](m1`vv` m2), где α – некоторое условие, а m1 и m2 – выражения для модулей абстрактных машин, соответствует тернарной операции α-дизъюнкции, когда при α = true выполняется модуль m1, а при α = false выполняется модуль m2. Одним из модулей в приведенном выражении может быть пустой (“тождественный”) оператор E, не выполняющий никаких действий. Выражения m1 и m2 могут, в свою очередь, содержать другие α-дизъюнкции. Запятыми в выражениях для абстрактных модулей разделяются последовательно выполняемые действия.

Построение сетей из абстрактных модулей, составляющих основу концептуальных моделей, строится на логике предикатов первого и второго порядков. В логике предикатов первого порядка используется четыре типа выражений: константы, служащие именами индивидуумов (объектов, людей, событий); переменные, обозначающие имена совокупностей; предикатные имена, задающие правила соединения констант и переменных; функциональные имена, представляющие такие же правила, как и предикаты, для отношений, имеющих функциональный характер [16].

Рис. 1. Концептуальный граф C сценария роботизированного производства

(основная часть)

Рис. 2. Подграф концептуального графа C сценария роботизированного

производства с отношением одновременного выполнения событий

Таблица 1 – Имя

Факт

Имя

F0

Подача

F1

Обработка

F2

Упаковка_1

F3

Погрузка_1

F4

Перевозка

F5

Размещение

F6

Упаковка_2

F7

Погрузка_2

F8

Местонахождение_1

F9

Местонахождение_2

Таблица 2 - Агент

Факт

Агент

F0

Автомат

F1

Станок

F2

Робот_1

F3

Робот_2

F4

Робокар

F5

Штабелер

F6

Робот_3

F7

Автопогрузчик

F8

F9

Таблица 3 - Объект

Факт

Объект

F0

Заготовка

F1

Деталь

F2

Деталь

F3

Кассета

F4

Кассета

F5

Кассета

F6

Кассета

F7

Контейнер

F8

Деталь

F9

Ячейка

Таблица 4 - Место

Факт

Место

F0

Станок

F1

Станок

F2

Кассета

F3

Робокар

F4

Склад

F5

Ячейка

F6

Контейнер

F7

Автомобиль

F8

Кассета

F9

Склад

Таблица 5 - След

Факт_1

Факт_2

F0

F1

F1

F2

F2

F3

F3

F4

F6

F7

Таблица 6 – Возм­_след

Факт_1

Факт_2

F4

F5

F4

F6

Таблица 7 - Одновр

Факт_1

Факт_2

F8

F2

F8

F3

F8

F4

F8

F5

F8

F6

F8

F7

F8

F9

F2

F8

F3

F8

F4

F8

F5

F8

F6

F8

F7

F8

F9

F8

F9

F0

F9

F1

F9

F2

F9

F3

F9

F4

F9

F5

F9

F6

F9

F7

F0

F9

F1

F9

F2

F9

F3

F9

F4

F9

F5

F9

F6

F9

F7

F9

В логике второго порядка, применение которой при построении сетей абстрактных машин предложено в работах [7, 8], дополнительно используются предикатные и функциональные переменные. Необходимые сведения о логиках второго и высших порядков даны в работах [17-20]. Несмотря на неполноту, характерную также и для теории множеств, выразительные возможности логики второго порядка богаче выразительных возможностей логики первого порядка. В настоящей работе рассмотрены такие логические модели, которые допускают простую переинтерпретацию логики второго порядка в многосортную первопорядковую логику, обладающую полнотой.

В абстрактных модулях используются специальные операции – элементарные обновления функций и предикатов. Элементарные правила обновления функций или предикатов записывается в виде правил вывода следующего вида:

,

где – термы различных сортов, а s – функциональный или предикатный символ. В случае, если s – функциональный символ, – суть терм любого сорта, а если s – предикатный символ, то – булево выражение. Отметим, что подобные правила активно используются в теории машин абстрактных состояний Ю. Гуревича [21]. В модулях абстрактных машин второго порядка s может быть предикатной или функциональной переменной [7, 8]. Дополнительно отметим, что символ двойной стрелки “`lArr`”, используемый вместо символа обычной стрелки “←”, означает множественное обновление предиката или функции.

При построении выражений для абстрактных модулей возможно использование определенных в работах [7, 8] “квантифицированных” операторов выборки `EE` Sel_any, `EE` Sel_one, `AA` Sel и `AA` Sel _all кортежей из отношений при условии истинности выражений справа от данных операторов. При выполнении оператора `EE` Sel_any в области истинности предиката, описываемого выражением справа, отмечается произвольный кортеж. При выполнении оператора `EE` Sel_one отмечается единственный кортеж, находящийся в области истинности записанного справа предиката. При выполнении оператора `AA` Sel отмечаются все кортежи, составляющие область истинности соответствующего предиката. Оператор `AA` Sel_all позволяет отметить все кортежи из области истинности предиката в случае, если его область определения совпадает с его же областью истинности. Во всех случаях подразумевается, что предикат описывается выражением, стоящим справа от символа квантифицированного оператора. Описанные операторы не модифицируют области истинности предикатов, а только выделяют некоторые кортежи в этих областях. Дальнейшие действия, связанные с модификацией предикатов и функций реализуются при помощи описанных выше помощи правил обновления, заключенных в круглые скобки и, возможно, сгруппированных в блоки, ограниченные фигурными скобками.

Каждому из описанных квантифицированных операторов, в случае его использования в условной части выражения (в квадратных скобках) для модуля, ставится в соответствие элементарное логическое условие, истинное в случае успешного выполнения оператора и ложное в противном случае. Данный факт отмечается подчеркиванием оператора снизу. Поскольку такой способ образования элементарного логического условия применяется только для формирования условного выражения, заключенного в квадратные скобки, символ подчеркивания в квадратных скобках можно опускать.

Отличительной особенностью используемого формализма является расширение его логических возможностей за счет использования логики второго порядка, что дает возможность использования не только предметных, но и предикатных и функциональных переменных и упрощение описания и выполнения модулей запросов.

4. Примеры запросов к базе знаний в виде выражений для модулей

сети абстрактных машин

Ниже представлены примеры выражений для абстрактных модулей, выполняющих запросы к базе знаний, сформированной на основании концептуального представления модели роботизированного производства. Выполнение подобных запросов позволяет получить недостающую информацию, то есть пополнить экспертные знания о предметной области в процессе проектирования. На рис. 3 представлена основная часть концептуального графа C с некоторыми неизвестными клиенту экспертной системы концептами и отношениями. Выполнении всех запросов производится с использованием таблиц 1 – 7.

1. Какие ролевые отношения связывают событие F7 с концептами Погрузка_2, Автопогрузчик, Контейнер и Автомобиль?

При построении запроса на языке сетей абстрактных машин, основанного на логике предикатов первого и второго порядков, определены предикатная переменная r `in` R и унарный предикат Роль_ответ(r) для отображения результата поиска по отношениям и концептам графа. Ответ на указанный запрос может быть получен при реализации модулями запросов следующих выражений:

[(`AA` Selr `in` R) r(F7, Погрузка_2)]( Роль_ответ(r) `lArr` true `vv` E);

[( `AA` Sel r `in` R) r(F7, Автопогрузчик)]( Роль_ответ(r) ` lArr ` true `vv` E);

[( `AA` Sel r `in` R) r(F7, Контейнер)]( Роль_ответ(r) `lArr` true `vv` E);

[(`AA` Sel r `in` R) r(F7, Автомобиль)]( Роль_ответ(r) `lArr` true `vv` E).

В результате выполнения данных запросов переменная r будет принимать значения в множестве отношений {Имя, Агент, Объект, Место}. Использование предикатной переменной r означает применения логики предикатов второго порядка.

В приведенных выражениях использован квантифицированный оператор выбора `AA` Sel (а не оператор `EE` Sel_one или оператор `EE` Sel_any), поскольку некоторые концепты-события в концептуальной модели могли быть связаны с концептами-объектами несколькими отношениями; например, концепт-событие F1 Обработка связано с концептом-объектом Станок отношениями Место и Агент, то есть станок является и агентом, поскольку производит обработку деталей, и местом, на котором размещаются детали при обработке. Так как в общем случае для всего графа при этом оператор `AA` Sel находит, возможно, не единственное значение предикатной переменной r, то используемый символ “`lArr`” означает возможное множественное обновление, или модификацию, предиката Роль_ответ(r). Например, в результате выполнения запроса

[(`AA` Sel r `in` R) r(F1, Станок)]( Роль_ответ(r) `lArr` true `vv` E)

будут истинны высказывания Роль_ответ(Агент) и Роль_ответ(Место).

2. Какие несобытийные концепты связаны с реализацией события F0?

В случае, когда клиенту экспертной системы известно, что все отношения, представленные концептуальным графом, имеют функциональный характер, выражения для модулей запросов имеют следующий вид:

[(`EE` Sel_one x `in` X1) Имя(F0, x)](Концепт_ответ(x) ← true `vv` E);

[(`EE` Sel_one x `in` X1) Агент(F0, x)](Концепт_ответ(x) ← true `vv` E);

[(`EE` Sel_one x `in` X1) Объект(F0, x)](Концепт_ответ(x) ← true `vv` E);

[(`EE` Sel_one x `in` X1) Место(F0, x)](Концепт_ответ(x) ← true `vv` E).

В результате выполнения этих запросов будет определен унарный предикат Концепт_ответ(x), область истинности которого составят искомые концепты {Подача, Автомат, Заготовка, Станок}.

Другой вариант решения возможен на основе использования характеристической функции (унарного предиката) QR1(r), определенной для множества отношений R1. Более компактное представление запроса, заменяющее приведенные выше четыре выражения для запросов к базе знаний тогда можно представить в следующем виде:

[(`AA` All r `in` R1) QR1(r)]([(`EE` Sel_one x `in` X1) r(F0, x)]

(Концепт_ответ(x) `lArr` true `vv` E) `vv` E).

Построение данного выражения основано на логике предикатов второго порядка. Здесь при выполнении квантифицированного оператора (`AA` All r `in` R1) QR1(r) выбираются все значения предикатной переменной r, поскольку область определения предиката QR1(r) совпадает с областью его истинности. Эти значения затем учитываются при дальнейшем выполнении квантифицированного оператора (`EE` Sel_one x `in` X1) r(F0, x). Таким образом, выполнение множественного обновления предиката

Концепт_ответ(x) `lArr` true

будет эквивалентно выполнению множества одиночных обновлений того же самого предиката:

{Концепт_ответ(Подача) ← true, Концепт_ответ(Автомат) ← true,

Концепт_ответ(Заготовка) ← true, Концепт_ответ(Станок) ← true}.

Рис. 3. Основная часть концептуального графа C с некоторыми неизвестными

концептами и отношениями

В случае, когда пользователь экспертной системы не уверен в функциональности ролевых отношений, в выражениях для запросов оператор `EE` Sel_one следует заменить на `AA` Sel и использовать далее операцию “`lArr`” множественного обновления предиката Концепт_ответ(x):

[(`AA` All r `in` R1) QR1(r)]([(`AA`Selx `in` X1) r(F0, x)]

(Концепт_ответ(x) `lArr` true `vv` E) `vv` E).

3. Определить концепты-события, необходимо следующие за событием F2.

Выполнение следующего выражения для запроса позволит получить ответ на заданный вопрос:

[(`AA`Selx `in` F) След(F2, x)](След_ответ(x) `lArr` true `vv` E).

При составлении выражения предполагалось, что пользователю неизвестно, возможно ли распараллеливание процесса смены событий при выполнении сценария действий. Например, возможен был бы случай, когда за событием F2 необходимо следует несколько событий, то есть в таком случае отношение След не имеет функционального характера. В случае, когда известно, что для события F2 (как и в рассматриваемом примере сценария) имеется лишь одно последующее событие, выражение для запроса можно было бы заменить следующим выражением, применение которого даст тот же ответ – единственное событие F3:

[(`EE`Sel_one x `in` F) След(F2, x)](След_ответ(x) ← true `vv` E).

4. Определить концепты-события, возможно следующие за событием F4.

Исследователь сценария может предполагать, что непосредственно после или при выполнении события F4 формируется одно или несколько условий, определяющих возможные дальнейшие события. Запрос в данном случае может быть описан следующим выражением:

[(`AA`Selx `in` F) Возм_след(F4, x)](Возм_след_ответ(x) `lArr` true `vv` E).

Для рассматриваемого сценария после выполнения данного запроса область истинности предиката Возм_след_ответ(x) будет содержать два события – F5 и F6.

5. Какое отношение связывает концепты-события F4 и F5? Другой вариант вопроса: «Возможно ли следование события F5 непосредственно после события F4?».

[(`EE`Sel_one r `in` {След, Возм_след}) r(F4, F5)]

(Отношение_ответ(r) ← true `vv` E).

В результате применения подобного запроса к базе знаний рассматриваемого примера будет истинно высказывание Отношение_ответ(Возм_след), означающее, что события F4 и F5 связывает отношение непосредственного следования, или что возможно следование события F5 непосредственно после события F4.

6. В каких событиях и в каких ролях участвовал робокар?

[(`AA`All r `in` R1) QR1(r)]([(`AA`Sel x `in` F) r(x, Робокар)]

(Результат_1(x, r) `lArr` true `vv` E) `vv` E).

В результате выполнения данного запроса область истинности бинарного предиката Результат должны содержать кортежи <F3, Место>и <F4, Агент>, то есть должны оказаться истинными высказывания Результат(F3, Место) и Результат(F4, Агент). Это означает, что робокар при выполнении события F3 был местом для размещения кассет, а при выполнении события F4 стал агентом для этих же кассет.

Для того, чтобы узнать названия событий F3 и F4, необходимо выполнить два следующих запроса:

[(`EE`Sel_one y `in` XN) Имя(F3, y)](Имя_события(F3, y) ← true `vv` E);

[(`EE`Sel_one y `in` XN) Имя(F4, y)](Имя_события(F4, y) ← true `vv` E),

в результате чего будут истинны высказывания Имя_события(F3, Погрузка_1) и Имя_события(F4, Перевозка) , утверждающие, что событие F3 – это Погрузка_1, а событие F3Перевозка. Оба отношения имеют функциональный характер, так как символам событий имена присвоены однозначно.

7. Связаны ли события F6 и F7 отношением непосредственного следования?

При поиске ответа на данный вопрос просто проверяется истинность или ложность высказывания След(F6, F7). Для рассматриваемого примера это высказывание истинно.

Приведенные выражения для запросов к базе знаний представляют точные формализованные спецификации для сценариев получения новых знаний о предметной области или уточнения прежних забытых или утраченных знаний. При проектировании человеко-машинного интерфейса интеллектуальной системы возможно использовать известные языки, например, C++, C#, SQL, Visual Prolog. Последние два языка не используют логику второго порядка, поэтому при реализации запросов необходимо просто перечислять отношения, из которых выбираются кортежи.

Заключение

1. Показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (или сценарные сети) могут в достаточно полной степени представлять логическую, структурную и процедурную парадигмы развитых концептуальных моделей дискретно-событийных интеллектуальных систем, в том числе систем ситуационного управления.

2. Формализован процесс построения сценарных моделей на основе концептуальных графов, что позволило использовать указанные модели в составе экспертно-имитационных моделей систем ситуационного управления.

3. Концептуальное представление сценариев позволяет естественным образом автоматизировать переход к построению базы знаний на основе реляционного подхода, что позволяет повысить оперативность внесения изменений в концептуальную модель и базу знаний (например, при изменениях в предметной области).

4. Запросы к базе знаний, построенной на основе концептуального графа, могут быть формализованы на языке сетей абстрактных машин с использованием логики первого и второго порядков, что упрощает дальнейшее проектирование человеко-машинного интерфейса интеллектуальной системы на базе известных языков типа C++, C#, SQL, Visual Prolog и др.

Библиография
1. Гордеев Л. В. Модель Концептуальная/ Статья в Энциклопедическом Фонде. [Электронный ресурс]. URL: http://www.russika.ru/ef.php?s=5143.
2. Сидоркина И. Г. Системы искусственного интеллекта. – М.: КноРус, 2015. – 245 с.
3. Искусственный интеллект. – В 3-х кн. Кн. 2. Модели и методы: Справочник/ Под ред. Д. А. Поспелова. – М.: Радио и связь, 1990. – 304 с.
4. Литвинцева Л. В. Сценарии // В кн: Искусственный интеллект. – В 3-х кн. Кн. 2. Модели и методы: Справочник/ Под ред. Д. А. Поспелова. – М.: Радио и связь, 1990. – С. 56-59.
5. Кандрашина Е. Ю., Литвинцева Л. В., Поспелов Д. А. Представление знаний о времени и пространстве в интеллектуальных системах. – М.: Наука, 1989. – 328 с.
6. Поспелов Д. А. Ситуационное управление: теория и практика. – М.: Наука, 1986. – 288 с.
7. Зинкин С.А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
8. Зинкин С.А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты ис-пользования) // Известия высших учебных заведений. Поволжский регион. Техни-ческие науки. – 2007. – № 4. – С. 37–50.
9. Tauseef Aized. Flexible Manufacturing System: Hardware Requirements // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 1-16. URL: http://cdn.intechopen.com/pdfs-wm/12118.pdf
10. Filote C., Ciufudean C. Discrete Event Models for Flexible Manufacturing Cells // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 17-38. URL: http://cdn.intechopen.com/pdfs-wm/12119.pdf
11. Rodríguez D. R., Pérez M., Blanco J. M. Improvement in the Optimization of Flexible Manufacturing Cells Modelling with Discrete Event Dynamics Systems: Application to a Real Factory Problem // In: 23rd European Modeling and Simulation Symposium (EMSS 2011) Rome, Italy, 12 – 14 September 2011, pp. 619-625. URL: http://toc.proceedings.com/20411webtoc.pdf
12. Промышленная беспроводная связь: каталог // URL: http://www.electrofid.ru/sites/default/files/pricesandcatalogs/Промышленная%20беспроводная%20связь%20(русск.).pdf
13. Робототехника и гибкие автоматизированные производства. – В 9 кн. Кн. 6. Техни-ческая имитация интеллекта/ В. М. Назаретов, Д. П. Ким; под ред. И. М. Макарова. – М.: Высш. шк., 1986. – 144 с.
14. Многоуровневое структурное проектирование программ. Теоретические основы, инструментарий/ Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян. – М.: Финансы и статистика, 1989. – 208 с.
15. CharGer Manual v3.5b1 2005-11-30, pp. 1–58. [Электронный ресурс]. URL: http://charger.sourceforge.net/.
16. Логический подход к искусственному интеллекту/ Тейз А., Грибомон П., Луи Ж. и др. – М: Мир, 1990. – 432 с.
17. Маркин В. И. Логика предикатов/ В кн. “Новая философская энциклопедия”, в 4-х томах.; Т. 2. – М.: Мысль, 2000.
18. Целищев В. В. Язык математики и цели математического дискурса // Философия науки, № 1(16), 2003. – С. 18-45.
19. Карпенко А. С. Логика на рубеже тысячелетий // Logical Studies. – Электронный журнал, № 5, 2000. – P. 1-50. [Электронный ресурс]. URL: http://www.logic.ru/Russian/LogStud/.
20. Manzano M. Extentions of the First Logic. Cambridge Tracts in Theoretical Computer Science. – Cambridge, Cambridge University Press, 1996. – 410 c.
21. Gurevich Y. Abstract State Machines: An Overview of the Project // Foundations of In-formation and Knowledge Systems. Lect. Notes Comput. Sci. 2004. Vol. 2942. – P. 6-13.
References
1. Gordeev L. V. Model' Kontseptual'naya/ Stat'ya v Entsiklopedicheskom Fonde. [Elektronnyi resurs]. URL: http://www.russika.ru/ef.php?s=5143.
2. Sidorkina I. G. Sistemy iskusstvennogo intellekta. – M.: KnoRus, 2015. – 245 s.
3. Iskusstvennyi intellekt. – V 3-kh kn. Kn. 2. Modeli i metody: Spravochnik/ Pod red. D. A. Pospelova. – M.: Radio i svyaz', 1990. – 304 s.
4. Litvintseva L. V. Stsenarii // V kn: Iskusstvennyi intellekt. – V 3-kh kn. Kn. 2. Modeli i metody: Spravochnik/ Pod red. D. A. Pospelova. – M.: Radio i svyaz', 1990. – S. 56-59.
5. Kandrashina E. Yu., Litvintseva L. V., Pospelov D. A. Predstavlenie znanii o vremeni i prostranstve v intellektual'nykh sistemakh. – M.: Nauka, 1989. – 328 s.
6. Pospelov D. A. Situatsionnoe upravlenie: teoriya i praktika. – M.: Nauka, 1986. – 288 s.
7. Zinkin S.A. Seti abstraktnykh mashin vysshikh poryadkov v proektirovanii sistem i setei khraneniya i obrabotki dannykh (bazovyi formalizm i ego rasshireniya) // Izvestiya vysshikh uchebnykh zavedenii. Povolzhskii region. Tekhnicheskie nauki. – 2007. – № 3. – S. 13–22.
8. Zinkin S.A. Seti abstraktnykh mashin vysshikh poryadkov v proektirovanii sistem i setei khraneniya i obrabotki dannykh (mekhanizmy interpretatsii i varianty is-pol'zovaniya) // Izvestiya vysshikh uchebnykh zavedenii. Povolzhskii region. Tekhni-cheskie nauki. – 2007. – № 4. – S. 37–50.
9. Tauseef Aized. Flexible Manufacturing System: Hardware Requirements // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 1-16. URL: http://cdn.intechopen.com/pdfs-wm/12118.pdf
10. Filote C., Ciufudean C. Discrete Event Models for Flexible Manufacturing Cells // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 17-38. URL: http://cdn.intechopen.com/pdfs-wm/12119.pdf
11. Rodríguez D. R., Pérez M., Blanco J. M. Improvement in the Optimization of Flexible Manufacturing Cells Modelling with Discrete Event Dynamics Systems: Application to a Real Factory Problem // In: 23rd European Modeling and Simulation Symposium (EMSS 2011) Rome, Italy, 12 – 14 September 2011, pp. 619-625. URL: http://toc.proceedings.com/20411webtoc.pdf
12. Promyshlennaya besprovodnaya svyaz': katalog // URL: http://www.electrofid.ru/sites/default/files/pricesandcatalogs/Promyshlennaya%20besprovodnaya%20svyaz'%20(russk.).pdf
13. Robototekhnika i gibkie avtomatizirovannye proizvodstva. – V 9 kn. Kn. 6. Tekhni-cheskaya imitatsiya intellekta/ V. M. Nazaretov, D. P. Kim; pod red. I. M. Makarova. – M.: Vyssh. shk., 1986. – 144 s.
14. Mnogourovnevoe strukturnoe proektirovanie programm. Teoreticheskie osnovy, instrumentarii/ E. L. Yushchenko, G. E. Tseitlin, V. P. Gritsai, T. K. Terzyan. – M.: Finansy i statistika, 1989. – 208 s.
15. CharGer Manual v3.5b1 2005-11-30, pp. 1–58. [Elektronnyi resurs]. URL: http://charger.sourceforge.net/.
16. Logicheskii podkhod k iskusstvennomu intellektu/ Teiz A., Gribomon P., Lui Zh. i dr. – M: Mir, 1990. – 432 s.
17. Markin V. I. Logika predikatov/ V kn. “Novaya filosofskaya entsiklopediya”, v 4-kh tomakh.; T. 2. – M.: Mysl', 2000.
18. Tselishchev V. V. Yazyk matematiki i tseli matematicheskogo diskursa // Filosofiya nauki, № 1(16), 2003. – S. 18-45.
19. Karpenko A. S. Logika na rubezhe tysyacheletii // Logical Studies. – Elektronnyi zhurnal, № 5, 2000. – P. 1-50. [Elektronnyi resurs]. URL: http://www.logic.ru/Russian/LogStud/.
20. Manzano M. Extentions of the First Logic. Cambridge Tracts in Theoretical Computer Science. – Cambridge, Cambridge University Press, 1996. – 410 c.
21. Gurevich Y. Abstract State Machines: An Overview of the Project // Foundations of In-formation and Knowledge Systems. Lect. Notes Comput. Sci. 2004. Vol. 2942. – P. 6-13.