Composing and Monitoring Non Deterministic Design-to-time Methods

François Charpillet 1 Anne Boyer 1
1 MAIA - Autonomous intelligent machine
Inria Nancy - Grand Est, LORIA - AIS - Department of Complex Systems, Artificial Intelligence & Robotics
Abstract : Guaranteed response time is one of the important issues encountered in designing a real-time system. This problem has been studied with a new view by the AI community, which so far has proposed different paradigms. Anytime algorithms, Approximate processing, Design-to-time Scheduling and Progressive Reasoning are the most popular. All of them rely on a trade-off between run-time and quality of results. In the framework of the ESPRIT project n° 5146 and 7805 REAKT (REAl time Knowledge Tool), we have developed such a model called PROGRESS (PROGressive REasoning SyStem). This approach makes it possible to manage AI tasks with hard and soft deadlines, provided that multiple methods are available for the tasks the system has to solve. Thus, PROGRESS is closed to design-to-time real-time scheduling but it extends this approach for harder real-time constraints such that the system has the ability to react, meet hard and soft deadlines, stay alert to incoming events and reset task priorities according to changes in workload or resource availability. For this purpose, we have defined a new task model such that a task is not a priori defined at the time of its activation but step by step in the course of its execution. It is conceived as a process that gradually integrates changes and developments in the situation and in availability of resources. When unforeseen tasks have to be included in the schedule because of the occurrence of an unexpected event, the resulting overhead is dynamically accounted for an adaptation of on-going tasks. An on-going task can be reactively adapted as the subtasks composing the task are interruptible (as anytime algorithm can do). A task being constructed dynamically by composing design-to-time methods chosen in a library, we have developed a new deliberative scheduling algorithm which allocates to each component of the task the computation time which maximizes the output quality of the task.
Type de document :
Communication dans un congrès
AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States. 1996, 〈AAAI〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01098490
Contributeur : François Charpillet <>
Soumis le : jeudi 25 décembre 2014 - 17:59:18
Dernière modification le : jeudi 11 janvier 2018 - 06:25:23
Document(s) archivé(s) le : jeudi 26 mars 2015 - 10:06:46

Fichier

AAAI -Fall-13-9-96.doc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01098490, version 1

Collections

Citation

François Charpillet, Anne Boyer. Composing and Monitoring Non Deterministic Design-to-time Methods. AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States. 1996, 〈AAAI〉. 〈hal-01098490〉

Partager

Métriques

Consultations de la notice

304

Téléchargements de fichiers

52