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 ...
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 500grams, ISBN: 9783540419754.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
HARDCOVER Good-Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name-GOOD Standard-sized.