АгентГовори
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
| Парадигма | Агент-ориентированное программирование |
|---|---|
| Разработано | Ананд Рао |
| Впервые появился | 1996 год |
| Основные реализации | |
| Джейсон | |
AgentSpeak — агентно-ориентированный язык программирования . Он основан на логическом программировании и архитектуре программной модели убеждений-желаний-намерений (BDI) для ( когнитивных ) автономных агентов . Первоначально язык назывался AgentSpeak(L) , но стал более популярным как AgentSpeak — термин, который также используется для обозначения вариантов исходного языка.
История
[ редактировать ]В 1996 году Ананд Рао создал логический язык программирования агентов на основе архитектуры BDI и назвал его AgentSpeak(L). [1] Эта статья стала широко цитируемой в литературе по многоагентным системам . В своей первоначальной концепции AgentSpeak представлял собой язык программирования абстрактных агентов, призванный помочь понять взаимосвязь между практическими реализациями архитектуры BDI, такими как система процедурных рассуждений (PRS). [2] и формализация идей, лежащих в основе архитектуры BDI, с использованием модальной логики . [3]
Различные авторы внесли свой вклад в дальнейшую формализацию языка AgentSpeak(L). [4] В последние годы язык возродился как в исследованиях, так и в разработках. Что касается исследований, то велась работа как над расширениями AgentSpeak, так и над расширением AgentSpeak. [5] [6] [7] а также по формальной верификации программ AgentSpeak с использованием проверки моделей. [8] [9] Этот язык также является одним из самых популярных агентно-ориентированных языков благодаря развитию платформы Jason.
AgentSpeak(L) также является наиболее известным средством разработки решений для конкурса мультиагентного программирования с начала конкурса до последнего его проведения.
Пример
[ редактировать ]Программа Hello World в AgentSpeak(L), основанная на Джейсоне:
//Belief indicating the message to print.
message("Hello World!").
//Initial goal
!start.
//Plan
+!start: message(M) <-
.print(M). //Internal action from Jason to print a message.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Ананд С. Рао, 1996. AgentSpeak (L): Агенты BDI высказываются на логическом вычислимом языке. Материалы седьмого европейского семинара по моделированию автономных агентов в многоагентном мире (MAAMAW-96).
- ^ Майкл П. Джорджефф, Эми Л. Лански: Реактивное рассуждение и планирование. АААИ 1987: 677–682.
- ^ А.Рао и М.Георгефф. Процедуры принятия решений для логики BDI. Журнал логики и вычислений 8 (3), 293–343 (1998).
- ^ Марк д'Инверно , Майкл Лак : Engineering AgentSpeak (L): формальная вычислительная модель. Дж. Лог. Вычислить. 8(3): 233-260 (1998).
- ^ Р.Х. Бордини, Дж. Ф. Хабнер, М. Вулдридж. Программирование мультиагентных систем в AgentSpeak с использованием Jason . Джон Уайли и сыновья, 2007.
- ^ Рафаэль Х. Бордини, Альваро Ф. Морейра: Доказательство свойств BDI языков агентно-ориентированного программирования. Энн. Математика. Артиф. Интел. 42 (1–3): 197–226 (2004).
- ^ Рената Виейра, Альваро Ф. Морейра, Майкл Вулдридж, Рафаэль Х. Бордини: О формальной семантике речевого общения на агентно-ориентированном языке программирования. Дж. Артиф. Интел. Рез. (ДЖАИР) 29: 221–267 (2007)
- ^ Рафаэль Х. Бордини, Майкл Фишер, Виллем Виссер, Майкл Вулдридж: Проверка моделей рациональных агентов. Интеллектуальные системы IEEE 19(5): 46–52 (2004).
- ^ Рафаэль Х. Бордини, Майкл Фишер, Виллем Виссер, Майкл Вулдридж: Проверка многоагентных программ путем проверки модели. Автономные агенты и мультиагентные системы 12 (2): 239–256 (2006).
Внешние ссылки
[ редактировать ]- AgentSpeak на SourceForge — это интерпретатор расширения AgentSpeak.