Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

ISBN-13: 9783540244226 / Angielski / Miękka / 2005 / 291 str.

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

Opis

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004.

The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs, multi-agent systems verification, agent communication protocols, autonomic agents, and Petri nets.

Spis treści

Ecology Based Decentralized Agent Management System.- Ecology Based Decentralized Agent Management System.- From Abstract to Concrete Norms in Agent Institutions.- Meeting the Deadline: Why, When and How.- Multi-agent Systems Reliability, Fuzziness, and Deterrence.- Formalism Challenges of the Cougaar Model Driven Architecture.- Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems.- Using Ontologies to Formalize Services Specifications in Multi-agent Systems.- Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance.- A Formal Analysis of Potential Energy in a Multi-agent System.- Agent-Based Chemical Plume Tracing Using Fluid Dynamics.- Towards Timed Automata and Multi-agent Systems.- An Approach to V&V of Embedded Adaptive Systems.- Verifying Multi-agent Systems via Unbounded Model Checking.- Towards Symbolic Model Checking for Multi-agent Systems via obdd’s.- Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.- F-OWL: An Inference Engine for Semantic Web.- Model-Driven Architecture for Agent-Based Systems.- Apoptosis and Self-Destruct: A Contribution to Autonomic Agents?.- Poster Presentations.- Petri Nets as Modeling Tool for Emergent Agents.- Massive Multi-agent systems control.- Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP).- Interaction and Communication of Agents in Networks and Language Complexity Estimates.