您的位置: 专家智库 > >

李飞雄

作品数:1 被引量:0H指数:0
供职机构:苏州大学计算机科学与技术学院更多>>
发文基金:教育部科学技术研究重点项目国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇逻辑程序
  • 1篇逻辑程序设计
  • 1篇归纳逻辑程序...
  • 1篇程序设计
  • 1篇FOIL

机构

  • 1篇苏州大学

作者

  • 1篇李志涛
  • 1篇杨道文
  • 1篇李飞雄

传媒

  • 1篇苏州大学学报...

年份

  • 1篇2009
1 条 记 录,以下是 1-1
排序方式:
基于FOIL算法的约束归纳方法研究
2009年
对FOIL算法进行了深入剖析,针对归纳逻辑程序设计处理数值量弱的缺点,在FOIL算法的基础上作了改进。研究一种新的约束归纳算法,该算法通过在特殊化时对假设空间的划分和引入Fisher判别方法,能够导出不受变量个数限制的多种形式的线性约束。实验结果证明,改造后的算法在约束求解方面具有有效性。
杨道文李志涛李飞雄
关键词:归纳逻辑程序设计FOIL
共1页<1>
聚类工具0