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 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 applying the formal
framework to three detailed case studies. The book will appeal
equally to researchers, students, and professionals in
industry.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!