Dependable reactive event-oriented planning

摘要

This paper presents a planner that reasons explicitly about time and a safe reaction in time. A distributed architecture supports usage of knowledge-based techniques to find effective solutions and procedural knowledge to react very fast on asynchronous events. If enough time is available, the knowledge-based planner ‘programs’ the procedural component with an improved reaction.The approach is illustrated by a railway control and transportation application that is relevant since it is safety-critical and co complex that knowledge-based techniques are necessary to master the complexity appropriately. The Planner is implemented in a PROLOG-environment.