Understanding agent systems

This book helps to organise the diverse landscape of agent- based systems by applying formal methods to provide a defining and encompassing agent framework. The Z specification language is used to provide an accessible and unified formal account of agent systems and inter-agent relationships. In particular, the framework precisely and unambiguously provides meanings for common concepts and terms for agent systems, enables alternative agent models and architectures to be described within it, and provides a foundation for subsequent development of increasingly more refined agent concepts. It describes agents, the relationships between them and the requisite capabilities for effective functioning in multi-agent systems, and is applied in different case studies. In the second edition the authors have revised and updated the existing chapters of the book to respond to advice from readers of the first edition, to add references to recent work in agent systems, and generally to bring the content up to date. They have extended the introduction and conclusions chapters to include a better review of the field and the current state-of-the-art. This new edition features chapters on agent interaction and norms, and outlines an implementation framework. The book will appeal equally to researchers, students and technologists interested in intelligent agents and multi-agent systems. TOC:The Agent Landscape.- The SMART Agent Framework.- Agent Relationships.- An Operational Analysis of Agent Relationships.- Sociological Agents.- Autonomous Interaction.- The Contract Net as a Goal Directed System.- Computational Architecture for BDI Agents.- Evaluating Social Dependence Networks.- Normative Agents.- actSMART: Building a SMART System.- Conclusions.- A. The Z Specification Language.- References.- Index.

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540407003 ; 3540407006
• Maße: 24 cm, 440 gr.
• Umfang: XVIII, 240 S.
• Ausgabe: 2. ed., rev. and extended
• Sprache: Englisch
• Anmerkungen: graph. Darst. ; Literaturverz. S. 227 - 236

Klassifikation und Themen

• Schlagwort: Agent ; Formale Spezifikationstechnik ; Mehragentensystem ; Formale Spezifikationstechnik

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
• (wer): Springer
• (wann): 2004
• Urheber: D'Inverno, Mark ; Luck, Michael

Weitere Informationen

• Inhaltsverzeichnis: https://d-nb.info/968515185/04
• Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Letzte Aktualisierung: 11.06.2025, 14:02 MESZ