基于图的推理运行时:规划器、事务日志、证据感知推理,以及在结构化领域知识上的约束强制。
这是一条实验性方向:将规划器与执行日志分离、在中间状态旁保留证据、并强制领域约束,目标是可复现、可检视的推理。
一个实验性推理运行时,分离规划器、事务日志与证据账本,并在结构化领域知识上强制约束。
