Overview

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002.The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.

Full Product Details

Author:   Michael G. Hinchey ,  James L. Rash ,  Walter F. Truszkowski ,  Christopher Rouff
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2003 ed.
Volume:   2699
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.30cm
Weight:   0.980kg
ISBN:  

9783540406655

ISBN 10:   3540406654
Pages:   295
Publication Date:   29 July 2003
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

“What Is an Agent and Why Should I Care?”.- “What Is an Agent and Why Should I Care?”.- Organising Logic-Based Agents.- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior.- Formal Specification of Interaction in Agent Societies.- Formal Verification for a Next-Generation Space Shuttle.- Automated Protocol Analysis in Maude.- Towards Interaction Protocol Operations for Large Multi-agent Systems.- Formal Modeling and Supervisory Control of Reconfigurable Robot Teams.- Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models.- Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.- Verifiable Middleware for Secure Agent Interoperability.- Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators.- Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.- Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities.- A Model for Conformance Testing of Mobile Agents in a MASIF Framework.- Analysis of a Phase Transition in a Physics-Based Multiagent System.- You Seem Friendly, But Can I Trust You?.- Taking Intelligent Agents to the Battlefield.- Panel Session on “Applications”.- Naval Applications of Secure Multi-agent Technology.- Challenges Arising from Applications.- Applications Panel: Agents Applied to Autonomous Vehicles.- Using XML for Interprocess Communications in a Space Situational Awareness and Control Application.- Panel Session on “Asimov’s Laws”.- Asimov’s Laws: Current Progress.- Asimov’s Laws.- On Laws of Robotics.- Panel Session on “Tools and Education”.- Challenges Arising from Applications of Agent-Based System.- Tools and Education towards FormalMethods Practice.- Poster Presentations.- Evaluating Agent-Based Modeling as a Tool for Economists.- Modeling Traffic Control through Deterrent Agents.- Towards a Formal Representation of Driving Behaviors.- Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System.- Agent Programming in Dribble: From Beliefs to Goals with Plans.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions