Robot planning system based on problem solvers

作者: Michiharu Tsukamoto , Tadashi Nagata , Masato Yamazaki

DOI:

关键词:

摘要: This paper is concerned with a planning system for robot hand and an eye which can manipulate blocks. Two different kinds of problem solvers are used. One mainly composed theorem prover based on the resolution principle, other consists pattern matching. These called GOAL-FINDER JOB-SCHEDULER corresponding to their functions. decides goal state that suitable order operator. produces job sequence perform given constraints block world.

参考文章(4)
John H. Munson, Robot planning, execution, and monitoring in an uncertain environment international joint conference on artificial intelligence. pp. 338- 349 ,(1971)
Richard E. Fikes, Nils J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving Artificial Intelligence. ,vol. 2, pp. 189- 208 ,(1971) , 10.1016/0004-3702(71)90010-5
George W Ernst, Allen Newell, None, GPS : a case study in generality and problem solving Published in <b>1969</b> in New York NY) by Academic press. ,(1969)