1. 序贯覆盖

回归： 分类：

聚类：

逻辑规则：

读作：若（文字1且文字2且...），则目标概念成立

规则集：充分性与必要性；冲突消解：顺序规则、缺省规则、元规则

eg：

命题逻辑 → 命题规则

原子命题：𝐴,𝐵,𝐶,…A,B,C,…；逻辑连词：↔,→,←,⋀,⋁,¬…↔,→,←,⋀,⋁,¬…

一阶逻辑 →一阶规则

常量：𝑎,𝑏,𝑏,…,1,2,3,…；变量：𝐴,𝐵,𝐶,…A,B,C,…

（n元）谓词/函数： p/n, f/n；项：常量|变量|函数/谓词（项1，项2，…）

原子公式：函数/谓词（项1，项2，…）父亲（X,Y），自然数（39），偶数（后继（1）），…

逻辑连词：↔,→,←,⋀,⋁,¬…；逻辑量词：∀，∃

序贯覆盖：在训练集上每学到一条规则，就将改规则覆盖的样例去除，然后以剩下的样例组成训练

集重复上述过程（ 分治策略）。

 

2. 单条规则学习

目标：寻找一组最优的逻辑文字来构成规则体。本质：搜索问题；搜索空间大，易造成组合爆炸。

方法：自顶向下：一般到特殊（ 泛化）；自底向上：特殊到一般（ 特化）

自顶向下策略：一般到特殊（特化）

 

自底向上策略：特殊到一般（泛化）

规则评判：增加/删除哪一个候选文字；准确率；信息熵增益（率）；基尼系数 ……

规避局部最优：集束搜索：每次保留最优的多个候选规则 ……

3. 剪枝优化

贪心算法导致的非最优的算法：

预剪枝：似然率统计量：

后剪枝：剪错剪枝（REP）：穷举所有可能的剪枝操作（删除文字、删除规则），复杂度非常高，

用验证集反复剪枝直到精确率无法提高。

二者结合：IREP：每生成一条新规则即对进行REP剪枝

IREP*：是对IREP的优化

RIPPER：

 IREP*生成规则集，选取其规则，找到其覆盖的样例，重新生成规则，特化原规则在泛化，把原规

则和新规则放入规则集中进行评价，留下最好的，反复优化直到无法进步。

RIPPER将所有规则放在一起优化，通过全局的考虑来缓解序贯覆盖的局部性。