Sensor Robot Planning in Incomplete Environment
Shan Zhong, Zhihua Yin, Xudong Yin, Yufeng Yao
DOI: 10.4236/jsea.2011.43017   PDF    HTML     4,516 Downloads   8,749 Views  


Aiming at the former formalized methods of robot planning should give the environment state, can not obtain the new knowledge of the environment. In order to improve the reason ability for obtaining new knowledge of the environment state, the actions in the process of planning such as external action and sensing action are formalized. A formalized reasoning method—CPNI (Colored Petri Net for Planning in incomplete environment) based on two kinds of actions is proposed, and the reasoning rule as Fluent Calculus in incomplete environment is applied. Robot planning experiment is modeled and simulated by using the tool CPNTools and the result shows the state knowledge of the door and the action sequence to reach the goal can be generated automatically in the CPNI net system.

Share and Cite:

Zhong, S. , Yin, Z. , Yin, X. and Yao, Y. (2011) Sensor Robot Planning in Incomplete Environment. Journal of Software Engineering and Applications, 4, 156-160. doi: 10.4236/jsea.2011.43017.

Conflicts of Interest

The authors declare no conflicts of interest.


[1] R. Reiter, “Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems,” MIT Press, London, 2001.
[2] C. Y. Yuan, “The Principle and Application of Petri Net,” Electronic Industry Press, Beijing, 2005
[3] P. F. Palamara, V. A. Ziparo, L. Iocchi, et al., “A Robotic Soccer Passing Task Using Petri Net Plans,” Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems, Estoril, 2008, pp. 1711-1712.
[4] F. Silva, M. Castilho and L. Kunzle, “Petriplan: A New Algorithm for Plan Generation,” Proceedings of IBERAMIA/SBIA, Spinger-Verlag, Brazil, 2000, pp. 86-95.
[5] V. A. Ziparo and L. Iocchi. “Petri Net Plans,” Fourth International Workshop on Modelling of Objects, Components, and Agents, Roma, 2006, pp. 267-290.
[6] Y. Jin and M. Thielscher, “Iterated Belief Revision, Revised,” Artif Intell, Vol. 171, No. 1, 2007, pp. 1-18. doi:10.1016/j.artint.2006.11.002
[7] S. Sardina, G. De Giacomo, Y. Les-Perance, et al., “On the Semantics of Deliberation in Indigolog-from Theory to Implementation,” Annals of Mathematics and Artificial Intelligence, Vol. 41, No. 2-4, 2004, pp. 259- 299.
[8] CPNTools, “A Computer Tool for Colored Petri Nets,” 2008.
[9] Y. S. Liu, S. Zhong and Y. Z. Zhan, “A Model for Representing Reasoning about Actions Based on Colored Petri Net,” Journal of Jiangsu University, Natural Science Edition, Vol. 31, No. 3, 2010, pp. 335-338.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.