Агенты, многоагентные системы, виртуальные (стр. 5 )

Механизм возможных миров описывается алгебраически с помощью моделей Крипке (W, R,f), где W - множество возможных миров, R - отношение достижимости, а f: W х L ®{0, 1} - соответствие, устанавливаемое между миром wЄW, пропозициональной константой lÎL и значением истинности из двухэлементного множества {0,1}. Здесь различные свойства отношения R индуцируют различные схемы аксиом модальной логики. Эти свойства могут определяться с помощью специальных встраиваемых предикатов multiWorldsSystem и сanSeeWorlds, предназначенных для выбора наиболее подходящих систем модальной логики и отношений достижимости между мирами. Иными словами, для определения того, какой из миров достижим (т. е. может рассматриваться агентом) необходимо выбрать наиболее удобную систему аксиом модальной логики из T, B, S4 или S5 в соответствии со свойствами рефлексивности и/или симметричности и/или транзитивности отношения достижимости (табл.4).

Для установления определенных отношений между мирами могут служить системы поддержки истинности ATMS, в том числе системы, основанные на модальной логики MTMS (Modal logic based Truth Maintenance System). В таких системах для представления спецификаций агента используется понятие возможных миров в модальной логике (например, система аксиом S4), а понятие достижимости между мирами применяется для описания монотонных переходов. Соответственно, MTMS автоматически порождает граф достижимости (формирует древовидную структуру возможных миров), а также генерирует мир, соответствующий удовлетворяемому в текущий момент подмножеству спецификаций.

Логический язык у П. Коэна и А. Левека, помимо обычных операторов логики первого порядка, включает четыре базовых модальных оператора: Happens, Done, Bel и Goal. Подобные операторы позволяют связать убеждения с действиями и целями во времени. Семантика задается через множество возможных миров, где мир определяется как дискретная последовательность событий, расширяемая в прошлое и в будущее. Два базовых временных оператора Happens и Done определяют последовательность событий, которые произойдут в будущем и последовательность уже произошедших событий. Во временной логике возможные миры представляют состояния некоторого мира в различные моменты его эволюции. Сложные действия строятся с помощью операторов динамической логики. Используются также временные операторы š (всегда), ◊, Later, Before. Семантика операторов Bel и Goal задается отношениями достижимости (по убеждениям и целям) на множестве возможных миров. Принимается допущение о том, что отношение достижимости по целям является подмножеством отношения достижимости по убеждениям.

Таблица 4. Сводка основных систем модальных логик в зависимости от свойств отношения достижимости

Наименование системы аксиом	Свойства отношения достижимости
T	Рефлексивность
B	Рефлексивность, симметричность
S4	Рефлексивность, транзитивность
S5	Рефлексивность, симметричность, транзитивность

Известно немало различных вариантов построения модальных логик для описания интенциональных характеристик агентов [70,83,103,136 и др.].

Так в [103] развивается подход на основе двух модальных операторов Bel и Agree для формализации ментальных характеристик – убеждения (believe) и согласия (agree) – и двух модальных операторов для описания действий Happens (действие произойдет) и Done (действие уже произошло). Предполагается, что мир w в любой момент времени описывается множеством пропозиций, представленных в модальной логике. Задаются также следующие типы действий - предварительные условия, тело действий и последствия. В свою очередь, в [70] строится ситуативная модальная логика на основе четырех модальностей, связанных с убежденностью агента a в своих знаниях: Know (a, p, s), Believes (a, p, s), Kwhether (a, p, s), Doubts (a, p, s), где Оператор (a, p, s) читается как: агент a убежден с некоторым уровнем определенности (знает, уверен, сомневается), что в ситуации s имеет место p. Берутся также три модальности, характеризующие целенаправленное поведение: Want (a, p, s), Indif (a, p, s) и Wantstock (a, p, s).

В свою очередь, для моделирования слабых допущений об агентах, т. е. допущений, которые впоследствии могут изменяться (отбрасываться), естественно использовать немонотонные логики. В немонотонных логиках вводится новый символ А, который означает уверенность в некотором факте при отсутствии противоположного факта. Например, p Þ Aq гласит, что «если высказывание p истинно, то Ар означает, что p согласуется с теорией. Высказывание p называется согласованным, если из него не следует отрицания. Предложение Ap выполняется тогда и только тогда, когда нельзя найти ù p. Так цели агентов считаются несовместимыми, если выполнение цели одного из них ведет к невыполнению цели другого. А именно, цель агента a1 несовместима с целью агента a2, если цели определяются как достижение состояний p и q соответственно, и p½=ùq.

7.4. Лингвистическая школа: коммуникативные акты и модель потоков работ

В контексте построения протоколов коммуникации между программными агентами в сети вначале подробнее остановимся на некоторых результатах лингвистической школы. Коммуникация между агентами может быть основана на теории речевых актов, предложенной Дж. Остином [39] и Дж. Серлем [122] и формализованной Т. Виноградом и Ф. Флоресом [135]. Исходя из идеи о том, что любой разговор преследует некоторую цель, Дж. Серль рассматривает понятие языкового (речевого) акта как минимальную и базисную единицу коммуникации. Анализ всех возможных в данной ситуации речевых актов и определение соответствующих ограничений, зависящих от рассуждений гентов, позволяет составить протокол коммуникации. Речевые акты подразделяются на следующие классы: директивные, ассертивные, промиссивные и экспрессивные. Их моделирование позволяет описать процессы координации в МАС.

