Understanding Agent Systems
Luck, Michael / d¿Inverno, Mark![Understanding Agent Systems](https://support.digitalhusky.com/media/annotations/sorted/106/10687814/CHSBZCOP0310687814.jpg)
Mark d'Inverno and Michael Luck present a formal approach to dealing with agents and agent systems in this second edition of Understanding 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, allows for the description of alte...