Agent Technology from a Formal Perspective -
-20% with code BOOKS
Shipping in 12-18 days
30-day return policy
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 ... Full description
You May Also Like
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky, Nate Soares
-20% with code BOOKS
In stock at our supplier
TOP
How To Think About AI: A Guide For The Perplexed
-20% with code BOOKS
In stock at our supplier
TOP
Gödel, Escher, Bach: An Eternal Golden Braid
-20% with code BOOKS
In stock at our supplier
TOP
AI Engineering: Building Applications with Foundation Models
-20% with code BOOKS
In stock at our supplier
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
-20% with code BOOKS
In stock at our supplier
TOP
The Rust Programming Language
Steve Klabnik, Carol Nichols, Chris Krycho
-20% with code BOOKS
In stock at our supplier
TOP
The Art of Game Design: A Book of Lenses
-20% with code BOOKS
In stock at our supplier
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition
-20% with code BOOKS
In stock at our supplier
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming
-20% with code BOOKS
In stock at our supplier
TOP
HBR Guide to Generative AI for Managers
-20% with code BOOKS
In stock at our supplier
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution
-20% with code BOOKS
In stock at our supplier
TOP
How Linux Works: What Every Superuser Should Know
-20% with code BOOKS
In stock at our supplier
TOP
Hands-On Large Language Models: Language Understanding and Generation
Maarten Grootendorst, Jay Alammar
-20% with code BOOKS
In stock at our supplier
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach
-20% with code BOOKS
In stock at our supplier
TOP
Speak Data: Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers
-20% with code BOOKS
In stock at our supplier
TOP
World of Warcraft Chronicle, Volume 2
-20% with code BOOKS
In stock at our supplier
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
-20% with code BOOKS
In stock at our supplier
TOP
Deep Learning: Foundations and Concepts
Christopher M. Bishop, Hugh Bishop
-20% with code BOOKS
In stock at our supplier
TOP
The Linux Programming Interface: A Linux and UNIX System Programming Handbook
-20% with code BOOKS
In stock at our supplier
Description
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.
More Information
| Publisher | Springer London |
|---|---|
| Series | NASA Monographs in Systems and Software Engineering |
| Release year | 2010 |
| Cover type | Softcover |
| EAN | 9781849969697 |