A Logging-Based Approach for Building More Robust Multi-agent Systems

Authors:
Amy Unruh;James Bailey;Kotagiri Ramamohanarao
Affiliations:
The University of Melbourne, Australia;The University of Melbourne, Australia;The University of Melbourne, Australia
Venue:
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Year:
2006

Citing 8
Cited 1

ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Transaction Processing: Concepts and Techniques

Transaction Processing: Concepts and Techniques
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent Death

Autonomous Agents and Multi-Agent Systems
Agent programming in dribble: from beliefs to goals using plans

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The next step in Web services

Communications of the ACM - Service-oriented computing
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System

Autonomous Agents and Multi-Agent Systems
The SPARK Agent Framework

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2

ARTS: agent-oriented robust transactional system

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In an agent system, the ability to handle problems and recover from them is important in sustaining stability and providing robustness. We claim that execution logging is essential to support agent system robustness, and that agents should have architectural-level support for logging and recovery methods. We describe an infrastructure-level, default methodology for agent problem-handling, based on logging, and supported by declaratively encoding domain-specific knowledge related to changes in goal status and semantic compensations. Via logging, the approach allows repair of already-completed as well as current goals. We define a language, APLR, to support and constrain incremental specification of problem-handling information, with the agents' problem-handling behaviour increasing in sophistication as more knowledge is added to the system. The approach is implemented by mapping the methodology and domain knowledge to 3APL-like plan rules extended to support logging.