2021/8/26
24
三角表
INROOM (ROBOT , R1) CONNECTS (D1, R1, R2 )
GOTHRU (d, r1, r2 )
INROOM (BOX 1, R2 )
CONNECTS (D1, R1, R2 ) CONNECTS(x, y, z) CONNECTS(x, z, y)
▪ 初始世界模型:
INROOM (ROBOT , R1)
INROOM (BOX 1, R2 )
CONNECTS (D1, R1, R2 )
CONNECTS (D1, R2, R3)
BOX ...
(
BOX
1
)
(x, y, z)[CONNECTS(x, y, z) CONNECTS(x, z, y)]
第八章 解释学习
史忠植 中科院计算所
2021/8/26
1
内容
8.1 概述 8.2 解释学习模型 8.3 解释泛化学习方法 8.4 全局取代解释泛化方法 8.5 解释特化学习方法 8.6 解释泛化的逻辑程序 8.7 基于知识块的SOAR系统 8.8 可操作性标准 8.9 不完全领域知识下的解释学习
2021/8/26
作为前件,以定点的目标概念为后件,
略去解释结构的中间部件,生成泛化的
产生式规则。
2021/8/26
21
8.4 全局取代解释泛化方法
1986年DeJong和Mooney提出全局取代解释泛化 方法。在EBG方法中,通过实例解释结构的目 标概念回归,忽略析取实现泛化。
2021/8/26
22
STRIPS的例子
▪ 可操作标准:概念定义必须要用描述实例中的谓词,或 者选自领域知识易于评测的谓词。