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