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

 

[1] Allen, J. F., Kautz, H. A., Pelavin, R. N., & Tenenberg, J. D. (1991). Reasoning About Plans. Morgan Kaufmann Publishers, Inc., San Mateo, California.

[2] Arrow, K. J. (1963). Social Choice and Individual Values . John Wiley , New York.

[3] Aumann, R. (1987). Correlated equilibrium as an expression of bayesian rationality . Econometrica , 55 , 1-18.

[4] Barbuceanu, M. S. Fox, Conflict Management with a Credibility/Deniability Model, University of Toronto

[5] Barbuceanu, M. S. Fox, Integrating Communicative Action, Conversations and Decision Theory to Coordinate Agents, University of Toronto

[6] O.Belakhdar and J.Ayel. Meeting Scheduling: an Application for Protocols Driven Cooperation. In: Proceedings of the first International Conference ”The Practical Application of Intelligewnt Agents and Multi-Agent Technology” (PAAM 96), London, 1996, pp.25-44.

[7] A.H.Bond and L.Gasser (editors). Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1988.

[8] Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.

[9] Cohen and H.J.Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.

[10] D.Chess et al. Itinerant Agent for Mobile Computing. Internal IBM. Technical Report, published in IEEE Personal Communications Magazine, 1995.

[11] Cohen and H.J. Levesque. Rational interaction as the basis for communication. In P.R.Cohen, J.Morgan, and M.E.Pollack, editors, Intentions in Communication. Bradford Books. MIT Press, 1990.

[12] B.Dunin-Keplicz and J.Treuer. Compositional Formal Specification of Multi-Agent System In:Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 102-117, 1994

[13] E.Durfee. Coordination of Distributed Problem Solvers. Kluwer Academic Press, 1988.

[14] B.Ekdahl, E.Astor and P.Davidsson. Towards Anticipatory Agents. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 191-202., 1994

[15] E.A.Emerson and J.Y.Halpern. `Sometimes' and `not never ' revisited: on branching time versus linear time temporal logic. Journal of the ACM , 33(1), 1986.

[16] I.A.Ferguson. Integrated Control and Coordinated Behaviour: A case for Agent Models. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 203-218, 1994

[17] R.E.Fikes and N.Nilsson. STRIPS: A new Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 5(2): 189-208, 1971

[18] J.R.Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict . Ph.D thesis, Open University , UK, 1988.

[19] M.P.Georgeff, and A.S.Rao. Formal model and Decision Procedures for Multi-Agent Systems. Technical note 61, Australian Artificial Intelligence Institute, 1995.

[20] M.P.Georgeff and A.S.Rao. BDI Agents: From Theory to Practice. In Procedings First International Conference on Multi-Agent Systems (ed. V. Lesser). AAAI Press/The MIT Press, pp. 312-319, 1995.

[21] N.R.Jennings. Commitments and conventions: The foundation of coordination in multi-agent systems. Knowledge Engineering Review , 8(3):223-250, 1993.

[22] N.R.Jennings. Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems Using Joint Intentions. Artificial Intelligence, 75 (2) pp. 195-240, 1995.

[23] Jun Huang, N.R.Jennings and J.Fox. An Agent Architecture for Distributed Medical Care. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag:219-232, 1994

[24] J.Hintikka. Knowledge and Belief. Cornel University Press: Ithaca, NY, 1962.

[25] Knabe, Language Support for Mobile Agents, Ph.D. Dissertation, CMU. 1/19/95

[26] S.Kraus, M.Nirke, and K.Sycara. Reaching agreements through argumentation: A logical model. In Proceedings of the Twelfth International Workshop on Distributed Artificial Intelligence (IWDAI-93), Hidden Valley , PA, May 1993.

[27] S.Kripke.Semantic Analysis of Modal Logic. Zeitschrift fur Matematische Logik und Grundlagen der Matematik, No.9, 1963, pp. 67-96.

[28] H.J.Levesque, P. R.Cohen, and J.H.T.Nunes. On acting together . In Proceedings of the National Conference on Artificial Intelligence (AAAI-90) , pages 94-99, Boston, MA, 1990.

[29] Luce and Raiffa H. Games and Decisions, John Wiley & Sons, Inc, New York, 1957.

