Agent Technology from a Formal Perspective
by Michael Hinchey (Associate Editor)James Rash (Associate Editor)Walt Truszkowski (Associate Editor)Diana F. Gordon-Spears (Associate Editor)Christopher Rouff (Editor)
Format: Paperback
ISBN13: 9781849969697
Paperback|9781849969697
✨ Featured Offer
Brand New
$172.16
List Price: $169.99
🚚
See all 1 offers from $172.16 FREE standard delivery by: 01 Apr 2026
Overview
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.
| ISBN-13 | 9781849969697 |
|---|---|
| ISBN-10 | 1849969698 |
| Weight | 1.15 Pounds |
| Dimensions | 6.10 x 0.84 x 9.25 In |
| List Price | $169.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xvi, 354 pages |
| Publisher | Springer |
| Published On | 2010-10-28 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand NASA Monographs in Systems and Software Engineering . XVI, 354 p. Intended for prof...
Free delivery by: 01 Apr 2026