7 / 10
Рис. 3. Простой граф переходов
UAC
Рис. 4. Простой граф переходов UAS
пути графа UAC (см. рис. 3), ведущего из начального состояния в
его финальное состояние, на графе UAS (см. рис. 4) — должен суще-
ствовать путь, ведущий из его начального состояния в его финальное
состояние. Каждый переход этой пары путей на графе (см. рис. 3)
должен иметь вид
(
b
1
i
, xs
!
y.vc?
w, b
1
j
)
, а на графе (см. рис. 4) — вид
(
b
2
k
, xs
?
w.vc!
y, b
2
l
)
. Это означает, что переход
(
b
1
i
, xs
!
y.vc?
w, b
1
j
)
из
любого состояния
b
1
i
на графе (см. рис. 3) осуществляется в результате
выдачи в выходной канал
xs
агента UAC реакции
!
y
и последующего
получения во входном канае
vc
восприятия
?
w
. В свою очередь, пере-
ход
(
b
2
k
, xs
?
w.vc!
y, b
2
l
)
из любого состояния
b
1
i
на графе (см. рис. 4)
осуществляется в результате получения в его входном канале
xs
аген-
та UAS воспрятия
?
w
и последующей выдачи в его выходной канал
vc
реакции
!
y
. Единственным отличием от этих условий являются пе-
реходы из начальных состояний и переходы в финальные состояния.
Здесь восприятия являются стартовыми и поступают в специальные
каналы
uac
и
uas
, соответствующих агентов.
В соответствии с предыдущим разделом будем иметь следующую
логическую программу на языке VISUAL PROLOG, позволяющую
проверять простейшее условие правильного окончания для агентов
UAC и UAS, представленных графами на рис. 3 и 4.
domains
f =f(symbol, symbol, symbol, symbol)
list = f*
predicates
nondeterm transition(symbol, list, symbol)
nondeterm accessible(symbol, list, symbol)
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 2 113