Robot Planning System Based on Problem Solvers
Abstract
This paper is concerned with a planning system for a robot with a hand and an eye which can manipulate blocks. Two 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 called 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.
Cite
Text
Nagata et al. "Robot Planning System Based on Problem Solvers." International Joint Conference on Artificial Intelligence, 1973.Markdown
[Nagata et al. "Robot Planning System Based on Problem Solvers." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/nagata1973ijcai-robot/)BibTeX
@inproceedings{nagata1973ijcai-robot,
title = {{Robot Planning System Based on Problem Solvers}},
author = {Nagata, Tadashi and Yamazaki, Masato and Tsukamoto, Michiharu},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1973},
pages = {388-395},
url = {https://mlanthology.org/ijcai/1973/nagata1973ijcai-robot/}
}