Maximizer
发表于 2025-3-25 04:39:42
Reinventing ShakeyThis 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.
罗盘
发表于 2025-3-25 10:01:38
http://reply.papertrans.cn/59/5881/588090/588090_22.png
Genetics
发表于 2025-3-25 12:29:03
http://reply.papertrans.cn/59/5881/588090/588090_23.png
TAG
发表于 2025-3-25 17:13:27
http://reply.papertrans.cn/59/5881/588090/588090_24.png
MUTE
发表于 2025-3-25 20:19:23
Two Approaches to Efficient Open-World Reasoningtain contexts with open-world ones. We discuss two cases, one based on restricting queries to be in a certain normal form, and the other, arising in reasoning about actions, based on having sensing information at the right time so as to dynamically reduce open-word reasoning to closed-word reasoning.
cushion
发表于 2025-3-26 01:51:22
http://reply.papertrans.cn/59/5881/588090/588090_26.png
Chipmunk
发表于 2025-3-26 05:08:52
http://reply.papertrans.cn/59/5881/588090/588090_27.png
不容置疑
发表于 2025-3-26 11:41:03
http://reply.papertrans.cn/59/5881/588090/588090_28.png
高原
发表于 2025-3-26 14:02:42
http://reply.papertrans.cn/59/5881/588090/588090_29.png
Abutment
发表于 2025-3-26 17:51:44
http://reply.papertrans.cn/59/5881/588090/588090_30.png