Understanding agent systems. Mark d'Inverno ; Michael Luck

D'Inverno, Mark and Michael Luck:

ISBN 10: 3540419756 / ISBN 13: 9783540419754

Editore: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2001

Riguardo questo articolo

XVI, 191 S. : graph. Darst. ; 24 cm sehr gutes Expl. Sprache: Englisch Gewicht in Gramm: 550.

Codice articolo 43656

Dati bibliografici

• Titolo: Understanding agent systems. Mark d'Inverno ; Michael Luck
• Editore: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 3540419756
• ISBN 13: 9783540419754
• Rilegatura: Pp.
• Condizione: Sehr gut
• Peso: 550 grammi
• Cataloghi dei venditori:
  • EDV

Descrizione articolo

Riassunto

Presenting a formal approach to dealing with agents and agent systems, the Z specification language is used to establish an accessible and unified formal account of agent systems and inter-agent relationships. In particular, the framework provides precise and unambiguous meanings for common concepts and terms for agent systems, and allows for the description of alternative agent models and architectures, and serves as a foundation for subsequent development of increasingly refined agent concepts. The practicability of this approach is verified by applyingthe formal framework to three detailed case studies. The methodology presented takes a very significant step towards organizing and structuring the diverse and disparate landscape of agent-based systems by applying formal methods to develop a defining and encompassing agent framework. The book should appeal equally to researchers, students, and professionals in industry.

Product Description

Book by Mark DInverno Michael Luck