ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
160
УДК 004.55
А . Н . А л ф и м ц е в , В . В . Д е в я т к о в
ПРИНЦИПЫ ФОРМАЛИЗАЦИИ МЕТОДОЛОГИИ
ДЕТЕРМИНИРОВАННОГО ПРОЕКТИРОВАНИЯ
ИНТЕЛЛЕКТУАЛЬНОГО МУЛЬТИМОДАЛЬНОГО
ИНТЕРФЕЙСА
Эта проблема требует решения ряда непростых задач. Предложен
новый подход к решению задач проектирования интеллектуальных
мультимодальных интерфейсов, базирующийся на алгебре процессов,
развиваемой на протяжении многих лет различными коллективами
исследователей.
E-mail:
alfim@bmstu.ru
, deviat
k
ov@iu3.bmstu.ru
Ключевые слова:
интеллектуальный мультимодальный интер-
фейс, процесс, регулярные выражения, операторные схемы па-
раллельных алгоритмов, процессные исчисления.
Интеллектуальный мультимодальный интерфейс
(
ИМИ) – поль-
зовательский интерфейс, предоставляющий пользователям возмож-
ность взаимодействия адекватно их модальностям, распознавать раз-
личные ситуации для достижения своих целей, создавать модели
поведения пользователей и среды, в которой он функционирует, мо-
дифицировать модели поведения в соответствии с текущим состоя-
нием пользователей и среды [1].
Создание ИМИ – непростая задача. При этом актуальным являет-
ся формализация процесса создания, которую можно взять за основу
автоматизированного проектирования ИМИ. Любая формализация
предполагает использование формальных моделей. В теории и прак-
тике искусственного интеллекта разработан ряд методологий, кото-
рые рассчитаны именно на интеллектуальное взаимодействие [2] –
это мультиагентные системы (МАС) [3–8], в которых проектирова-
нию взаимодействия агентов отводится основная роль. В частности, в
методологии работы [4] используется язык моделирования UML. В
работе [9], посвященной методологии проектирования ИМИ, также
используется язык UML. Все эти методологии не являются формали-
зованными.
В связи с возрастающей сложностью интеллектуальных мульти-
модальных интерфейсов активно развиваются автоматизированные
методологии проектирования интерфейсов [11–13], базирующиеся на
использовании формальных моделей проектирования. В основу ав-
томатизации проектирования процессов функционирования челове-
ко-машинных систем работы [11] положены вероятностные и нечет-