52、基于对象上下文的θ-包含与归纳逻辑编程在词义消歧中的应用

基于对象上下文的θ-包含与归纳逻辑编程在词义消歧中的应用

1. 基于对象上下文的θ-包含

在处理θ-包含问题时，有一种基于对象上下文的新方法。在某些情况下，局部一致性检查会被实现为一个函数，它会检查在 $Y_f$ 和 $Y_g$ 定义域中的每一对 $f’$ 和 $g’$，判断赋值 ${f/f’, g/g’}$ 是否一致。

当需要进行扩展的θ-包含时（例如，子句部分指定的情况），还需要研究如何扩展当前的双重约束表示，以解决这个扩展的θ-包含问题。对于基于OBJCON的方法，提出了以下扩展算法：在扩展的替换图 *G 中找到任意大小的所有团，而不是在替换图 G 中搜索大小为 |C| 的所有团。其中，顶点是统一替换，并且兼容性条件是在统一替换上定义的。

任务类型	描述
局部一致性检查	检查每对 $f’$ 和 $g’$ 的赋值 ${f/f’, g/g’}$ 是否一致
扩展θ-包含问题	研究扩展双重约束表示以解决问题
OBJCON扩展算法	在扩展替换图 *G 中找任意大小团

相关工作方面，有一些已知的方法。例如，Django 是目前基于约束满足的最快的θ-包含检查器，但它只返回“是/否”的二元答案，即使在肯定情况下也不提供解决方案。Fasϑ 系