归纳逻辑程序设计中的优化问题研究

作     者：叶风 徐晓飞 权光日 陈彬 邱深山 

作者机构：哈尔滨工业大学计算机科学与工程系 

基　　金：国家"八六三"高技术计划基金 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：1999年第36卷第5期

页      码：560-566页

摘      要：归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设．按Ｏｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决．文中以扩张矩阵理论为工具证明了归纳假设构造中的一些主要最优化问题的计算复杂性是ＮＰ困难的，并给出了构造优假设的启发式算法，实验表明该算法产生的归纳假设在结构上具有明显的优越性．

主 题 词：归纳学习 归纳逻辑程序 程序设计 优化 

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

核心收录：

馆 藏 号：203108728...