Agent Technology from a Formal Perspective (Hardcover, 2006 ed.)

During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented popularity. Meanwhile, the ?eld of formal methods has also blossomed and has proven its importance in substantial industrial and government applications. Thus, in 2000 it was quite timely to pursue a workshop to merge the concerns of the two ?elds. The need for such a workshop was particularly compelling given the growing concerns of agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby behavioral assurances. The Formal Approaches toAgent-Based Systems (FAABS'00) workshop was the ?rst step in trying to address this need. The overwhelming response to FAABS'00 motivated subsequent FAABS ('02and'04)workshops, aswellasthisbook, whichisdesignedtoprovide amorein-depthtreatmentofthetopic. This book is organized into four parts. Part I provides introductory backgroundmaterialonthetwocentraltopicsofthebook, namely, agents andformalmethods. Chapter1, byTruszkowski, isanoverviewofagents.Thechapter- gins by introducing the basic concept of an agent from a very simple, abstractperspective.Itthengraduallyre?nesthisnotionintoadetailed agent architecture, using the Goddard agent architecture as an ex- ple model. First, the major architectural components (e.g., percepts, - fectors, communications, reasoning, planning, execution)arede?nedand described. Then, agent behaviors are de?ned and related to the arc- tecturalcomponentsthatgeneratethem.Thechapterconcludeswithan intriguingdiscussionofmulti-agentcommunities.

General

Imprint:	Springer London
Country of origin:	United Kingdom
Series:	NASA Monographs in Systems and Software Engineering
Release date:	October 2005
First published:	2006
Editors:	Christopher Rouff
Associate editors:	Michael Hinchey • James Rash • Walt Truszkowski • Diana F. Gordon-Spears
Dimensions:	235 x 156 x 22mm (L x W x T)
Format:	Hardcover
Pages:	354
Edition:	2006 ed.
ISBN-13:	978-1-85233-947-0
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	1-85233-947-0
Barcode:	9781852339470

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!