Главный компонент процесса координации есть замкнутый контур, называемый «потоком работ» (workflow) [135,64]. Тогда процесс координации в МАС, понимаемый как моделирование сети взаимных обязательств между агентами, направленных на удовлетворение агента-клиента, описывается системой замкнутых контуров потоков работ. Базовый контур в модели потоков работ связывает агента-заказчика с агентом-исполнителем в рамках следующего цикла, состоящего из четырех этапов или потоков: «подготовка - переговоры - выполнение – приемка» (рис.7). На этапе подготовки агент-заказчик направляет запрос (заказ на выполнение работы) агенту-исполнителю. На следующем этапе происходят переговоры, направленные на выработку взаимоприемлемых условий выполнения заказа. Затем агент-исполнитель выполняет работу и окончив ее, докладывает агенту-заказчику о завершении, а на последнем этапе тот принимает или отклоняет работу.

Здесь сеть соглашений (или обязательств) формирует организацию, причем соответствующие коммуникативные акты агентов, образующие протокол коммуникации, определяются возможными речевыми актами, сведенными в табл.5. Адекватная модель подобного протокола – конечный автомат с фиксированным пространством состояний [135] (рис.8). Более подробное и избыточное описание можно построить с использованием сетей Петри [72].

8. ЗАКЛЮЧЕНИЕ

Настоящий обзор посвящен анализу наиболее общих понятий, представлений, концепций и моделей, относящихся к исследованию и разработке агентов и многоагентных систем. За кадром остались столь важные и необходимые аспекты как архитектуры агентов и многоагентных систем, модели планирования и выполнения действий, языки программирования агентов. На русском языке эти и другие вопросы освещены в обзоре с соавторами из Санкт-Петербургского института информатики и автоматизации РАН [8], публикуемом в настоящем номере журнала.

Автор выражает свою благодарность , , и Х. Невешу за поддержку работы и ряд полезных дискуссий по проблематике МАС, а также и за обсуждение на рабочем семинаре в МЭИ возможностей и ограничений неклассических логик в контексте моделирования агентов.

Данная работа выполнена при поддержке Российского фонда фундаментальных исследований (проект N ).

Рис.7. Базовая модель потоков работ

Табл. 5. Протокол коммуникации агентов в модели потоков работ

Этап	Акты агента-заказчика	Акты агента-исполнителя
Подготовка	Сделать заказ Принять предложение	Сделать предложение
Переговоры	Сделать контрпредложение Отклонить контрпредложение Принять контрпредложение	Сделать контрпредложение Отклонить заказ Принять заказ Передать заказ Принять контрпредложение
Выполнение		Выполнить заказ Отказаться от выполнения
Приемка	Принять работу (выразить удовлетворение) Принять работу условно (направить на доработку) Отклонить работу
Любой этап	Отменить заказ Дать комментарии	Дать комментарии

ЛИТЕРАТУРА

1.  , Роящийся интеллект: представления и алгоритмы// Информационные технологии и вычислительные системы. – 1998. – №1. – С.45-53.

2.  , , Головина логика как модель представления знаний в CASE-системе// Известия АН: Техническая кибернетика. – 1993. – № 5. – C.172-185.

3.  Валькман искусственный интеллект и многоагентные системы в исследовательском проектировании сложных объектов// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97,Санкт-Петербург, Россия,15-18 июня 1997). – С.269-279.

4.  Варшавский поведение автоматов. – М.: Наука, 1973.

5.  , Поспелов играет без дирижера. Размышления об эволюции некоторых технических систем и управлении ими. – М.: Наука, 1984.

6.  Городецкий системы: современное состояние исследований и перспективы применения// Новости искусственного интеллекта. – 1996. – №1. – C.44-59.

7.  Городецкий системы: основные свойства и модели координации поведения// Информационные технологии и вычислительные системы. – 1998. – №1. – С.22-34.

8.  , , Хабалов системы (обзор)// Новости искусственного интеллекта. –1998. – №2. –

9.  Горский : модели, свойства, патологии// Гомеостатика живых, технических, социальных и экологических систем. – Новосибирск: Наука (Сибирское отд.), 1990. – С.20-67.

10.  Емельянов модель децентрализованного управления производственными системами // Информационные технологии и вычислительные системы. – 1998. – №1. – С.69-77.

11.  , Об играх автоматов// Автоматика и телемеханика.–1963.– Т.24, №7. – C.975

12.  Лефевр структуры. – М.: Сов. Радио, 1973.

13.  Моисеев рационализм. – М.: МГВП КОКС, 1995.

14.  , Попов бизнеса. – М.: Финансы и статистика, 1997.

15.  Поспелов интеллект – основа новой информационной технологии.– М.: Наука, 1988.

16.  От коллектива автоматов к мультиагентным системам // Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, Россия, 15-18 июня 1997). – С.319-325.

17.  Поспелов системы – настоящее и будущее // Информационные технологии и вычислительные системы. – 1998. – №1. – С.14-21.

18.  , Пушкин и автоматы. – М.: Сов. Радио, 1972.

