12 / 23
76
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3
щей статьи генерация всех макросостояний потребует слишком много
места, поэтому покажем только два шага такой генерации:
(
(
)
(
))
,
(
(
)
(
))
-
(
(
))
-
-
-
(
(
)
,
,
)
Получить
2
Приглашение
Поместить
2
И Поместить И1Р открыт
И1 Готов
И1 Приглаше
И Получить РИ1 приглашен
И1Р открыт И Р открыт
РИ1 приглашение РИ приглашение
1
1
ие
Подготовка:
И1-Подготовка:
Готовность
,
-
(
(
))
-
-
-
(
(
))
н
И 2 Поместить И 2Р открыт
И 2 Готов
И 2 Приглашен
И 2 Получить РИ 2 приглашение
И2-Подготовка:
(
(
)
(
))
(
(
))
(
(
,
))
(
(
)
(
))
,
-
Получить
И1-Поместить И1Р открыт
И2-Помест
И1Р открыт И2Р открыт
РИ1 приглаше
ить И2Р о
ние РИ2 п
ткрыт
Поме
риглашени
стить
е
И1-
Подготовка И1-Подготовка И2 Подготовка :
Готовность И1- Готов И2- Готов
(
(
))
(
(
))
Получить РИ1 приглашение
И2-Получить РИ2 приглашение
Приглашение
И1-Приглашен И1-Приглашен
(
(
)
(
)
,
)
,
(
(
(
))
(
(
))
(
)
,
)
РИ1 приглашение РИ2 приглашение
И1Р приглашение И2Р приглаш
Поместить
Приглашение
Получить
)
И1-Получить РИ1 приглашение
И1-Приглашен
И1-
ение
Поместить И1Р(приглашен
Принятие
И1-
Реакция:
И1-Реакция:
(
(
))
2
(
(
)
)
( 1(
,
)
(
Поместить И2Р приглашен
РИ приглашение РИ2 пр
И2-Получить РИ2 приглашение
И -Приглашен
-
И
и
2-
Поместит
г
ь
Принято
И2 Принято
Приглашение И1 -Приглашен И1 -Приглашен
И2-Реакция:
Реакция И1-Реакция И2 -Реакция:
,
))
(
(
))
2
(
(
))
(
(
)
(
)
(
)
(
)
(
(
)
лашение
2
И Р приглашение И2Р приглашение
Поместить И Р пригла
И1-Получить РИ1 приглашение
И -Получить РИ приглашение
Получить 1
И1-
1
И1-
1
Принят
шен
Поме
ие И1-
стить И Р пр
Притглаше
игла
н И2-Пригла
шен
шен
Очевидно, что для реальных систем большой размерности, включа-
ющих
n
взаимодействующих агентов, каждый из которых связан друг с
другом
m
каналами, число пар наборов восприятий и реакций может быть
оценено величиной
O
(
mn
2
) макросостояний. При больших числах
m
и
n
генерация наборов восприятий и реакций, а также проверка на них требу-
емых свойств интеллектуального интерфейса вручную трудно осуще-
ствима, в связи с чем необходима автоматизация подобной проверки.
Перспективный способ автоматизации — использование логического
программирования, например, на основе языка логического программи-
рования Visual Prolog [9].