Share This Article:

Sensor Robot Planning in Incomplete Environment

Abstract Full-Text HTML Download Download as PDF (Size:241KB) PP. 156-160
DOI: 10.4236/jsea.2011.43017    3,994 Downloads   7,667 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.

Conflicts of Interest

The authors declare no conflicts of interest.

Cite this paper

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


[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.

comments powered by Disqus

Copyright © 2019 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.