19.  , Шустер поведение в мире людей и машин.–Кишинев: Штиинца, 1990.

20.  Пэранек искусственный интеллект// Искусственный интеллект: применение в интегрированных производственных системах/ Под. ред. Э. Кьюсиака. – М.: Машиностроение, 1991.–С.238-267.

21.  , Шереметов технология проектирования сложных систем// Автоматизация проектирования. – 1998. – №3.

22.  Стефанюк коллективного поведения двух автоматов// Автоматика и телемеханика.– 1963. – Т.24, №6. – C.781-784.

23.  Стефанюк целесообразности локально организованных систем методом потоков вероятностей// Модели систем обработки данных. – М.: Наука, 1989. – С.33-45.

24.  От многоагентных систем к коллективному поведению// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, Россия, 15-18 июня 1997). – С.327-338.

25.  О разрешении конфликтов в многоагентных системах на основе аргументации// Искусственный интеллект (Доценк, Украина).– 1997.– №1-2. – С.36-50.

26.  От искусственного интеллекта к искусственной жизни: новые направления в науках об искусственном// Новости искусственного интеллекта. – 1995. – №4. – С.93-117.

27.  Тарасов стратегии реорганизации и автоматизации предприятий: на пути к интеллектуальным предприятиям // Новости искусственного интеллекта. – 1996. – №4. – С.

28.  Тарасов -организационный подход в искусственном интеллекте// Программные продукты и системы. – 1997. – №3. – C.6-13.

29.  Тарасов семиотика – новое синергетическое направление в искусственном интеллекте// Искусственный интеллект (Донецк, Украина). – 1997. – №1-2. – С.9-20.

30.  Тарасов семиотика и нечеткие многоагентные системы – основные теоретические подходы к построению интеллектуальных организаций// Информационные технологии и вычислительные системы. – 1998. – №1. – С.54-68.

31.  , Соломатин прикладных интеллектуальных систем: анализ основных этапов, концепций и проблем // Вестник МГТУ. Сер. «Приборостроение». – 1994. –№1. –С.5-14.

32.  О поведении конечных автоматов в случайных средах// Автоматика и телемеханика. – 1961. – Т.22, №10. – C..

33.  Цетлин по теории автоматов и моделированию биологических систем.– М.: Наука, 1969.

34.  , , ТАО – технология активных объектов для разработки мультиагентных систем//Информационные технологии и вычислительные системы.–1998.–№1.–С.35-43.

35.  Agha G. Actors: a Model of Concurrent Computation for Distributed Systems. – Cambridge MA: MIT Press, 1986.

36.  Agre putational Research on Interaction and Agency// Artificial Intelligence. – 1995. –Vol.72, №1/2.– P.1-52

37.  Agre P., Chapman D. Pengi: an Implementation of a Theory of Activity// Proceedings of the 6th National Conference on Artificial Intelligence.- P.268-272.

38.  Ambroszkiewicz S., Bylka S., Komar J. Knowledge in a Dynamic Model of Multi-Agent System// Proceedings of the International Workshop «Distributed Artificial Intelligence and Multi-Agent Systems» (DAIMAS'97, St. Petersburg, Russia, June 15-18, 1997). SPIIRAS, St Petersburg, 1997. – P.44-53.

39.  Austin J. L. How to Do Things with Words. – New York: Clarendon Press, 1962.

40.  Bernoux P. La sociologie des organizations. – Paris: Seuil, 1985.

41.  Bobrow D. Dimension of Interaction// AI Magazine. – 1990. – Vol.12, №3. – P.64-80.

42.  Bonabeau F., Theraulaz G. (Eds.) Intelligence collective. – Paris: Hermes, 1994.

43.  Bond A., Gasser L. (Eds.) Readings in Distributed Artificial Intelligence. – New York: Morgan Kaufman, 1988.

44.  Brainov S. Altruistic Cooperation Berween Self-Interested Agents// Proceedings of ECAI’96. – P.519-523.

45.  Braspenning P. Plant-like, Animal-like and Humanoid Agents and Corresponding Multi-Agent Systems// Proc. of the International Workshop «Distributed Artificial Intelligence and Multi-Agent Systems» (DAIMAS'97, St. Petersburg, Russia, June 15-18, 1997). – P.64-77.

46.  Brooks R. A Robust Layered Control System for a Mobile Robot// IEEE Journal of Robotics and Automation. – 1986. – Vol.2, №1. – P.14-23.

47.  Brooks R. Intelligence Without Representation // Artificial Intelligence. – 1991. – Vol.47. – P.139-159.

48.  Burkhard H.-D. Liveness and Fairness Properties in Multi-Agent Systems// Proc. of the 13th Int. Joint Conference on Artificial Intelligence (Chambery, France, 1993). Vol.1. – P.325-330.

49.  Castelfranchi C. Social Power: a Point Missed in Multi-Agent Systems, DAI and HCI// Decentralized Artificial Intelligence/ Y. Demazeau, J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1990. – P.49-62.

50.  Castelfranchi C., Micelli M., Cesta A. Dependence Relations Among Autonomous Agents// Decentralizaed AI III/ Y. Demazeau and J. P.Muller. – Amsterdam: Elsevier North-Holland, 1991

