Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : François Charpillet Connect in order to contact the contributor
Submitted on : Thursday, December 25, 2014 - 5:59:18 PM
Last modification on : Wednesday, February 2, 2022 - 4:45:19 PM
Long-term archiving on: : Thursday, March 26, 2015 - 10:06:46 AM


AAAI -Fall-13-9-96.doc.pdf
Files produced by the author(s)


  • HAL Id : hal-01098490, version 1



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. ⟨hal-01098490⟩



Record views


Files downloads