Основные направления исследований и архитектуры

Основными направлениями научного поиска в области МАС являются:

· теории агентов, которые рассматривают математические методы и формализмы абстрактного представления структуры и свойств агентов и способы построения рассуждений (логических выводов) в таких формальных системах;

· методы коллективного поведения агентов;

· архитектуры агентов и МАС;

· методы, языки и средства коммуникации агентов;

· языки программирования агентов;

· методы и средства автоматизированного проектирования;

· методы и средства обеспечения мобильности агентов.

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

К проблеме описания синтаксиса существует два фундаментальных подхода: применение модальных логик, содержащих не истинностные модальные операторы; применение метаязыков, основанных на многосортной логике первого порядка, содержащей термины, которые определяют формулы некоторого другого объектного языка.

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

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

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

К настоящему времени сложилась традиция выделения трех базовых классов архитектур агентных систем и соответствующих им моделей интеллектуальных агентов: делиберативные архитектуры и модели; реактивные архитектуры и модели; гибридные архитектуры и модели.

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

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

Ø функционировать в следующем цикле: восприятие обстановки (обсервация) – логический вывод – действие …;

Ø принимать решения о действиях на основе некоторых форм логического вывода.

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

Список литературы

1. Андрейчиков А.В. Интеллектуальные информационные системы / А.В. Андрейчиков, О.Н. Андрейчикова. – М.: «Финансы и статистика», 2006. – 424 с.

2. Барский А. Б. Нейронные сети: распознавание, управление, принятие решений. – М.: Финансы и статистика, 2004. – 176 с.

3. Башмаков А.И., Башмаков И.А. Интеллектуальные информационные технологии: Учеб. пособие. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2005. - 304 с.

4. Братко И. Программирование на языке Prolog для искусственного интеллекта. – М.: Мир, 1990.

5. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. – СПб.: Питер, 2000. – 384 с.

6. Карминский A.M., Черников Б.В. Информационные системы в экономике: В 2-х ч. Ч. 1. Методология создания: Учеб. пособие. – М.: Финансы и статистика, 2006. – 336 с.

7. Лисс А.А. Искусственные нейронные сети: Учеб. пособие. СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 2003. – 96 с.

8. Новак В., Перфильева И., Мочкрож И. Математические принципы нечёткой логики. пер с англ. М.: Физматлит, 2006. – 352 с.

9. Рассел Стюарт, Норвиг Питер. Искусственный интеллект: современный подход. – М.: Издательский дом «Вильямс», 2006. – 1408 с.

10. Романов В.П. Интеллектуальные информационные системы в экономике. – М.: Экзамен, 2003. – 496 с.

11. Смирнова Г.Н., Сорокин А.А., Тельнов Ю.Ф. Проектирование экономических информационных систем. – М.: Финансы и статистика, 2003. – 512 с.

12. Смолин Д.В. Введение в искусственный интеллект. – М.: Физматлит, 2004.

13. Хювнен Э., Сеппянен Й. Мир ЛИСПа. Т. 1. Введение в язык ЛИСП и функциональное программирование. – М.: Мир, 1990. – 447 с.

14. Штовба С.Д. Проектирование нечетких систем в среде MATLAB. – М.: Горячая линия – Телеком, 2007. – 284 с.