51.  Castelfranchi C., Werner E. Artificial Social Systems. – Berlin: Springer, 1992.

52.  Cetnarovicz E., Nawarecki E., Cetnarowicz K. Agent-Oriented Technology of Decentralized Systems Based on the M-agent Architecture// Preprints of IFAC/IFIP Conference on Management and Control of Production and Logistics (MCPL’97, Campinas, SP, Brazil, August 31-September 3 1997). Vol.2. – P.486-491.

53.  Chaib-Draa B., Moulin M., Mandiau R., Millot P. Trends in Distributed Artificial Intelligence // Artificial Intelligence Review. – 1992. – Vol.6. – P.35-66.

54.  Cohen P. R and Levesque H. J. Intention is Choice with Commitment// Artificial Intelligence. – 1990. – Vol.42. – P.213-262.

55.  Conte R., Miceli M., Castelfranchi C. Limits and Levels of Cooperation: Disentangling Various Types Prosocial Interaction//Distributed AI II/ Y. Demazeau and J.-P. Muller.–Amsterdam: North-Holland, 1991.

56.  Correa J., Coelho G. Around the Architectural Agent Approach to Model Conversations// Proc. of the 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Neuchatel, 1993.

57.  Davis R., Smith R. Negotiation as a Metaphor for Distributed Problem Solving// Artificial Intelligence. – 1983. –Vol.20. – P.63-109.

58.  Decker K. Distributed Problem Solving Techniques: A Survey// IEEE Transactions on Systems, Man, and Cybernetics. – 1987. – Vol.17, №5.

59.  Decker K. S., Lesser V. R. Designing a Family of Coordination Algorithms// Proc. of the First Int. Conference on Multi-Agent Systems (San-Francisco, June 12-14, 1995). – Cambridge: The MIT Press, 1995. – P.73-80.

60.  Demazeau Y., Muller J.-P.(Ed.) Decentralized Artificial Intelligence. – Amsterdam: Elsevier North-Holland, 1990.

61.  Demazeau Y., Muller J.-P.(Ed.) Decentralized Artificial Intelligence II. – Amsterdam: Elsevier North-Holland, 1991.

62.  Deneubourg J.-L. et al. Self-Organization and Life: from Simple Rules to Global Complexity// Proc. of Second European Conference on Artificial Life, Bruxelles, 1993.

63.  Drogoul A., Ferber J. Multi-Agent Simulation as a Tool for Studying Emergent Processes in Societies// Simulating Societies: Computer Simulation of Social Phenomena/ N. Gilbert and J. Doran, UCL Press, 1994. – P.127-142.

64.  Dunning P., Medina-Mora pleting the Loops// Interfaces. – 1995. –Vol.25, №3. – P.42-57.

65.  Durfee E. H. Coordination in Distributed Problem Solvers. – Boston MA: Kluver Academic Publishers, 1988.

66.  Durfee E. H., Lesser V. R. Global Partial Planning: a Coordination Framework for Distributed Hypothesis// IEEE Transactions on Systems, Man and Cybernetics. – 1991. – Vol.21. – №6.

67.  Durfee E. H., Lesser V. R., Corkill D. D. Coherent Cooperation Among Communicating Problem Solvers// IEEE Transactions on Computers. – 1987. – Vol.36. – P..

68.  Epstein J., Axtell R. Growing Artificial Societies: Social Science from the Bottom Up. – Cambridge MA: MIT Press, 1996.

69.  Erman L., Hayes-Roth F., Lesser V., Reddy D. The HEARSAY-II Speech Understanding System: Integrating Knowledge to Resolve Uncertainty// ACM Computers Surveys, vol.12, 1980.

70.  Errico B., Aiello L. Intelligent Agents in the Situation Calculus: an Application to User Modelling// Proc. of International Conference on Formal and Aplied Practical Reasoning/ D. M.Gobbay and H. J.Ohldach. – Berlin: Springer Verlag, 1996. – P.126-140.

71.  Etzioni O., Weld D. Intelligent Agents on the Internet// IEEE Expert. – 1995. –№4. – P.44-47.

72.  Ferber J. Les systemes multi-agents. Vers une intelligence collective. – Paris: InterEditions, 1995.

73.  Ferber J., Jacopin E. The Framework of Eco-Problem Solving// Decentralized Artificial Intelligence II / Y. Demazeau, J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1991.

74.  Ferber J., Magnin L. Conception des systemes multi-agents par composants modulaires et reseaux de Petri // Actes des journees du PRC-IA, Montpellier.

75.  Fisher K., Muller J.-P., Heimig I., Scheer A.-W. Intelligent Agents in Virtual Enterprises// Proc. of the First International Conference on the Practical Applications of Intelligent Agents and Multi-Agent Technology (London, UK). – P.205-224.

76.  Fox M. An Organizational View of Distributed Systems// IEEE Transactions on Systems, Man and Cybernetics. – 1981. – Vol.11, №1.–P.70-79.

77.  Franklin S., Graesser A. Is It an Agent, or Just a Program?// Intelligent Agents III. Proc. of ECAI-96 Workshop on Agent Theories, Architectures and Languages (ATAL, Budapest, The Hungary, August 12-13, 1996)/ J.-P. Muller, M. Wooldridge, N. Jennings.-Berlin: Springer Verlag, 1996.-P.21-35.

