Optimal Sequencing of Contract Algorithms

Shlomo Zilberstein François Charpillet 1 Philippe Chassaing 2
1 MAIA - Autonomous intelligent machine
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We address the problem of building an interruptible real-time system using non-interruptible components. Some artificial intelligence techniques offer a tradeoff between computation time and quality of results, but their run-time must be determined when they are activated. These techniques, called contract algorithms, introduce a complex scheduling problem when there is uncertainty about the amount of time available for problem-solving. We show how to optimally sequence contract algorithms to create the best possible interruptible system with or without stochastic information about the deadline. These results extend the foundation of real-time problem-solving and provide useful guidance for embedding contract algorithms in applications.
Type de document :
Article dans une revue
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2003, 39 (1), pp.1-18
Liste complète des métadonnées

https://hal.inria.fr/inria-00099720
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:36
Dernière modification le : jeudi 11 janvier 2018 - 06:19:51

Identifiants

  • HAL Id : inria-00099720, version 1

Collections

Citation

Shlomo Zilberstein, François Charpillet, Philippe Chassaing. Optimal Sequencing of Contract Algorithms. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2003, 39 (1), pp.1-18. 〈inria-00099720〉

Partager

Métriques

Consultations de la notice

173