The Use of Logic Programming in Task Planning for Robotized Systems

Abstract:

Preparing the task for the robotic system takes several steps. Programming a robot, as the last step, is preceded by the analysis of possible variants of its implementation and trajectory planning. However, the first step is to recognize the task and to split it into fragments, according to activity, without the reference how to realize them. The modern robotics seeks the way to shorten the time to of program preparation, developing the so-called "programming at the task level." It consists in writing a program in a language, which is similar to natural one, describing only the basic operations, without going into the details of their realization the robot (like collision-free path selection or communication with the environment through interfaces and sensors). The outcome is, for example the special voice interfaces used in robotized surgery that allow the surgeon to cooperate with assisting robot without the need to divert their attention from the surgical field. In case of industrial robots, this method is treated as the experimental one and the interest is confined to purely scientific. This article discusses some aspects of this method with respect to the first stages of the task planning. A description of the robot’s workspace and defining the basic steps in a language which is similar to natural one, allows the use of logic programming language to generate pseudocode, which eventually leads to the realization of the task. Every activity could be then divided into elementary steps that must be described directly in the robot programming language. The presented method is currently at the early stage of development and does not allow the direct programming of the robot, but the generated pseudocode could be the basis of a complete program.

• Periodical: Applied Mechanics and Materials (Volumes 809-810)
• Pages: 1213-1218
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.809-810.1213
• Online since: November 2015
• Authors: Krzysztof Foit*
• Keywords: Robot, Robotics, Task-Level Programming

References

[1] I. Bacá, C. Schultz, L. Grzybowski, V. Göetzen, Voice-controlled robotic arm in laparoscopic surgery, Croat Med J. 40, 3 (1999) 409-412.

[2] S. Okada, Y. Tanaba, H. Yamauchi, S. Sato, Single-surgeon thoracoscopic surgery with a voice-controlled robot, Lancet. 351, 9111 (1998) 1249-1249.

DOI: 10.1016/s0140-6736(98)24017-7

[3] M.C. Welsh, T. Satterlee-Cartmell, M. Stine, Towers of Hanoi and London: Contribution of working memory and inhibition to performance, Brain and cognition. 41, 2 (1999) 231-242.

DOI: 10.1006/brcg.1999.1123

[4] A.M. Hinz, Shortest paths between regular states of the tower of Hanoi, Information sciences. 63, 1 (1992) 173-181.

DOI: 10.1016/0020-0255(92)90067-i

[5] A. Sapir, The Tower of Hanoi with forbidden moves, The Computer Journal. 47, 1 (2004) 20-24.

DOI: 10.1093/comjnl/47.1.20

[6] H. Ito, S. Langerman, Y. Yoshida, Algorithms and complexity of generalized river crossing problems, Fun with Algorithms, Springer Berlin Heidelberg, (2012).

DOI: 10.1007/978-3-642-30347-0_24

[7] P. Csorba, C.A. Hurkens, G.J. Woeginger, The Alcuin number of a graph, Algorithms-ESA, Springer Berlin Heidelberg, 2008, pp.320-331.

DOI: 10.1007/978-3-540-87744-8_27

[8] R. Gilberg, B. Forouzan, Data Structures: A pseudocode approach with C. Cengage Learning, (2004).

[9] D. Blank, D. Kumar, L. Meeden, H. Yanco, Pyro: A python-based versatile programming environment for teaching robotics, Journal on Educational Resources in Computing. 4, 3 (2004) 3.

DOI: 10.1145/1083310.1047569

[10] H.M. Choset (Ed. ), Principles of robot motion: theory, algorithms, and implementation, MIT press, (2005).

[11] K.H. Petersen, R Nagpal, JK Werfel, Termes: An autonomous robotic system for three-dimensional collective construction, 2011, available at http: /nrs. harvard. edu/urn-3: HUL. InstRepos: 12379539, accessed 10. 02. (2015).

DOI: 10.15607/rss.2011.vii.035

[12] N. Ackovska, S. Bozinovski, Biped Robots: From Inverted Pendulum to Programming 12dof Dancing Postures, In: Proc. Seventh International Conference for Informatics and Information Technologies, 2010, pp.3-7.

[13] C.C. Kuhlthau, From Information to Meaning: Confronting Challenges of the Twenty-first Century, Libri, 2008, vol. 58, p.66–73.

DOI: 10.1515/libr.2008.008

[14] C. Menant, Information and Meaning, Entropy. 5 (2003) 193-204.

[15] Turbo Prolog – Owner's handbook, Borland International Inc., (1986).

[16] U. Nilsson, J. Maluszynski, Logic, Programming and Prolog, John Wiley & Sons Ltd, (1995).