78.  Galliers J. R. The Positive Role of Conflict in Cooperative Multi-Agent Systems// Decentralized Artificial Intelligence/ Y. Demazeau, J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1990. – P.33-46.

79.  Gasser L. Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics // Artificial Intelligence. –1991. –Vol.47, №1-3. – P.107-138.

80.  Gasser L. An overview of DAI// Distributed Artificial Intelligence: Theory and Praxis/ L. Gasser and N. M.Avouris. - Amsterdam: Kluwer Academic Publishers, 1992.

81.  Gasser L., Braganza C., Herman N. MACE: a Flexible Testbed for Distributed AI Research// Distributed Artificial Intelligence/ M. N.Huhns. - London: Pitman, 1987. – P.119-152.

82.  Genesereth M. R., Ketchpel S. P. Software Agents//Communications of the ACM.–1994.–Vol.37, №7.– P.48-53.

83.  Georgeff M. P., Rao A. S. BDI Agents: From Theory to Practice// Procedings of the First International Conference on Multi-Agent Systems (ICMAS’95, )/ V. Lesser).– AAAI Press/The MIT Press. – P.312-319.

84.  Haddadi munication and Cooperation in Agent Systems: A Pragmatic Theory.– Berlin: Springer Verlag, 1996

85.  Hayes-Roth B. An Architecture for Adaptive Intelligent Systems//Artificial Intelligence.–1995.–Vol.72.– P.329-365.

86.  Heudin J.-C. La vie artificielle. – Paris: Hermes, 1994.

87.  Hewitt C. Viewing Control Structures as Patterns of Message Passing // Artificial Intelligence.–1977.– Vol.8, №3. – P.323-364.

88.  Hewitt C. Open Information Systems Semantics for Distributed Artificial Intelligence// Artificial Intelligence– Vol.47, №1-3. – P.79-106.

89.  Huhns M. N. (Ed.). Distributed Artificial Intelligence. - London: Pitman, 1987.

90.  Ishida T. CoCO: a Multiagent System for Concurrent and Cooperative Operation Tasks// Proc. of the 9th Distributed Artificial Intelligence Workshop/ M. Benda. – Orcas Island, 1989.

91.  Jagannathan V., Dodhiawala R., Baum L. Blackboard Architectures and Applications. – New York: Academic Press, 1989.

92.  King J. A. Intelligent Agents: Bringing Good Things to Life// AI Expert. – 1995. – February. – P.17-19.

93.  Konolige K., Pollack M. A Representationalist Theory of Intention// Proc. of the 13th Int. Joint Conference on Artificial Intelligence (Chambery, France, 1993). Vol.1. – P.390-395.

94.  Kornfeld W. ETHER: a Parallel Problem Solving System// Proc. of the 6th Int. Joint Conference on Artificial Intelligence, 1979.

95.  Kornfeld W., Hewitt C. The Scientific Community Metaphor// IEEE Transactions on Systems, Man and Cybernetics. – 1981. – Vol. SMC-11, №1. – P.24-33.

96.  Langton C. (Ed.). Artificial Life. – Redwood City: Addison-Wesley, 1992.

97.  Lenat D. BEINGS: Knowledge as Interacting Experts// Proc. of the 1975 IJCAI Conference, 1975. – P.126-133.

98.  Lesser V., Corkill D. The Distributed Vehicle Monitoring Testbed: a Tool for Investigating Distributed Problem Solving Networks// AI Magazine. – 1983. – Vol.4, №3. – P.15-33.

99.  Liu M. Approche sociotechnique de l'organisation. – Paris: Les Editions d’Organisation, 1983.

100.Maes P. Artificial Life Meets Entertainment: Life Like Autonomous Agents// Communication of the ACM. – 1995. –Vol.38, №11. – P.108-114.

101.Maes P. and Nardi D. (Eds.).  Meta-Level Architectures and Reflexion.– Amsterdam: Elsevier North-Holland, 1988.

102.Malone T. W., Crowston K.  The Interdisciplinary Study of Coordination// ACM Computer Surveys. – 1994. – Vol.26, №1.– P.87-119.

103.Mandiau R., Chaib-Draa B., Libert G., Millot P. Collaborative Work: a Language-Action Perspective//

104.March J. G., Simon H. A. Organizations. – New York: J. Wiley and Sons, 1985.

105.Maruichi T., Ichikawa M., Tokoro M.  Modeling Autonomous Agents and Their Groups// Decentralized AI/ Y. Demazeau and J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1990.

106.Maturana U., Varela F. Autopoiesis and Cognition: the Realization of Living. – Dordrecht: Reidel, 1980.

107.Meyer J. A., Wilson S. (Ed.). Simulation of Adaptive Behavior: from Animals to Animats. – Cambridge MA: MIT Press, 1991.

108.Minsky M. The Society of Mind. – NewYork: Simon and Shuster, 1986.

109.Mintzberg H. Structure et dynamique des organisations. – Paris: Les Editions d'Organisation, 1982.

