Sensor Robot Planning in Incomplete Environment

Shan Zhong, Zhihua Yin, Xudong Yin, Yufeng Yao

.

DOI: 10.4236/jsea.2011.43017                

Abstract

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.

Keywords

Sensor, Robot Planning, Colored Petri Net, Action Sequence

Conflicts of Interest

The authors declare no conflicts of interest.

References

[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. http://www.daimi.au.dk/CPNTools/
[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.