[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/1066677.1066696acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

An agent model for fault-tolerant systems

Published: 13 March 2005 Publication History

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]
Alferes, J. J., and Pereira, L. M. Reasoning with Logic Programming. Springer Verlag, 1996.
[2]
Arlat, J. From experimental assessment of fault-tolerant systems to dependability benchmarking. In IPDPS 2002 (2002), IEEE CS Press, pp. 135--136.
[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]
Cohen, P. R., and Levesque, H. J. Intention is choice with commitment. Artificial Intelligence 42, 2--3 (1990), 213--261.
[7]
Dastani, M., Hulstijn, J., and Meyer, J.-J. C. Issues in multiagent system development. In AAMAS (2004), ACM Press.
[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]
D'Inverno, M., Luck, M., Georgeff, M., Kinny, D., and Wooldridge, M. The dMARS architecture: A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems 9, 1--2 (2004), 5--53.
[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]
Guessoum, Z., Briot, J. P., Charpentier, S., Marin, O., and Sens, P. A fault-tolerant multi-agent framework. In AAMAS (2002), ACM Press, pp. 672--673.
[12]
Hsueh, M.-C., Tsai, T. K., and Iyer, R. K. Fault injection techniques and tools. IEEE Computer 30, 4 (1997), 75--82.
[13]
Jennings, N. R. On agent-based software engineering. Artificial Intelligence 117, 2 (2000), 277--296.
[14]
Kumar, S., and Cohen, P. R. Towards a fault-tolerant multi-agent system architecture. In AGENTS (2000), ACM Press, pp. 459--466.
[15]
Meneguzzi, F. R., Zorzo, A. F., and Móra, M. D. C. Propositional planning in BDI agents. In SAC (2004), pp. 58--63.
[16]
Nareyek, A. Beyond the plan-length criterion. In LNAI, vol. 2148. Springer Verlag, 2001, pp. 55--78.
[17]
Randell, B. System structure for software fault tolerance. IEEE Trans. on Software Engineering 1, 2 (1975), 220--232.
[18]
Schut, M., and Wooldridge, M. The control of reasoning in resource-bounded agents. The Knowledge Engineering Review 16, 3 (2001).
[19]
Wegner, P. Why interaction is more powerful than algorithms. Comms. ACM 40, 5 (1997), 80--91.
[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]
Xu, J., et al. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Trans. on Computers 51, 2 (2002), 164--179.
[23]
Zorzo, A. F., and Stroud, R. J. A distributed object-oriented framework for dependable multiparty interactions. In OOPSLA (1999), ACM Press, pp. 435--446.

Cited By

View all
  • (2018)Agent-based architectural framework enhancing configurability, autonomy and scalability of context-aware pervasive servicesAutonomous Agents and Multi-Agent Systems10.1007/s10458-009-9101-121:1(36-68)Online publication date: 26-Dec-2018
  • (2013)Light-weight operation of a failover system for Cloud computing2013 5th International Conference on Knowledge and Smart Technology (KST)10.1109/KST.2013.6512785(42-46)Online publication date: Jan-2013
  • (2009)Building Scalable Services: The CHIL Agent FrameworkComputers in the Human Interaction Loop10.1007/978-1-84882-054-8_28(341-352)Online publication date: 2009

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '05: Proceedings of the 2005 ACM symposium on Applied computing
March 2005
1814 pages
ISBN:1581139640
DOI:10.1145/1066677
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 March 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. BDI model
  2. CA actions
  3. declarative goals
  4. planning

Qualifiers

  • Article

Conference

SAC05
Sponsor:
SAC05: The 2005 ACM Symposium on Applied Computing
March 13 - 17, 2005
New Mexico, Santa Fe

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2018)Agent-based architectural framework enhancing configurability, autonomy and scalability of context-aware pervasive servicesAutonomous Agents and Multi-Agent Systems10.1007/s10458-009-9101-121:1(36-68)Online publication date: 26-Dec-2018
  • (2013)Light-weight operation of a failover system for Cloud computing2013 5th International Conference on Knowledge and Smart Technology (KST)10.1109/KST.2013.6512785(42-46)Online publication date: Jan-2013
  • (2009)Building Scalable Services: The CHIL Agent FrameworkComputers in the Human Interaction Loop10.1007/978-1-84882-054-8_28(341-352)Online publication date: 2009

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media