从规划解中学习一阶派生谓词规则

作     者：饶东宁 蒋志华 姜云飞 刘强 RAO Dong-Ning;JIANG Zhi-Hua;JIANG Yun-Fei;LIU Qiang

作者机构：广东工业大学计算机学院广州510090 中山大学信息科技学院软件研究所广州510275 暨南大学计算机科学系广州510632 

基　　金：国家自然科学基金(60173039) 广东工业大学博士启动基金项目(093032)资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2010年第33卷第2期

页      码：251-266页

摘      要：派生谓词是描述动作非直接效果的主要方式.但是由人类专家设计的派生谓词规则(即领域理论)不能保证总是正确或者完备的,因此有时很难解释一个观察到的规划解为什么是有效的.结合归纳学习与分析学习的优点,文中提出一种称为FODRL(First-Order Derived Rules Learning)的算法,在不完美的初始领域理论的引导下从观察到的规划解中学习一阶派生谓词规则.FODRL基于归纳学习算法FOIL(First-Order Inductive Learning),最主要的改进是可以使用派生谓词的激活集来扩大搜索步,从而提高学习到的规则的精确度.学习过程分为两个步骤:先从规划解中提取训练例,然后学习能够最好拟合训练例和初始领域理论的一阶规则集.在PSR和PROME-LA两个派生规划领域进行实验,结果表明,在大部分情况下FODRL比FOIL(甚至包括其变型算法FOCL)学习到的规则的精确度都要高.

主 题 词：人工智能 智能规划 派生谓词规则 归纳学习 激活集 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/sp.j.1016.2010.00251

馆 藏 号：203110243...