This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.
The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.
Author(s): Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)
Series: Lecture Notes in Computer Science 1871 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 374
Tags: Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Computer Communication Networks
Model Checking-Based Analysis of Multiagent Systems....Pages 1-15
Towards Formal Specification and Verification in Cyberspace....Pages 16-32
Verification within the KARO Agent Theory....Pages 33-47
On Formal Modeling of Agent Computations....Pages 48-62
Modeling and Programming Devices and Web Agents....Pages 63-77
A Programming Logic for Part of the Agent Language 3APL....Pages 78-89
The Nepi 2 Programming System: A π -Calculus-Based Approach to Agent-Based Programming....Pages 90-102
From Livingstone to SMV....Pages 103-113
Verification of Plan Models Using UPPAAL....Pages 114-122
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System....Pages 123-132
Formal Agent Development: Framework to System....Pages 133-147
Automatic Synthesis of Agent Designs in UML....Pages 148-162
Direct Execution of Agent Specifications....Pages 163-163
Using the π-Calculus to Model Multiagent Systems....Pages 164-179
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude....Pages 180-193
Agents Talking Faster....Pages 194-208
Refining Interactions in a Distributed System....Pages 209-221
Design and Mathematical Analysis of Agent-Based Systems....Pages 222-234
Modeling Task and Teams through Game Theoretical Agents....Pages 235-249
Web Agents Cooperating Deductively....Pages 250-262
Formal Specification of Agent Behaviour through Environment Scenarios....Pages 263-277
APT Agents: Agents That Are Adaptive Predictable and Timely....Pages 278-293
Ontology Negotiation in a Community of Agents....Pages 294-297
Analysis of Agent-Based Systems Using Decision Procedures....Pages 298-299
A Formal Approach to Belief-Goal-Role Agents....Pages 300-301
Model Checking of Autonomy Models for an In-Situ Propellant Production System....Pages 302-303
Adaptive Supervisory Control of Multi-agent Systems....Pages 304-305
Machine Learning for Logic-Based Multi-agent Systems....Pages 306-307
Using a Formal Framework for Agent System Design....Pages 308-317
Modeling Agent-Based Systems....Pages 318-320
Modeling Agent Systems by Bayesian Belief Networks....Pages 321-322
The Anthropomorphizing of Intelligent Agents....Pages 323-334
Controlling Multiple Satellite Constellations Using the TEAMAgent System....Pages 335-336
Operations Assistants for Johnson Space Center’s Mission Control Center....Pages 337-338
A Real Time Object-Oriented Rational Agent Development System....Pages 339-344
Panel Discussion: “Empirical Versus Formal Methods”....Pages 345-353
Panel Discussion: “Future Directions”....Pages 354-368
