假定已经有某种方法将entities/ontologies, relation/proposition/verb分别统一表示(用算子理论描述的话，也即得到算子/操作符，操作数的两个对偶表示空间，在算子空间中，维度相同，不同的算子仅取值不同。
最初的设想，推理的模式只有在相同空间中找最近邻，为一个空间的要素在另一个空间中找相关元素(和协同推荐差不多，可以认为是通过矩阵分解得到两个空间)
但是发现很多应用都不是这样，比如输入的问题同时包含操作数和操作符(奥巴马的出生地？出生地为算子，还输入了操作数"奥巴马"); 还有问题中包含数值，不全都是逻辑命题推理式应用，比如问2+3=?(操作数空间--一般是枚举--中如何建模数值,相应的推理怎么表示？)
一般的框架是将推理建模成后验概率计算，但在经典情形中后验概率涉及的变元是固定的，而这里涉及的实体数量不定，怎么处理 ？