110.Moulin B., Cloutier L. Collaborative Work Based on Multiagent Architectures: a Methodological Perspective// Soft Computing: Fuzzy Logic, Neural Networks and Distributed Artificial Intelligence/ F. Aminzadeh and M. Jamshidi.– N. Y.: Prentice-Hall, 1994. – P.261-296.

111.Murray D. Developing Reactive Software Agents// AI Expert. – 1995. – P.27-29

112.Nii H. P. The Blackboard Model of Problem Solving and the Evolution of Blackboard Architecture// AI Magazine. –1986. –Vol.7, №3.

113.Nwana H. Software Agents: an Overview//The Knowledge Engineering Review.–1996.–Vol.11,№3.–P.205-244

114.O'Leary D. E., Knokka D., Plant R. Artificial Intelligence and Virtual Organizations// Communications of the ACM. 1997. – Vol.4, №1. – P.52-59.

115. Pattison H., Corkill D., Lesser V. Instantiating Descriptions of Organizational Structures// Distributed Artificial Intelligence/ M. N.Huhns. – London: Pitman, 1987. – P.59-96.

116.Petrie C. What is an Agent?// Intelligent Agents III. Proc. of ECAI-96 Workshop on Agent Theories, Architectures and Languages (ATAL, Budapest, The Hungary, August 12-13, 1996)/ J.-P. Muller, M. Wooldridge, N. Jennings. - Berlin: Springer Verlag, 1996. – P.41-43.

117.Rasmussen J., Brehmer B., Leplat J. (Eds.). Distributed Decision-Making. Cognitive Models for Cooperative Work. – New York: J. Wiley and Sons, 1991.

118.Rosenshein J., Zlotkin *****les of Encounter: Designing Conventions for Automated Negociation Among Computers. – Cambridge MA: MIT Press, 1994.

*****ssell S. J., Norvig P. Artificial Intelligence: a Modern Approach. - Englewood Cliffs NJ: Prentice Hall, 1995.

120.Sandholm T. W. An Implementation of Contract Net Protocol Based on Marginal Cost Calculations// Proc. of 11 AAAI National Conference, 1993. – P.256-262.

121.Sandholm T. W., Lesser V. R. Coalition Formation among Bounded Rational Agents// Proc. of 14 Joint Conference on AI (IJCAI-95, Montreal, Canada). – P.662-669.

122.Searle J. Speech Acts. – Cambridge: Cambridge University Press, 1961.

123.Seel N. Intentional Description of Reactive Systems//Decentralized Artificial Intelligence II/ Y. Demazeau and J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1991. – P.15-33.

124.Shoham Y. Agent Oriented Programming// Artificial Intelligence. – 1993. – Vol.60, №1. – P.51-92.

125.Shoham Y., Tannenholtz M. On Social Laws for Artificial Agent Societies: Off-Line Design// Artificial Intelligence.– 1995. – Vol.73, №1/2. – P.231-252.

126.Smith R. G. The Сontract Net Protocol: High Level Communication and Control in a Distrubuted Problem Solver // IEEE Transactions on Computers. – 1980. – Vol.29, №12. – P..

127.Steels L. Cooperation Between Distributed Agents Through Self-Organization// Decentralized Artificial Intelligence/ Y. Demazeau and J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1990. – P.175-196.

128.Sycara K. Multiagent Compromise via Negotiation// Distributed Artificial Intelligence/ L. Gasser and M. Huhns. – Pitman, 1989.

129.Sycara K., Pannu A., Williamson M., Zeng D., Decker K. Distributed Intelligent Agents/ IEEE Expert: Intelligent Systems and Their Applications. – 1996. – Vol.11, №6. – P.36-46.

130.Tarassov V. B. Artificial Meta-Intelligence: a Key to Enterprise Reengineering// Proc. of the Second Joint Conference on Knowledge-Based Software Engineering (JCKBSE'96) (Sozopol, Bulgaria, September 21-22, 1996). – Sofia: BAIA, 1996. – P.15-24.

131.Tokoro M. The Society of Objects // Proc. of OOPSLA'93 Conference, 1993.

132.Werner E. Cooperating Agents: a Unified Theory of Communication and Social Structure// Distributed Artificial Intelligence. Vol. II/ L. Gasser and M. Huhns. – London: Pitman, 1989.

133.Werner E. A Unified View of Information, Intention and Ability// Decentralized AI 2/ Y. Demazeau, J.-P. Muller. – Amsterdam: Elsevier North-Holland, 1991. – P.109-125.

134.Werner E., Demazeau Y.(Eds.) Decentralized AI III. – Amsterdam: Elsevier North-Holland, 1992.

135.Winograd T., Flores F. Understanding Computers and Cognition: a New Foundation for Design. – Norwood: Ablex, 1986.

136.Wooldridge M., Jennings N. Towards a Theory of Cooperative Problem Solving// (MAAMAW'94, Odense, Danemark)/ Y. Demazeau, J.-P. Muller and J. Perram, 1994.

137.Wooldridge M., Jennings N. Agent Theories, Architectures and Languages: a Survey// Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures and Languages (Amsterdam, The Netherlands, August 8-9, 1994)/ M. Wooldridge, N. Jennings. – Berlin: Springer Verlag, 1995. – P.1-22.

138.Wooldridge M., Jennings N. Intelligent Agents: Theory and Practice// The Knowledge Engineering Review. – 1995. – Vol.10, №2. – P.115-152.

