Многоагентные системы

Благодарности

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

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.