---
title: "Robot Planning System Based on Problem Solvers"
authors:
  - "Tadashi Nagata"
  - "Masato Yamazaki"
  - "Michiharu Tsukamoto"
doi: ""
url: "https://ijcai.org/proceedings/1973/50"
pdf: "https://ijcai.org/proceedings/1973/0050.pdf"
venue: "Proceedings of the Third International Joint Conference on Artificial Intelligence"
year: 1973
pages: "388-394"
track: "Robot Problem Solving"
keywords:
---

# Robot Planning System Based on Problem Solvers

Tadashi Nagata, Masato Yamazaki, Michiharu Tsukamoto

*Proceedings of the Third International Joint Conference on Artificial Intelligence*, pages 388-394.

## Abstract

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