44551

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Верификация свойств интеллектуальных интерфейсов в логике тайлов

ISBN/ISSN: 

ISSN 0236-3933

DOI: 

10.18698/0236-3933-2016-3-65-87

Наименование источника: 

  • Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия: Приборостроение

Обозначение и номер тома: 

№3

Город: 

  • Москва

Издательство: 

  • МГТУ им. Н.Э. Баумана

Год издания: 

2016

Страницы: 

65-87
Аннотация
Рассмотрено развитие методики формальной верификации свойств мультимо- дальных интеллектуальных интерфейсов, обеспечивающих естественное инту- итивное взаимодействие информационных систем с человеком. В качестве язы- ка для решения задач формальной верификации интерфейсов выбрана логика тайлов, а в качестве языка для формулировки этих свойств — временнáя мо- дальная логика. Обоснован такой выбор, рассмотрены принципы верификации (доказательства) свойств интерфейсов как проверки правильности взаимодей- ствия агентов в мультиагентной системе.

Библиографическая ссылка: 

Девятков В.В. Верификация свойств интеллектуальных интерфейсов в логике тайлов / Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия: Приборостроение. М.: МГТУ им. Н.Э. Баумана, 2016. №3. С. 65-87.