Skip to main content
×
×
Home

The application of logic programming to the generation of plans for robots

  • R. H. Davis (a1) and M. Comacho (a1)
Summary

The previous paper by the same authors (Robotica 2, Part 2, pp. 93–103 1984) was concerned with the application of logic programming to the generation of paths for robots. This paper is dealing with the PIGS system for robot problem-solving in generating plans for robots. The system avoids the overhead of generating a new set of facts for each state considered. A computer-type control is adopted not only to generate a simple sequence of actions to be performed by the robot, but also to enable the robot to follow an accurately defined path. A suitable plan of action of a robot problem-solving system is generated. The system is written in the PROLOG language and acts as a robot plan generator that is integrated with a path finding procedure in order to avoid collisions whilst plans are being implemented.

Copyright
References
Hide All
1Fikes, R.E. and Nilsson, N.J., “STRIPS: a new approach to the application of theorem-proving to problem-solvingArtificial Intelligence 2, 189208 (1971).
2Hewitt, C., “Description and theoretical analysis of PLANNER” AI Memo 251, MIT (1972).
3Bonner, S. and Shin, K.G., “A Comparative Study of Robot Languages” Computer IEEE 8296 (1982).
4Camacho, M., “Robot Programming using Logic Programming” MSc Dissertation, Heriot-Watt University (10. 1983).
5Warren, D.H.D., “Implementing Prolog-Compiling Predicate Logic Programs” Tech. Reports No. 39 & 40, Dept. of Artificial Intelligence, University of Edinburgh, (1977).
6Gallaire, H., and Minker, J., Logic and Data Bases (Plenum Press, New York, 1978).
7Pereira, F.C.N. and Warren, D.C.D., “Definite Clause Grammars for Language AnalysisArtificial Intelligence 13, 231278 (1980).
8Clark, K.L. and McCabe, F.G., “Prolog: A Language for Implementing Expert SystemsDept. of Computing, Imperial College London (11., 1980).
9Markusz, Z., “Application of Prolog in Designing Many Storied Dwelling Houses” Logic Programming Workshop Debrecen, Hungary (14th–19th 07, 1980).
10Coelo, H., Cotta, J.C., and Pereira, L.M., “How to Solve it with Prolog”, Laboratorio Naeional de Engenharia Civil, Lisboa, Portugal (1980).
11Sussman, G.L. “HACKER: A Computational Model of Skill Acquisition” Ph.D. Thesis, MIT. (1973).
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Robotica
  • ISSN: 0263-5747
  • EISSN: 1469-8668
  • URL: /core/journals/robotica
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 9 *
Loading metrics...

Abstract views

Total abstract views: 81 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 12th June 2018. This data will be updated every 24 hours.