论文标题
在开放世界中的身体推理
Physical Reasoning in an Open World
论文作者
论文摘要
大多数关于人工智能和认知科学领域的物理推理的工作都集中在封闭世界的推理上，其中假定问题规范指定了所有相关的对象和物质，它们在最初的情况下以及所有外源性事件。但是，在许多情况下，进行开放世界的推理很重要。也就是说，从非常不完整的信息中得出有效的结论。我们已经在Prolog中实施了一个开放世界的推理器，用于一个可以加载，卸载，密封，未密封，携带和倾倒的容器的玩具微世界。
Most work on physical reasoning, both in artificial intelligence and in cognitive science, has focused on closed-world reasoning, in which it is assumed that the problem specification specifies all relevant objects and substance, all their relations in an initial situation, and all exogenous events. However, in many situations, it is important to do open-world reasoning; that is, making valid conclusions from very incomplete information. We have implemented in Prolog an open-world reasoner for a toy microworld of containers that can be loaded, unloaded, sealed, unsealed, carried, and dumped.