[30] P.Maes. Agent that Reduce Work and Information Overload. In: Communication of the ACM, v.37, No.7, July 1994, pp. 30-40.

[31] J.Malec. A Unified Approach to Intelligent Agency. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 233-244, 1994

[32] T.Magedanz. Intelligent Agent: State-of-the-Art and Potential Application In: 1 International Workshop on High Speed Networks and Open Distributed Platforms (Participants Pre-proceedings). St.Petersburg, 1995.

[33] D.Moffat and N.H.Frijda. Where there’s a Will there’s an Agent. n: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag:245-259, 1994

[34] Morly R., and Schelberg C. An Analysis of Plant Specific Dynamic Scheduler. In: Proceedings of the NSF Workshop of Dynamic Scheduling. Cocoa Beech, Florida, USA,1993. (

[35] R.C.Moore. A formal theory of knowledge and action. In J. R. Hobbs and R. C. Moore, editors, Formal Theories of the Commonsense World. Ablex Publishing Corporation,

[36] J.P.Muller, M.Pishel, and M.Thiel. Modelling Reactive Behaviour in Vertically Layered Agent Architectures. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 261-276, 1994

[37] Myerson R. Game Theory: Analysis of Conflict. Harward University Press, Cambrige, Massachusetts. 1991.

[38] N.Negraponte. The Architecture Machine: Towards a more Human Environment. MIT Press, Cambridge, 1970.

[39] Neiman D., and al. Exploiting Mete-Level Information in a Distributed Scheduling System., In: Proceedings of 12th National Conference on Artificial Intelligence, Seatle, WA, USA, 1994.

[40] Netches, R. Fikes, T. Finin et al, Enabling Technology for Knowlege Sharing, AI Magazine vol 12, no 3, 1991.

[41] Ousterhout, Tcl and the Tk toolkit. Addison-Wesley.

[42] A.Pnueli. Specification and development of reactive systems. In Information Processing 86. Elsevier/North Holland, 1986.

[43] A.S.Rao and M.P.Georgeff. Social plans: Preliminary report. In Decentralized AI 3 Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW -91) . Elsevier, North Holland, 1992.

[44] M.P.Singh. Group ability and structure. In Y.Demazeau and J.P.Muller (editors), Decentralized AI 2 Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW -90) . Elsevier/North Holland, 1991.

[45] R.G.Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.

[46] G Smith The Contract Net Protocol: High Level Communication and Control in a Distributed Problem Solver, IEEE transactions on computers Vol 29, 1980.

[47] K.P.Sycara. Multi-agent compromise via negotiation. In L.Gasser and M.Huhns, editors, Distributed Artificial Intelligence, Volume II. Pitman/Morgan Kaufmann, 1989.

[48] Thomsen, L. Leth, S. Prasad, T.-M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile Antigua Release Programming Guide. ECRC-93-20. European Computer-Industry Research Centre.

[49] Torkel Franzйn, Seif Haridi, and Sverker Janson. An Overview of the Andorra Kernel Language. In Proceedings of the 2nd Workshop on Extensions to Logic Programming. LNCS. Springer-Verlag 1992.

[50] Wang, L. Liao, Constaint Based Framework for Multi-agent Coordination, in proceedings of EXPERSYS-96.

[51] Weerasooriya, A. S. Rao, and K. Ramamohanarao, "Design of a concurrent agent-oriented language," Tech. Rep. 52, Australian Artificial Intelligence Institute, Melbourne, Australia, Oct 1994.

[52] White. Telescript technology: the foundation for the electronic marketplace. White Paper. General Magic, Inc.,1995.

[53] A.Walker and M.Woodridge. Understanding the emergence of Conventions in Multi-Agent Systems. In Proceedings of ...,1995.

[54] M.Wooldridge. Coherent social action. In A.Cohn (editor), Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94) . John Wiley & Sons, August 1994.

[55] M.Wooldridge and M.Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92) , pages 234-238. John Wiley & Sons, August 1992.

[56] M.Wooldridge and N.Jennings. The cooperative problem solving process: A formal model. Technical report, Department of Computing, Manchester Metropolitan University , Chester St., Manchester M1 5GD, UK, 1994. 15.

