June 13th, 2007

2019

Агенты -- это та же праксиология, только в паре с инженерией

1. Однако, я давно следил за предметной областью агент-ориентированного программирования, но больше с точки зрения software engineering, knowledge engineering, AI и т.д. -- то есть обращал внимание на лапки и хвостик у слона. Слона не замечал. А слоном являются тут прямые философские и методологические попытки моделировать/описывать человеческую деятельность (в том числе -- коллективную). Теоретическое рассуждение -- оно об убеждениях человека, а практическое рассуждение -- оно о деятельности. "Агентский проект" как раз про теории о практике. По определению совершенно совпадает с праксиологией -- наукой об (эффективной) человеческой деятельности, только кроме науки там есть еще и софтовая инженерия. Но ее можно игнорировать (ровно как я делал до сегодняшнего дня, но наоборот -- только на инженерию в этом "агентском проекте" и обращал внимание).

2. В агентских методологиях и архитектурах нужно обеими ладошками черпать язык, в котором четко прописаны типовые различалки. Скажем, различалка liveness properties и safety properties (Pnueli, 1986) aka задания на "что-то хорошее" против соблюдения "ничего плохого". Это ведь та же "цель" и "ограничения" с соответствующей дискуссией, что "ограничения не нужно перевыполнять"! Паттерны, они и есть паттерны: все новое на свете -- это хорошо переименованное старое.

3. Великий и могучий категорически бессилен выразить агентскую (читай -- методологическую, философскую, праксеологическую) предметную область без каких-то титанических усилий. Вот как вы разведете в переводе deliberation и means-ends reasoning, да еще нагруженные специальными значениями? Intentions и goals? Там же тысяча и один оттенок смысла! Ладно, state of affairs вполне адекватно переводить устоявшимся уже "ситуация", и на том спасибо. Поэтому придется делать художественный перевод пересказ перепев с английского философски-айтишного на русский корпоративный.

4. Начинать разглядывать всего слона оказалось особенно удобно с учебника Michael Wooldridge "An Introduction to MultiAgent Systems", 2001 год. Учебник хорош тем, что сосредотачивает внимание не только на отдельных органах слона, но и на целом (так, популярно объясняется, почему AI является частью "агентского проекта", а не наоборот". Выкачивается программой eMule на раз, особенно рекомендую формат .djvu (впрочем, тамошний .pdf -- это то же самое).

5. А кроме Wooldridge в Сети полно работ Daniel Dennett -- http://en.wikipedia.org/wiki/Daniel_Dennett, который до того, как увлечься эволюцией, довольно много наследил в философских основаниях агентских моделей (а именно -- подробно разбирался с теорией человеческих намерений, intentions. Которые тщательно отделял от goals, desires, plans, beliefs). Впрочем, про модель BDI (belief, desire, intentions), основу которой составляет планирование как таковое, я уже писал.

6. Аппетитные модельки там, однако! Вот, скажем, Gaia -- в которой организация задается как набор ролей, каждая из которых характеризуется четырьмя атрибутами: ответственностью (чего достигать, чего избегать), полномочиями (правами на доступ и другие ресурсы), компетенциями (действиями, которые он в состоянии выполнить самостоятельно) и протоколами (способами взаимодействия с другими ролями).

7. А вот еще примерчик: http://eprints.ecs.soton.ac.uk/2151/01/BCS96.pdf -- система ADEPT (Advanced Decision Environment for Process Tasks) десятилетней давности. Обслуживает workflow для нескольких департаментов British Telecom.

8. Свеженькое состояние дел можно узнать из материалов конференций -- типа 6-й международной конференции по автономным агентам и мультиагентским системам, 14-18 мая 2007г. -- http://aamas2007.org/. После чего через несколько секунд гугления можно выйти на интересующих нас нынешних лидеров, типа Intelligent Coordination and Logistics Laboratory (ICLL) -- http://www.ri.cmu.edu/labs/lab_5.html. Или как вам название одной из acepted papers -- "A Formal Road from Institutional Norms to Organizational Structures", Davide Grossi, Frank Dignum, John-Jules Meyer.

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