Cooperative robot programming based on the parallel logic language KL1
Fumio Mizoguchi, Keiichi Iizuka, Hiroyuki Nishiyama, Hayato Ohwada · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1996
Multi-agent root systems for the real world, must handle negotiations between agents. In this paper, we present a robot language which makes it easy to describe negotiation processes. This language provides concurrency and synchronization based on the logic programming language KL1. We incorporate the language into a look-ahead facility for handling emergent situations. Thus, reactive actions can be described in the language. We illustrate these facilities through cooperate tasks in pick-and-place problems.