NASA Monographs in Systems and Software Engineering

By: Christopher Rouff (Editor), Michael Hinchey, James Rash

Write A Review

Hardcover | 26 October 2005

At a Glance

Hardcover
376 Pages

Dimensions(cm)
23.5 x 15.24 x 1.91

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation

Other Editions and Formats

Paperback

Published: 28th October 2010

View Product

What is an Agent?
And What is an Agent Community?
Introduction to Formal Methods
Formal Methods and Agent-Based Systems
A Process-Algebraic Agent Abstraction
Dynamic Team Formation in Executable Agent-Based Systems
Scenario-based Engineering of Multi-agent Systems
Verification Within the KARO Agent Theory
Assuring the Behavior of Adaptive Agents
Agents in a Wild World
Formal Methods at NASA Goddard Space Flight Center
Formal Verification of Autonomy Models
Table of Contents provided by Publisher. All Rights Reserved.

NASA Monographs in Systems and Software Engineering

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Artificial Intelligence

The Challenge of the Future

What Should We Keep from Yesterday as We Rush Into Tomorrow?

Empire of AI

Inside the reckless race for total domination

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

AI Snake Oil

What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Agentic Mesh

The Genai-Powered Autonomous Agent Ecosystem

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Training & Development with AI For Dummies

For Dummies (Business & Personal Finance)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Robotics and Intelligent Machines in Smart Agriculture

Emerging Systems and Applications

Transforming Cybersecurity Audit Practices with Agility and Artificial Intelligence (AI)

Security, Audit and Leadership Series

Transforming Cybersecurity Audit Practices with Agility and Artificial Intelligence (AI)

Security, Audit and Leadership Series

Non-prioritized Belief Change

Foundations, Theory, and Algorithms

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

AI & I

An Intellectual History of Artificial Intelligence

Fractional Differential Equations

Numerical Methods for Applications

Sixth Congress on Intelligent Systems

CIS 2025, Volume 1

Numerical Optimization in Engineering and Sciences

Proceedings of NOIEAS 2024

Intelligent Systems, Blockchain, and Communication Technologies

Selected papers from the International Conference on Intelligent Systems, Blockchain, and Communication Technologies (ISBCom25). Volume 1

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

Neural Networks

Overview of Current Theories and Applications

This product is categorised by