Aiming at the former formalized methods such as Strips, Situation Calculus and Fluent Calculus can not represent the action time and get the action sequence automatically, a novel method based on timed color Petri net...Aiming at the former formalized methods such as Strips, Situation Calculus and Fluent Calculus can not represent the action time and get the action sequence automatically, a novel method based on timed color Petri net—RPBTC was defined. The action time, the precondition and the post-condition of action are formalized in RPBTC based on the Fluent Calculus reasoning rules. An algorism for constructing the RPBTC net system based on bidirectional search strategy is proposed, and through executing the RPBTC net system, the action sequence for reaching the goal can be generated dynamically and the time for the robot reaching the goal also can be obtained. The experiment has proved the method RPBTC as a feasible method for robot planning.展开更多
文摘Aiming at the former formalized methods such as Strips, Situation Calculus and Fluent Calculus can not represent the action time and get the action sequence automatically, a novel method based on timed color Petri net—RPBTC was defined. The action time, the precondition and the post-condition of action are formalized in RPBTC based on the Fluent Calculus reasoning rules. An algorism for constructing the RPBTC net system based on bidirectional search strategy is proposed, and through executing the RPBTC net system, the action sequence for reaching the goal can be generated dynamically and the time for the robot reaching the goal also can be obtained. The experiment has proved the method RPBTC as a feasible method for robot planning.
