归纳逻辑程序设计的理论与算法

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:jn116600
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
归纳逻辑程序设计(ILP)是机器学习与逻辑程序设计技术发展并结合而产生的新的研究领域.该文主要致力于ILP的理论基础及其算法的研究,着重讨论归纳逻辑程序设计的语义理论及其实现方法、归纳假设的构造与计算复杂性、极小一般普化方法、最大一般特化方法以及智能系统中的一阶知识应用方法等.主要研究内容与成果如下:(1)研究了ILP的语义及其实现方法问题;(2)研究了归纳假设的构造问题;(3)研究了极小一般普化问题;(4)研究了最大一般特化问题;(5)在应用研究方面,将一阶知识的自动推理与归纳有机地结合起来,形成一个较为完整的一阶智能系统解决方案并同时实现ILP的应用.
其他文献
该文对监测网络这一特定领域的软件自动生成技术进行了研究.作为该技术研究的基础,抽象出一个两层次客户/服务器模型;提出一种监测网络软件自动生成技术,它分两步实现:一、程
术语抽取技术是信息处理领域的一项基础性课题,是自然语言处理领域的非常重要的子任务,在诸如自然语言的生成、句法分析、数据挖掘以及机器翻译、文本分类等很多领域都有广泛的
该文阐述了计算机数据库技术的发展历史以及应用广泛的关系数据库系统,对计算机网络技术发展过程中的三种网络计算模式做了分析比较.重点论述了基于客户/服务器的分布式数据
该文主要就机械加工企业生产经营管理信息系统的设计及实现方法进行了比较全面、系统的研究,提出了一套比较具体、实用、可操作的技术方案.在实现的技术方案中,该文还就机械
该课题是为了实现一个基于PC的同视频会议系统.该文对因特网上的声音质量的研究是该课题的成果之一.首先介绍了多媒体通信的发展历史及一般技术,描述动态系统的Petri网理论.
该文主要进行了基于先进的Internet/Intranet信息模型,面向大型软件研发单位的MIS的分析、设计的研究,及其在方正研究院管理信息系统(FRCMIS)中应用实现.首先,该文简要介绍了
形式概念分析是一种新的数据挖掘理论,它最早是由德国学者Wille提出的,它的核心数据结构是概念格结构模型。形式概念分析的思想主要来源于哲学,在哲学中,概念是由外延和内涵
该文首先由Intranet起源引出Intranet的定义,简述了Intranet特点和基本组成,并进而讨论了Intranet网的组织规划,由此得出Intranet体系结构的定义和构建方法.随着新技术的不断
在参与开发北京台、南京台、苏州台等多家电视台的新闻系统中,作者以软件设计的产品化为指导思想,通过分析多家电视台的的需求,作者不断总结经验,探索实现系统通用性的方法.
自从20世纪90年代初以来,随着计算机网络通信的蓬勃发展,借助个人计算机连接因特网,可以将信息(文字、图像、声音、多媒体数据等)迅速地传播到世界各地,信息安全的概念也随着信息技