1996 · 57 citations · 4 references
ComputingAutonomous SystemsPath PlanningPlan Making ProcessesTemporal Knowledge RepresentationTemporal LogicResource-bounded PlanningTemporal Constraint SatisfactionTemporal Constraint SolvingTemporal Logic ReasoningTemporal Reasoning
. This paper presents a new approach to the task of integrating temporal and resource reasoning in planning. The specific task is essentially a disjunctive scheduling problem complicated by three interdependent factors, (1) multiple capacity resources, (2) action overlap and (3) variable action duration. The approach uses Boolean meta-variables to link temporal and resource reasoning and is implemented in the CLP language ECL i PS e . Empirical studies indicate that the technique significantly enhances the search for plan feasibility and serves to minimise the effort of generating a plan using the least number of actions. 1 INTRODUCTION The task of integrating resource reasoning and scheduling presents a significant challenge to AI planning. Scheduling actions with respect to available resources involves reasoning about the degree to which actions can or must overlap; it also involves reasoning about the duration of actions, which may vary according to the resources available. We ...
4
Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations
Planning with sharable resource constraints
Philippe Labone, Malik Ghallab · 1995 · 181 citations