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.
展开▼
机译:maroc plan d'Orientation pour le Developpement Economique et social 1988-1992:plan de Concertation et de participation(摩洛哥:1988-1992经济和社会发展指导计划:咨询和参与计划)