Jan, 2022

开放世界中的物理推理

TL;DR本文研究开放世界推理,用 Prolog 实现了一个容器微世界的推理器。