An agent model for fault-tolerant systems

ABSTRACT

This paper describes the use of fault tolerance in a multi-agent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabilities are used by the agent to recover from faults occurring in its surrounding environment, e.g. hardware faults, or in its internal representation thereof, e.g. software faults. The expected fault-tolerant behavior is tested using fault injection either in the system described by the agent or in the environment in which the agent (system) is embedded into.

REFERENCES

• 1: Jose Julio Alferes , Luis Moniz Pereira , J. Siekmann , J. G. Carbonell, Reasoning with Logic Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
• 2: Jean Arlat, From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking, Proceedings of the 16th International Parallel and Distributed Processing Symposium, p.162, April 15-19, 2002
• 3: Avižienis, A. A. Software Fault Tolerance. Wiley, 1995, ch. The Methodology of N-Version Programming, pp. 23--46.
• 4: Bratman, M. E. Intention, Plans and Practical Reason. Harvard Press, Cambridge, MA, 1987.
• 5: Coddington, A. M., and Luck, M. A motivation-based planning and execution framework. International Journal on Artificial Intelligence Tools. 10, 1 (2004), 5--25.
• 6: Philip R. Cohen , Hector J. Levesque, Intention is choice with commitment, Artificial Intelligence, v.42 n.2-3, p.213-261, March 1990 [doi>10.1016/0004-3702(90)90055-5]
• 7: Mehdi Dastani , Joris Hulstijn , Frank Dignum , John-Jules Ch. Meyer, Issues in Multiagent System Development, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.922-929, July 19-23, 2004, New York, New York [doi>10.1109/AAMAS.2004.156]
• 8: Der Hoek, W. V., and Wooldridge, M. Towards a logic of rational agency. Logic Journal of the IGPL 11, 2 (March 2003), 133--157.
• 9: Mark D'Inverno , Michael Luck , Michael Georgeff , David Kinny , Michael Wooldridge, The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System, Autonomous Agents and Multi-Agent Systems, v.9 n.1-2, p.5-53, July-September 2004 [doi>10.1023/B:AGNT.0000019688.11109.19]
• 10: Fikes, R., and Nilsson, N. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 3--4 (1971), 189--208.
• 11: Z. Guessoum , J. P. Briot , S. Charpentier , O. Marin , P. Sens, A fault-tolerant multi-agent framework, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, July 15-19, 2002, Bologna, Italy [doi>10.1145/544862.544903]
• 12: Mei-Chen Hsueh , Timothy K. Tsai , Ravishankar K. Iyer, Fault Injection Techniques and Tools, Computer, v.30 n.4, p.75-82, April 1997 [doi>10.1109/2.585157]
• 13: Nicholas R. Jennings, On agent-based software engineering, Artificial Intelligence, v.117 n.2, p.277-296, March 2000 [doi>10.1016/S0004-3702(99)00107-1]
• 14: Sanjeev Kumar , Philip R. Cohen, Towards a fault-tolerant multi-agent system architecture, Proceedings of the fourth international conference on Autonomous agents, p.459-466, June 03-07, 2000, Barcelona, Spain [doi>10.1145/336595.337570]
• 15: Felipe Rech Meneguzzi , Avelino Francisco Zorzo , Michael da Costa Móra, Propositional planning in BDI agents, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus [doi>10.1145/967900.967916]
• 16: Alexander Nareyek, Beyond the Plan-Length Criterion, Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers, p.55-78, August 21, 2000
• 17: Randell, B. System structure for software fault tolerance. IEEE Trans. on Software Engineering 1, 2 (1975), 220--232.
• 18: Martijn Schut , Michael Wooldridge, The control of reasoning in resource-bounded agents, The Knowledge Engineering Review, v.16 n.3, p.215-240, September 2001 [doi>10.1017/S0269888901000157]
• 19: Peter Wegner, Why interaction is more powerful than algorithms, Communications of the ACM, v.40 n.5, p.80-91, May 1997 [doi>10.1145/253769.253801]
• 20: Winikoff, M., Padgham, L., Harland, J., and Thangarajah, J. Declarative & Procedural Goals in Intelligent Agent Systems. In KR (2002).
• 21: Wooldridge, M. Reasoning about Rational Agents. The MIT Press, 2000.
• 22: Jie Xu , Alexander Romanovsky , Robert J. Stroud , Avelino F. Zorzo , Ercument Canver , Friedrich von Henke, Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions, IEEE Transactions on Computers, v.51 n.2, p.164-179, February 2002 [doi>10.1109/12.980006]
• 23: A. F. Zorzo , R. J. Stroud, A distributed object-oriented framework for dependable multiparty interactions, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.435-446, November 01-05, 1999, Denver, Colorado, United States

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Intelligent agents

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.5 Reliability
          Subjects: Fault-tolerance

General Terms:
Algorithms, Languages, Reliability

Keywords:
BDI model, CA actions, declarative goals, planning