Planning with Non-deterministic Actions in Jason
摘要
This paper proposes a planner which can take non-deterministic actions and generate AgentSpeak plans, based on an existing linear planner. It uses a pipeline transforming the initial specification of the non-deterministic planning problem into an AND-OR tree, which is then used to solve for non-deterministic post conditions and generate a contingency plan in AgentSpeak.