在对描述对话表达式语义的谓词执行引用解析时，由于在开放世界中工作，我需要能够允许部分统一。
例如，考虑以下场景：
你面前有一个蓝色的盒子。我们使用 id 来引用这个蓝色框3。
一组谓词box(x)^blue(x)可以轻松解析为您所知道的蓝色框。进行此查询将返回3
一组谓词ball(x)^yellow(x)不会解决任何问题。这可以。
但现在考虑ball(x)^yellow(x)^box(y)^blue(y)^behind(x,y) 的是，蓝色盒子后面的黄色球。
我们不知道黄球，但我们知道蓝盒子！当然，有可能已知盒子后面没有球，而另一个盒子正在被提及。但我们很确定我们知道正在谈论什么盒子。
我在一个概率框架内工作，在这个框架中我计算每组绑定满足一组命题的概率；然后，引用解析过程返回最可能的统一器/绑定集。不幸的是，在考虑 时behind(x,y)，我的系统消除了3被绑定到的可能性，y因为它不知道带有 id 的框后面有任何黄球3。
有没有办法对谓词进行部分统一，以便系统确定该语句最可能的解析是，y/3 x/?即 y 绑定到 3 并且 x 的身份是未知的？