Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

ISBN-13: 9783540406655 / Angielski / Miękka / 2003 / 295 str.

Michael G. Hinchey;James L. Rash;Walter F. Truszkowski

Opis

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.

Spis treści

“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 Formal Methods 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.