[57] M.Wooldridge and N.Jennings. Towards a Theory of Cooperative Problem Solving

[58] M.Wooldridge and N.R.Jennings. Agent Theories, Architectures, and Languages: A Survey. In: Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, 1994, (Eds. M.J.Wooldridge and N.R.Jennings). Proceedings. Springer Verlag: 3-39, 1994

[59] M.Wooldridge, J.M.Muller and M.Tambe. Agents, theories, architectures and languages (ATAL-95) Springer Verlag Lecture Notes in Artificial Intelligence (LNAI 1037).

[60] Zlotkin, J. S. Rosenschtein, Mechanisms for Automated Negotiation in State Oriented Domain, Journal of Artificial Intelligence Research 5, 1996.

[61] В.И.Варшавский, Д.А.Поспелов. Оркестр играет без дирижера. М: Наука 1984

[62] В.И.Городецкий, А.Н. Лебедев. Планирование и составление расписаний автоматическое удовлетворение ограничений на временную структуру процесса. “Проблемы информатизации”, N3- 4, 1994, стр. 49-55.

[63] К.Джамса, К.Коуп. Программирование для Internet в среде Windows. “Питер”, Санкт-Петербург, 1996.

[64] Дрейфус. Чего не могут вычислительные машины (критика искусственного разума), “Прогресс”, М: 1978.

[65] Лефевр. Конфликтующие структуры. “Советское радио”, 1973

[66] М.Л.Цетлин. Исследования по теории автоматов и моделированию биологических систем. “Наука”, М: 1969.

 

 

Адреса WWW:

 

[1] Weerasooriya, A. S. Rao, and K. Ramamohanarao, "Design of a concurrent agent-oriented language," Tech. Rep. 52, Australian Artificial Intelligence Institute, Melbourne, Australia, Oct 1994. (AgentSpeak) ftp://www.aaii.oz.au/pub/aaii-technotes/technote52.ps.gz

[2] Agent Programming and Scripting languages: http://www.cs.umbc.edu/agents/technology/asl.shtml

[3] Mobile Code Systems: http://www.w3.org/pub/WWW/MobileCode/Overview.html

[4] Telescript http://www.genmagic.com/

[5] Java http://www.javasoft.com/

[6] Tcl/Tk http://www.sunlabs.com/research/tcl/4.1.html

[7] The DFKI Oz Programming System: http://ps-www.dfki.uni-sb.de/oz/

[8] Obliq http://www.research.digital.com/SRC/Obliq/Obliq.html

[9] April: Agent Process Interaction Language http://www-lp.doc.ic.ac.uk/~klc/april1.html

[10] AKL (AGENTS Kernel Language), AGENTS, and Penny: http://www.sics.se/ps/agents.html

[11] Penguin http://coriolan.amicus.com/penguin.html

[12] Scheme 48 http://www-swiss.ai.mit.edu/~jar/s48.html

[13] The Python Programming Language http://www.python.org/

[14] Facile http://www.ecrc.de/research/projects/facile/facile_home.html

[15] FIPA (Federation of Intelligent Physical Agents - Home Page) http://www.cselt.stet.it/fipa/fipa_rationale.htm.

 


[1] Приводимый в материалах FIPA по этому поводу материал в значительной мере повторяет точку зрения, изложенную в работе [58], возможно потому, что автор указанной работы является одним из директоров FIPA. Тем не менее, здесь мы предпочитаем ссылаться на “более официальный” документ.

[2] Нам не удалось подобрать сколько-нибудь удачного перевода этого термина. Это относится и к ряду других терминов. К сожалению, терминология на русском языке в области многоагентных систем еще не сложилась.

[3] Аналог этого термина на русском языке в краткой, понятной и адекватной форме еще предстоит найти.

[4] Этот пример фактически взят из работы [58] , однако в нем изменена семантическая интерпретация.

[5]Термин, для которого пока не удалось найти более точного аналога в русском языке.

[6] Он может быть ярым сторонником идей партии начала 60-х годов с коммерческой жилкой современных демократов.

[7] Эволюция взглядов на формализмы спецификации агентов рассмотрена в разделе 3 данной работы. Здесь делаются лишь минимально необходимые напоминания.