139.Yonezawa A. (Ed.) ABCL: an Object-Oriented Concurrent System. – Cambridge MA: MIT Press, 1990.

140.Zlotkin G., Rosenshein J. S. A Domain Theory for Task Oriented Negotiation// Proc. of the International Joint Conference on AI (Chambery, France, 1993).

141.Zlotkin G., Rosenshein J. promise in Negotiations: Exploiting Worth Functions over States// Artificial Intelligence. – 1996. – Vol. 84, № 1-2. – P.151-176.

1*. The FAQ Agent (http://www. ee. mcgill. ca:80/~belmarc/agent_faq. html)

2*. The Foner Agent (http://foner. www. media. mit. edu/people/foner/Julia/)

3*. The IBM Agent (http://activist. gpl. /White Paper/ ptc2.htm)

4.* The MoBot Agent (http://www. /logicware/mubot. html)

5.* The SodaBot Agent (http://www. ai. mit. edu/people/sodabot/slideshow/total/P001.html)

Дополнительный список изданных сборников и монографий по агентам и МАС

Jennings N. R. Cooperation in Industrial Multi-Agent Systems. – Singapore: World Scientific, 1994.

Cheong F. C. Internet Agents – Spiders, Wanderers, Brokers and Bots. – London: New Riders, 1995.

Fagin R., Halpern J., Moses Y., Vardi M. Reasoning about Knowledge. – Cambridge: MIT Press, 1995.

Singh M. P. Multiagent Systems – A Theoretical Framework for Intentions, Know-How and Communications. Lectures Notes in Artificial Intelligence. Vol.799. – Berlin: Springer Verlag, 1995

Ishida T. Parallel, Distributed and Multiagent Production Systems. Lectures Notes in Artificial Intelligence. Vol.878. – Berlin: Springer Verlag, 1996.

Adaptation and Learning in Multi-Agent Systems. Lectures Notes in Сomputer Science. Vol.1042/ G. Weiss and S. Sen.– Berlin: Springer Verlag, 1996.

Artificial Evolution. Lectures Notes in Сomputer Science. Vol.1063/ J.-M. Alliot et al. – Berlin: Springer Verlag, 1996.

From Animals to Animats 4. Proceedings of the Fourth International Conference on Simulation of Adaptive Behavior/ P. Maes et al. – Cambridge: MIT Press, 1996.

O'Hare G. M., Jennings N. Foundations of Distributed Artificial Intelligence.– New York: J. Wiley and Sons, 1996.

Mueller J. P. The Design of Intelligent Agents: a Layered Approach. Lectures Notes in Artificial Intelligence. Vol.1177. – Berlin: Springer Verlag, 1997.

Software Agents and Soft Computing: Concepts and Applications. Lectures Notes in Artificial Intelligence. Vol.1198/ H. S.Nwana and N. Azarmi. – Berlin: Springer Verlag, 1997.

Веблиография: адреса источников информации по агентам, МАС и близким вопросам на WWW-серверах

Intelligent Software Agents (Cambridge, UK) http://www. cl. cam. ac. uk/users/rwab1/agents. html

UMBC Intelligent Software Agents (T. Finin) http://www. cs. umbc. edu/agents/

Collected Agent Information (Birmingham, UK) http://www. cs. bham. ac. uk/~amw/agents/index. html

The @gency http://www. info. unicaen. fr/~serge/sma. html

Aberdeen Agents Page (Software Agents) http://www. csd. abdn. ac. uk/~pedwards/agents. html

Intelligent Agents (collected information) http://elf. kaist. ac. kr/~bhkim/agents/index. html

The Software Agents Mailing List http://www. /research/tcl/lists/agents-list. html

Learning in Multi-Agent Systems Webliography http://dis. cs. umass. edu/research/agents-learn. html

NetWatch Top Ten - Intelligent Agents / Information Agents http://www. /netwatch/topten/tt9.htm

Intelligent Agents http://www. /~terry/New_Home_Page/ai_info/intelligent_agents. html

The Agent Society http://www. agent. org/

Autonomous Agents'97: Related Sites http://www. isi. edu/isd/AA97/related-sites. html

The Mining Company Software Agents Guide http://softwareagents. /

UMass Distributed Artificial Intelligence Laboratory http://dis. cs. umass. edu/

Lockheed AI Center Welcome Page http://hitchhiker. space. /aic/README. html

DAI Research Unit (Queen Mary & Westfield College, London, UK) http://www. elec. qmw. ac. uk/dai/

Software Agents Group, MIT Media Lab http://agents. www. media. mit. edu/groups/agents/

UNH Cooperative Distributed Problem-Solving Research Group http://cdps. cs. unh. edu/

WPI Single Function Agent Research http://www. cs. wpi. edu/Research/aidg/SiFA/sifa. html

Stanford Next-Link Project http://cdr. stanford. edu/html/NextLink/NextLink. html

Multi-agent systems (Brandeis) http://cs. brandeis. edu/dept/faculty/mataric/

DAI at Geneva University Hospital http://www. expasy. ch/sgaico/html/olb/Sources/Access/Pointers. html

MIT Media Lab Autonomous Agents Group http://agents. www. media. mit. edu/groups/agents/

Collaborative Interface Agents http://agents. www. media. mit. edu/groups/agents/papers/aaai-ymp/aaai. html

Architectures for Intelligent Agents (Birmingham, UK) http://www. cs. bham. ac. uk/~axs/cogaff. html

MAGMA: Modelling Autonomous aGents in a Multi-Agent world (IMAG, Grenoble) http://cosmos. imag. fr/MAGMA/home-fr. html

DAI-hards at University of Tulsa http://euler. mcs. utulsa. edu/~sandip/sandip. html

DAI at Hebrew University Jerusalem http://www. cs. huji. ac. il/labs/dai/

Index of MAAMAW http://www. cs. umbc. edu/agents/maamaw/

The Internet Softbot http://www. cs. washington. edu/research/projects/softbots/www/

AgentX project (Cornell DRI) http://www. tc. cornell. edu/er/sci93/dis14agent/dis14agent. html

FIPA: The Foundation for Intelligent Physical Agents http://drogo. cselt. stet. it/ufv/leonardo/fipa. htm

CSCW Directory {extensive} http://www. demon. co. uk/jrac/cscwdir. html

IBM Intelligent Agents Page http://working. /iag/iaghome. html

The BotSpot http://www. /newbots/

Knowledge Sharing Technology: A Quick Summary http://www-ksl. stanford. edu/kst/kst-overview. html

Knowledge Sharing Effort (Logic Group) http://logic. stanford. edu/knowledge. html

ARPA Knowledge Sharing Effort public library http://www-ksl. stanford. edu/knowledge-sharing/README. html

Ontology: A Resource Page http://www. csi. uottawa. ca:80/dept/Ontology/

Ontology resources & conferences http://mnemosyne. itc. it:1024/ontology. html

About the KACTUS toolkit http://www. swi. psy. uva. nl/projects/Kactus/toolkit/about. html

Negotiation Bibliography http://www. business. carleton. ca/interneg/reference/bibliography. html

WWW Virtual Library: Conferences – Agents http://www. iao. fhg. de/Library/conferences/index/Agents. html

The DAI List http://www. cs. cmu. edu/~softagents/DAIlist/

Agent's World http://goma. univ-paris13.fr/AgentsWorld/

Agents http://nittany. ca. sandia. gov:8001/index. html http://nittany. ca. sandia. gov:8001/index. html

Agents '98 http://www. cis. udel. edu/~agents98/

Artificial Life http://www. cs. wisc. edu/~smucker/EC. html http://alife. santafe. edu/alife/alife-def. html

PAAM'97 (Practical Applications of Intelligent Agents and Multi-Agents) http://www. demon. co. uk/ar/PAAM97/index. html

First Australian Workshop on DAI http://walrus. adfa. oz. au/ai95/w03.html

International Conference on Multiagent Systems (ICMAS) http://icmas. cs. umass. edu/ICMAS/ (1995)

http://www. keihanna-plaza. co. jp/ICMAS96/index. html (1996)

Workshop on Decentralized Intelligent and Multi-Agent Systems (DIMAS'95) http://www. agh. edu. pl/~dimas95k/

CIKM-94 Intelligent Information Agents Workshop http://www. cs. umbc. edu/~cikm/1994/iia/

IJCAI95 Agent Theories, Architectures & Languages Workshop http://www. doc. mmu. ac. uk/STAFF/mike/atal95.html

JCIA95 Workshop on Adaptation & Learning in Multiagent Systems http://euler. mcs. utulsa. edu/~sandip/wshop/schedule. html

AAAI-97 Workshop on Multiagent Learning (July 1997) http://euler. mcs. utulsa. edu/~sandip/wshop/97/

Adaptation, Co-evolution and Learning in Multiagent Systems (AAAI-96 Spring Symp.) http://euler. mcs. utulsa. edu/~sandip/ss. html

Agent Software Seminar (April 1995, London, UK) http://www. demon. co. uk/unicom/agent. html

Second International Conference on the Design of Cooperative Systems (COOP'96) http://www. cs. wpi. edu/Research/aidg/CFPapers/COOP96.html

Cooperative Information Agents CIA-96 Workshop http://www. informatik. uni-kiel. de/~mkl/cia97.html

MAAMAW '96: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World http://arti. vub. ac. be/www/maamaw/welcome. html

ECAI-96 Workshops http://www. dfki. uni-sb. de/ecai96/accepted-workshops. html

·  Learning in Distributed Artificial Intelligence Systems

·  Modelling Conflicts in AI

·  Agent Theories, Architectures and Languages

·  Argumentation in Agent Communication

·  Intelligent Agents for Telecoms Applications

AAAI-97 Workshop on Multiagent Learning http://www. aaai. org/Workshops/

Intelligent Agents Book (1995) http://www. doc. mmu. ac. uk/STAFF/mike/atal94/atal94.html

Adaption and Learning in Multi-Agent Systems (1996) http://wwwbrauer. informatik. tu-muenchen. de/~weissg/LNAI-1042/

Distributed Artificial Intelligence Meets Machine Learning (1997) http://www7.informatik. tu-muenchen. de/~weissg/LNAI-1221

Journal, Autonomous Agents and MultiAgent Systems http://www. wkap. nl/journalhome. htm/