Jean-Francois Dauchez, Abdel-Illah Mouaddib, and Eric Grigoire
In this paper, PRIMES (Progressive Reasoning and Intelligent multiple MEthods System), a new architecture for resource-bounded reasoning that combines a form of progressive reasoning and the so-called multiple methods approach is presented. Each time-critical reasoning component is designed in such a way that it delivers an approximate result in time whenever an overload or a failure prevents the system from producing the most accurate result. The architecture of PRIMES is presented, which includes a cooperative control module using a new incremental scheduling algorithm allowing both progressive reasoning and multiple intelligent methods to coexist. In this way, we hope to extend the actual scope of these basic real-time systems to more real-world application domains.