Skip to main content
  • Conference proceedings
  • © 2003

Formal Approaches to Agent-Based Systems

Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2699)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): FAABS: International Workshop on Formal Approaches to Agent-Based Systems

Conference proceedings info: FAABS 2002.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. “What Is an Agent and Why Should I Care?”

    1. “What Is an Agent and Why Should I Care?”

      • Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss
      Pages 1-14
    2. Organising Logic-Based Agents

      • Michael Fisher, Chiara Ghidini, Benjamin Hirsch
      Pages 15-27
    3. A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior

      • Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline
      Pages 28-36
    4. Formal Specification of Interaction in Agent Societies

      • Virginia Dignum, John-Jules C. Meyer, Frank Dignum, Hans Weigand
      Pages 37-52
    5. Formal Verification for a Next-Generation Space Shuttle

      • Stacy D. Nelson, Charles Pecheur
      Pages 53-67
    6. Automated Protocol Analysis in Maude

      • Jeffrey Van Baalen, Thomas Böhne
      Pages 68-78
    7. Towards Interaction Protocol Operations for Large Multi-agent Systems

      • Joaquín Peña, Rafael Corchuelo, José Luis Arjona
      Pages 79-91
    8. Formal Modeling and Supervisory Control of Reconfigurable Robot Teams

      • Kiriakos Kiriakidis, Diana F. Gordon-Spears
      Pages 92-102
    9. Computational Models for Multiagent Coordination Analysis: Extending Distributed POMDP Models

      • Hyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella
      Pages 103-114
    10. Qu-Prolog: An Implementation Language for Agents with Advanced Reasoning Capabilities

      • Peter J. Robinson, Mike Hinchey, Keith Clark
      Pages 162-172
    11. A Model for Conformance Testing of Mobile Agents in a MASIF Framework

      • Mikaël Marche, Yves-Marie Quemener
      Pages 173-192
    12. Analysis of a Phase Transition in a Physics-Based Multiagent System

      • Diana F. Gordon-Spears, William M. Spears
      Pages 193-207
    13. You Seem Friendly, But Can I Trust You?

      • Tim Menzies, David Owen, Bojan Cukic
      Pages 208-219
    14. Taking Intelligent Agents to the Battlefield

      • Jeffrey Hicks, Richard Flanagan, Plamen Petrov, Alexander Stoyen
      Pages 220-232
  3. Panel Session on “Applications”

    1. Front Matter

      Pages 233-233

Other Volumes

  1. Formal Approaches to Agent-Based Systems

About this book

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.

Keywords

  • Automat
  • XML
  • autonom
  • autonomous agents
  • communication
  • formal specification
  • formal verification
  • verification

Editors and Affiliations

  • Department of Computer Science, Loyola College in Maryland, Baltimore, USA

    Michael G. Hinchey

  • Advanced Architectures and Automation Branch, NASA Goddard Space Flight Center, Greenbelt, USA

    James L. Rash

  • NASA Goddard Space Flight Center, Greenbelt, USA

    Walter F. Truszkowski

  • Advanced Technology Laboratories, Lockheed Martin Corporation, Arlington, USA

    Christopher Rouff

  • Computer Science Department, University ofWyoming, Laramie, USA

    Diana Gordon-Spears

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions