COMBINING RUNTIME DIAGNOSIS AND AI-PLANNING IN A MOBILE AUTONOMOUS ROBOT TO ACHIEVE A GRACEFUL DEGRADATION AFTER SOFTWARE FAILURES

Jörg Weber, Franz Wotawa

2010

Abstract

Our past work deals with model-based runtime diagnosis in the software system of a mobile autonomous robot. Unfortunately, as an automated repair of failed software components at runtime is hardly possible, it may happen that failed components must be removed from the control system. In this case, those capabilities of the control system which depend on the removed components are lost. This paper focuses on the necessary adaptions of the high-level decision making in order to achieve a graceful degradation. Assuming that those decisions are made by an AI-planning system, we propose extensions which enable such a system to generate only plans which can be executed and monitored despite the lost capabilities. Among others, we propose an abstract model of software capabilities, and we show how to dynamically determine those capabilities which are required for monitoring a plan.

References

  1. de Kleer, J. and Williams, B. C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130.
  2. Fikes, R. E., Hart, P. E., and Nilsson, N. J. (1972). Learning and executing generalized robot plans. Artificial Intelligence, 3(4):251-288.
  3. Fikes, R. E. and Nilsson, N. J. (1972). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2(3-4):189- 208.
  4. Fink, E. and Yang, Q. (1993). Characterizing and automatically finding primary effects in planning. In IJCAI, pages 1374-1379.
  5. Micalizio, R. and Torasso, P. (2007). On-line monitoring of plan execution: A distributed approach. KnowledgeBased Systems, 20(2):134-142.
  6. Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95.
  7. Roos, N. and Witteveen, C. (2005). Diagnosis of plans and agents. In Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS).
  8. Steinbauer, G. and Wotawa, F. (2005). Detecting and locating faults in the control software of autonomous mobile robots. In Proc. IJCAI, pages 1742-1743, Edinburgh, UK.
  9. Weber, J. (2009). Model-based Runtime Diagnosis of the Control Software of Mobile Autonomous Robots. PhD thesis, Institute for Software Technology, Graz University of Technology, Austria.
  10. Weld, D. S. (1994). An introduction to least commitment planning. AI Magazine, 15(4):27-61.
  11. Williams, B. C., Nayak, P., and Muscettola, N. (1998). Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence, 103(1-2):5-48.
Download


Paper Citation


in Harvard Style

Weber J. and Wotawa F. (2010). COMBINING RUNTIME DIAGNOSIS AND AI-PLANNING IN A MOBILE AUTONOMOUS ROBOT TO ACHIEVE A GRACEFUL DEGRADATION AFTER SOFTWARE FAILURES . In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-674-021-4, pages 127-134. DOI: 10.5220/0002752101270134


in Bibtex Style

@conference{icaart10,
author={Jörg Weber and Franz Wotawa},
title={COMBINING RUNTIME DIAGNOSIS AND AI-PLANNING IN A MOBILE AUTONOMOUS ROBOT TO ACHIEVE A GRACEFUL DEGRADATION AFTER SOFTWARE FAILURES},
booktitle={Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2010},
pages={127-134},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002752101270134},
isbn={978-989-674-021-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - COMBINING RUNTIME DIAGNOSIS AND AI-PLANNING IN A MOBILE AUTONOMOUS ROBOT TO ACHIEVE A GRACEFUL DEGRADATION AFTER SOFTWARE FAILURES
SN - 978-989-674-021-4
AU - Weber J.
AU - Wotawa F.
PY - 2010
SP - 127
EP - 134
DO - 10.5220/0002752101270134