29、生物语法学习的ILP精炼算子研究

生物语法学习的ILP精炼算子研究

规则约束条件

在生物语法学习中，规则存在一些约束条件：
- c0 ：规则头部包含两个变量。
- c1 ：头部的第一个变量必须与主体中第一个文字的第一个变量统一。
- c2 ：除最后一个文字外，主体中所有文字的第二个变量必须与下一个文字的第一个变量统一。
- c3 ：头部的第二个变量必须与主体中最后一个文字的第二个变量统一。
- c4 ：未由(c1 - c3)指定的所有变量对不能统一。

部分约束可以通过以下形式的模式声明来强制执行： modeh(1,target(+rl,-rl)) 和 modeb(n,bk predicate(+rl,-rl)) 。这些声明能强制执行 c0 - c1，但只能部分强制执行 c2 - c4。

底部子句构建

• 底部子句的概念 ：底部子句 botc(e) 由正例 e 构建，代表使用背景知识定义且符合模式声明的最具体逻辑程序，能覆盖 e 。CProgol 算法通过取一个示例 e1 构建其底部子句 botc(e1) ，然后在 θ - 包含 botc(e1) 的子句集中搜索，根据评估函