Reinventing Shakey
Reinventing Shakey
复制标题
重塑Shakey
DOI：
10.1007/978-1-4615-1567-8_11
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
M. Shanahan
中科院分区：
文献类型：
--
作者：
M. Shanahan
本文介绍了逻辑基础的实施系统，采用基于分辨率的定理证明技术，高层次的机器人控制。本文提供了互补的感知和规划的逻辑特征，并显示了如何感知，规划和行动交错控制一个真实的机器人。
This paper describes the logical foundations of an implemented system which employs resolution-based theorem proving techniques for high-level robot control. The paper offers complementary logical characterizations of perception and planning, and shows how sensing, planning and acting are interleaved to control a real robot.