Cover Image

Understanding Agent Systems /

Show other versions (3)

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 part...

Full description

Bibliographic Details
Main Author: D'Inverno, Mark
Corporate Author: SpringerLink (Online service)
Other Authors: Luck, Mike
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Edition:Second Edition, Revised and Extended.
Series:Springer series on agent technology.
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 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.