The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration.
Author(s): Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears (eds.)
Series: Lecture Notes in Computer Science 2699 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 295
Tags: Artificial Intelligence (incl. Robotics); Computer Communication Networks; Special Purpose and Application-Based Systems; Software Engineering; Logics and Meanings of Programs; Simulation and Modeling
Front Matter....Pages -
“What Is an Agent and Why Should I Care?”....Pages 1-14
Organising Logic-Based Agents....Pages 15-27
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior....Pages 28-36
Formal Specification of Interaction in Agent Societies....Pages 37-52
Formal Verification for a Next-Generation Space Shuttle....Pages 53-67
Automated Protocol Analysis in Maude....Pages 68-78
Towards Interaction Protocol Operations for Large Multi-agent Systems....Pages 79-91
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams....Pages 92-102
Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models....Pages 103-114
Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results....Pages 115-125
Verifiable Middleware for Secure Agent Interoperability....Pages 126-132
Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators....Pages 133-145
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions....Pages 146-161
Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities....Pages 162-172
A Model for Conformance Testing of Mobile Agents in a MASIF Framework....Pages 173-192
Analysis of a Phase Transition in a Physics-Based Multiagent System....Pages 193-207
You Seem Friendly, But Can I Trust You?....Pages 208-219
Taking Intelligent Agents to the Battlefield....Pages 220-232
Front Matter....Pages 233-233
Naval Applications of Secure Multi-agent Technology....Pages 235-235
Challenges Arising from Applications....Pages 236-238
Front Matter....Pages 233-233
Applications Panel: Agents Applied to Autonomous Vehicles....Pages 239-240
Using XML for Interprocess Communications in a Space Situational Awareness and Control Application....Pages 241-253
Front Matter....Pages 255-255
Asimov’s Laws: Current Progress....Pages 257-259
Asimov’s Laws....Pages 260-263
On Laws of Robotics....Pages 264-265
Front Matter....Pages 267-267
Challenges Arising from Applications of Agent-Based System....Pages 269-273
Tools and Education towards Formal Methods Practice....Pages 274-279
Front Matter....Pages 281-281
Evaluating Agent-Based Modeling as a Tool for Economists....Pages 283-285
Modeling Traffic Control through Deterrent Agents....Pages 286-289
Towards a Formal Representation of Driving Behaviors....Pages 290-291
Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System....Pages 292-293
Agent Programming in Dribble: From Beliefs to Goals with Plans....Pages 294-295
Back Matter....Pages -
