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

Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997.
1998
ISBN: 978-3-540-64769-0
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 1441, 244 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 400 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Wobcke, Wayne

Zhang, Chengqi

Pagnucco, Maurice

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik

Inhaltsverzeichnis

Specifying communicative multi-agent systems.- Making it up as they go along: A theory of reactive cooperation.- Agency and the logic of ability.- On the relation between interpreted systems and Kripke models.- Disjunctive logic programming and possible model semantics.- A non-monotonic ATMS based on annotated logic programs with strong negation.- Switching between reasoning and search.- The social dimension of interactions in multiagent systems.- Generating states of joint commitment between autonomous agents.- Social co-ordination among autonomous problem-solving agents.- An algorithm for plan verification in multiple agent systems.- A framework for coordination and learning among teams of agents.- An iterated hawk-and-dove game.- A game-theoretic solution of conflicts among competitive agents.- Transformation between the EMYCIN model and the Bayesian network.- Using multi-agent approach for the design of an intelligent learning environment.- A case-based strategy for solution synthesis among cooperative expert systems.