Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications

1. Front Matter

   PDF

2. Specifying communicative multi-agent systems

   • Steven Shapiro, Yves Lespérance, Hector J. Levesque

   Pages 1-14

3. Making it up as they go along: A theory of reactive cooperation

   • Michael Wooldridge, Afsaneh Haddadi

   Pages 15-30

4. Agency and the logic of ability

   • Wayne Wobcke

   Pages 31-45

5. On the relation between interpreted systems and Kripke models

   • Alessio Lomuscio, Mark Ryan

   Pages 46-59

6. Disjunctive logic programming and possible model semantics

   • Li-Yan Yuan, Jia-Huai You, Randy Goebel

   Pages 60-78

7. A non-monotonic ATMS based on annotated logic programs with strong negation

   • Kazumi Nakamatsu, Atsuyuki Suzuki

   Pages 79-93

8. Switching between reasoning and search

   • Greg Gibbon, Janet Aisbett

   Pages 94-108

9. The social dimension of interactions in multiagent systems

   • Bernard Moulin

   Pages 109-122

10. Generating states of joint commitment between autonomous agents

    • Timothy J. Norman, Nicholas R. Jennings

    Pages 123-133

11. Social co-ordination among autonomous problem-solving agents

    • Sascha Ossowski, Ana García-Serrano

    Pages 134-148

12. An algorithm for plan verification in multiple agent systems

    • Chengqi Zhang, Yuefeng Li

    Pages 149-163

13. A framework for coordination and learning among teams of agents

    • Hung H. Bui, Svetha Venkatesh, Dorota Kieronska

    Pages 164-178

14. An iterated hawk-and-dove game

    • Bengt Carlsson, Stefan Johansson

    Pages 179-192

15. A game-theoretic solution of conflicts among competitive agents

    • Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh

    Pages 193-204

16. Transformation between the EMYCIN model and the Bayesian network

    • Chengqi Zhang, Xudong Luo

    Pages 205-219

17. Using multi-agent approach for the design of an intelligent learning environment

    • Dong Mei Zhang, Leila Alem, Kalina Yacef

    Pages 220-230

18. A case-based strategy for solution synthesis among cooperative expert systems

    • Minjie Zhang

    Pages 231-240

This book constitutes the thoroughly refereed post-workshop proceedings of three workshops held in conjunction with the 10th Australian Joint Conference on Artificial Intelligence in Perth, Australia, in December 1997.
The 17 revised full papers presented were carefully reviewed for inclusion in the book. The book is divided into sections on formal methods of agency, reasoning agents, communication and coordination, social interaction, and practical issues for distributed artificial intelligence systems.

• ATM
• Agency and Logic
• Agent Architectures
• Bayesian network
• Competitive Agents
• Cooperative Systems
• Intelligent Agents
• Switch
• algorithms
• artificial intelligence
• expert system
• formal method
• intelligence
• multi-agent system
• semantics

Policies and ethics