期刊文献+
共找到82篇文章
< 1 2 5 >
每页显示 20 50 100
CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 被引量:2
1
作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页
近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多
关键词 OODB语言 约束演绎 多类型逻辑
在线阅读 下载PDF
基于记忆策略的元解释学习
2
作者 王榕 田聪 +2 位作者 孙军 于斌 段振华 《软件学报》 北大核心 2025年第8期3477-3493,共17页
元解释学习(meta-interpretive learning,MIL)是一种归纳逻辑程序设计(inductive logic programming,ILP)方法,旨在从一组实例、元规则和其他背景知识中学习一个程序.MIL采用深度优先和失败驱动策略在程序空间中搜索适当的子句以生成程... 元解释学习(meta-interpretive learning,MIL)是一种归纳逻辑程序设计(inductive logic programming,ILP)方法,旨在从一组实例、元规则和其他背景知识中学习一个程序.MIL采用深度优先和失败驱动策略在程序空间中搜索适当的子句以生成程序.事实上,这种机制不可避免地引发了对相同目标重复证明的问题.提出一种剪枝策略,该策略利用Prolog内置的数据库机制来存储未能达成的目标及其对应的错误信息,从而有效避免冗余的证明过程.此后,这些累积的错误信息能够作为指导,帮助MIL系统在未来的学习过程中进行优化和调整.证明剪枝算法的正确性,并在理论上计算程序空间的缩减比例.将所提出的方法应用于两个现有的MIL系统Metagol和Metagol_(AI),从而产生了两个新的MIL系统MetagolF和Metagol_(AI_F).在4个不同任务上的实证结果表明,所提出的策略可以显著减少学习相同程序的时间消耗. 展开更多
关键词 元解释学习 冗余证明 记忆策略 剪枝算法 归纳逻辑程序设计
在线阅读 下载PDF
基于反事实的相关背景知识获取方法
3
作者 王学敏 包旭光 +1 位作者 常亮 郝远静 《计算机工程与应用》 CSCD 北大核心 2024年第20期168-179,共12页
在多任务学习中,学习器会将已学到的知识添加到背景知识库中,并利用这些背景知识来辅助其他任务的学习。然而,随着背景知识的不断积累,知识库可能会变得庞大,给学习系统带来负担。因此,有必要对不相关的背景知识进行遗忘。现有的遗忘策... 在多任务学习中,学习器会将已学到的知识添加到背景知识库中,并利用这些背景知识来辅助其他任务的学习。然而,随着背景知识的不断积累,知识库可能会变得庞大,给学习系统带来负担。因此,有必要对不相关的背景知识进行遗忘。现有的遗忘策略往往未充分考虑背景知识与学习任务之间的关联性,而是为不同的归纳任务提供相同的背景知识。针对这一问题,提出了一种基于反事实思维的相关性识别方法,即反事实获取法。该方法通过相关性函数评估每个假设对学习任务的具体贡献,仅保留那些相关性函数值超过设定阈值的假设。此外,该方法应用于归纳逻辑编程领域,设计出一个名为Countergol的多任务归纳逻辑编程学习器。理论分析显示,Countergol能够有效地缩减假设空间及样本复杂度。实验结果表明,通过与其他遗忘方法的对比,Countergol在大量任务学习中的优越性得到了进一步验证。 展开更多
关键词 归纳逻辑程序设计 反事实 多任务学习
在线阅读 下载PDF
汽车阻尼可调半主动悬架混杂模型预测控制 被引量:11
4
作者 张亮修 王宇 +1 位作者 吴光强 刘兆勇 《西安交通大学学报》 EI CAS CSCD 北大核心 2017年第11期156-164,共9页
为协调汽车阻尼连续可调半主动悬架舒适性和操稳性之间的矛盾,并考虑减振器阻尼力须满足的非线性约束条件,研究了一种适用于半主动悬架的混杂模型预测控制方法,包括建立半主动悬架单轮车辆模型,提出综合描述舒适性和操稳性的悬架优化控... 为协调汽车阻尼连续可调半主动悬架舒适性和操稳性之间的矛盾,并考虑减振器阻尼力须满足的非线性约束条件,研究了一种适用于半主动悬架的混杂模型预测控制方法,包括建立半主动悬架单轮车辆模型,提出综合描述舒适性和操稳性的悬架优化控制目标函数及半主动悬架须满足的非线性约束条件。利用混合逻辑动态建模方法描述半主动悬架混杂系统模型,基于模型预测控制理论研究半主动悬架混杂系统的有限时域优化控制问题。为便于问题求解,将非线性约束优化问题转化为包含实值变量和二值变量的混合整数二次规划问题,并借助分支定界算法进行求解。在随机路面和正弦波突起路面进行仿真验证后表明,所提混杂模型预测方法明显优于被动悬架和传统线性二次型调节器算法,能有效提高阻尼可调半主动悬架的综合性能,并在不同的路面输入激励和车速下均能取得较好的控制效果。 展开更多
关键词 半主动悬架 非线性约束优化 混合逻辑动态建模 混杂模型预测控制 混合整数二次规划
在线阅读 下载PDF
归纳逻辑程序设计综述 被引量:4
5
作者 郑磊 贾东 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第17期43-46,86,共5页
归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研... 归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。 展开更多
关键词 机器学习 逻辑程序设计 归纳逻辑程序设计 粗糙—归纳逻辑程序设计 遗传归纳逻辑程序设计 约束归纳逻辑程序设计 关系数据挖掘
在线阅读 下载PDF
溯因推理研究:现状与问题 被引量:6
6
作者 陈荣 姜云飞 林笠 《计算机科学》 CSCD 北大核心 2003年第5期23-25,36,共4页
The notion of abduction was first introduced by the philosopher and logician C. S. Pierce, who claims de-duction, abduction and induction are three different forms of human reasoning. Broadly speaking, abduction is a ... The notion of abduction was first introduced by the philosopher and logician C. S. Pierce, who claims de-duction, abduction and induction are three different forms of human reasoning. Broadly speaking, abduction is a rea-soning process invoked to explain a puzzling observation. The study of logic-based abduction has been the most activeresearch in AI, and there are many results around the subject. This paper surveys the state-of-the-art research andpresents some problems for future work. 展开更多
关键词 人工智能 溯因推理 归纳推理 演绎推理
在线阅读 下载PDF
约束归纳逻辑程序设计方法的研究 被引量:3
7
作者 郑磊 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第10期63-66,共4页
提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用... 提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。 展开更多
关键词 约束归纳逻辑程序设计方法 程序设计方法 机器学习 Porlog语言 ILP系统
在线阅读 下载PDF
多关系数据挖掘方法研究 被引量:5
8
作者 徐光美 杨炳儒 +1 位作者 张伟 宁淑荣 《计算机应用研究》 CSCD 北大核心 2006年第9期8-12,共5页
目前大多数数据挖掘方法是从单关系中发现模式,而多关系数据挖掘(MRDM)则可直接从关系数据库的多表中抽取有效模式。MRDM可以解决原有命题数据挖掘方法不能解决的问题,它不仅有更强的信息表示能力,可以表示和发现更复杂的模式,还可以在... 目前大多数数据挖掘方法是从单关系中发现模式,而多关系数据挖掘(MRDM)则可直接从关系数据库的多表中抽取有效模式。MRDM可以解决原有命题数据挖掘方法不能解决的问题,它不仅有更强的信息表示能力,可以表示和发现更复杂的模式,还可以在挖掘进程中有效地利用背景知识来提高挖掘效率和准确率。近年来,借鉴归纳逻辑程序设计(ILP)技术,已经形成许多多关系数据挖掘方法,如关系关联规则挖掘方法、关系分类聚类方法等。 展开更多
关键词 多关系数据挖掘(关系数据挖掘) 归纳逻辑程序设计 关系分类回归 关系关联规则 基于距离的关系方法
在线阅读 下载PDF
RTL数据通路模拟矢量自动生成方法研究与实现 被引量:2
9
作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。 展开更多
关键词 RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解
在线阅读 下载PDF
智能教学系统中自动推理模块的设计与实现 被引量:2
10
作者 郑磊 贾东 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2002年第3期363-368,共6页
以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语... 以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题. 展开更多
关键词 自动推理模块 设计 智能教学系统 约束逻辑程序设计 Strips算子 中学 数学教学
在线阅读 下载PDF
基于约束程序的变迁约束可达问题判定研究 被引量:3
11
作者 覃海生 蓝乾艺 杨夏妮 《广西大学学报(自然科学版)》 CAS CSCD 2007年第3期307-311,共5页
在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发... 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U. 展开更多
关键词 PETRI网 可达问题 逻辑抽象技术 变迁约束 约束程序
在线阅读 下载PDF
一种自顶向下和自底向上相结合的ILP算法 被引量:2
12
作者 许中卫 李炜 +1 位作者 宋杰 吴建国 《计算机工程与应用》 CSCD 北大核心 2006年第15期23-25,共3页
归纳逻辑程序设计(ILP)是机器学习的一个重要分支,给定一个样例集和相关背景知识,ILP研究如何构建与其相一致的逻辑程序,这些逻辑程序由有限一阶子句组成。文章描述了一种综合当前一些ILP方法多方面优势的算法ICCR,ICCR溶合了以FOIL为... 归纳逻辑程序设计(ILP)是机器学习的一个重要分支,给定一个样例集和相关背景知识,ILP研究如何构建与其相一致的逻辑程序,这些逻辑程序由有限一阶子句组成。文章描述了一种综合当前一些ILP方法多方面优势的算法ICCR,ICCR溶合了以FOIL为代表的自顶向下搜索策略和以GOLEM为代表的自底向上搜索策略,并能根据需要发明新谓词、学习递归逻辑程序,对比实验表明,对相同的样例及背景知识,ICCR比FOIL和GOLEM能学到精度更高的目标逻辑程序。 展开更多
关键词 归纳逻辑程序设计 自顶向下 自底向上 一阶子句
在线阅读 下载PDF
基于断言的模拟矢量自动生成方法 被引量:4
13
作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2004年第10期1441-1450,共10页
VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输... VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高. 展开更多
关键词 VLSI 断言 模拟矢量自动生成
在线阅读 下载PDF
论归纳与演绎逻辑的融合 被引量:5
14
作者 宋伟 桂起权 《华中科技大学学报(社会科学版)》 2003年第3期29-31,75,共4页
由于归纳与演绎逻辑具有不同的逻辑推理特征,二者长期以来一直处于一种分化的状态。然而,目前人工智能逻辑程序设计的研究正在改变这种状态,即在一种逻辑=推理+控制的新框架内,归纳与演绎逻辑之间出现了一种融合的倾向。
关键词 归纳逻辑 演绎逻辑 逻辑程序设计 融合
在线阅读 下载PDF
归纳逻辑程序设计中的优化问题研究 被引量:1
15
作者 叶风 徐晓飞 +2 位作者 权光日 陈彬 邱深山 《计算机研究与发展》 EI CSCD 北大核心 1999年第5期560-566,共7页
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设.按Ocam准则,满足约束的最精简归纳假设为优,但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决.文中以扩张矩阵理论为工具证明了归... 归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设.按Ocam准则,满足约束的最精简归纳假设为优,但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决.文中以扩张矩阵理论为工具证明了归纳假设构造中的一些主要最优化问题的计算复杂性是NP困难的,并给出了构造优假设的启发式算法,实验表明该算法产生的归纳假设在结构上具有明显的优越性. 展开更多
关键词 归纳学习 归纳逻辑程序 程序设计 优化
在线阅读 下载PDF
多关系数据挖掘研究综述 被引量:4
16
作者 张伟 杨炳儒 宋威 《计算机工程与应用》 CSCD 北大核心 2006年第2期1-6,共6页
多关系数据挖掘是近年来快速发展的重要的数据挖掘领域之一。传统的数据挖掘方法只能完成单一关系中的模式发现,多关系数据挖掘能够从复杂结构化数据中发现涉及多个关系的复杂模式。该文综述了多关系数据挖掘的研究状况。首先分析了多... 多关系数据挖掘是近年来快速发展的重要的数据挖掘领域之一。传统的数据挖掘方法只能完成单一关系中的模式发现,多关系数据挖掘能够从复杂结构化数据中发现涉及多个关系的复杂模式。该文综述了多关系数据挖掘的研究状况。首先分析了多关系数据挖掘领域发生的原因和背景,其次总结了多关系数据挖掘研究的一般方法,然后介绍、分析了最具代表性的多关系数据挖掘算法。最后,总结了多关系数据挖掘将来发展需重点解决的问题和面临的挑战。 展开更多
关键词 多关系数据挖 掘归纳逻辑程序设计 多关系决策树 关系距离测度 多关系关联规则 统计关系学习
在线阅读 下载PDF
一种集成学习模型MIIE 被引量:2
17
作者 刘贵全 陈小平 +1 位作者 顾振梅 蔡庆生 《计算机科学》 CSCD 北大核心 1997年第3期85-87,共3页
归纳逻辑程序设计,以下简称ILP。
关键词 集成学习模型 MIIE 程序设计 归纳逻辑
在线阅读 下载PDF
多关系频繁模式发现研究 被引量:3
18
作者 张伟 杨炳儒 钱榕 《计算机科学》 CSCD 北大核心 2007年第7期158-164,共7页
频繁模式发现是数据挖掘的重要任务之一。现实数据通常存储于由多个关系组成的关系数据库中。传统的频繁模式发现方法只能直接完成单一关系中的模式发现,如果要完成多关系数据的挖掘,会产生操作复杂性和信息丢失等问题。多关系数据挖掘... 频繁模式发现是数据挖掘的重要任务之一。现实数据通常存储于由多个关系组成的关系数据库中。传统的频繁模式发现方法只能直接完成单一关系中的模式发现,如果要完成多关系数据的挖掘,会产生操作复杂性和信息丢失等问题。多关系数据挖掘是当前数据挖掘研究中快速发展的重要领域之一。多关系频繁模式发现方法能够直接从复杂结构化数据中发现涉及多个关系的复杂频繁模式,避免了传统方法的局限。本文首先归纳多关系频繁模式发现方法的发生历史背景,其次分析总结多关系频繁模式发现方法,最后提出了多关系频繁模式发现将来发展需重点解决的问题和面临的挑战。 展开更多
关键词 多关系数据挖掘 频繁模式发现 归纳逻辑程序设计 选择图 基于图的数据挖掘
在线阅读 下载PDF
多关系关联规则算法综述 被引量:3
19
作者 侯伟 杨炳儒 宋威 《计算机工程与应用》 CSCD 北大核心 2007年第23期1-5,共5页
多关系数据挖掘是借鉴ILP技术,并结合机器学习方法所提出的数据挖掘新课题。多关系关联规则是多关系方法在概念描述任务中最具代表性的研究方向之一,此类方法在发挥多关系方法的模式表达能力与利用背景知识能力的同时,借鉴成熟的关联规... 多关系数据挖掘是借鉴ILP技术,并结合机器学习方法所提出的数据挖掘新课题。多关系关联规则是多关系方法在概念描述任务中最具代表性的研究方向之一,此类方法在发挥多关系方法的模式表达能力与利用背景知识能力的同时,借鉴成熟的关联规则方法的思想与优化策略,取得了较高的性能与表达复杂模式的能力,同时在面向复杂结构数据的应用中获得了较好的效果。在简述多关系方法的基础上,通过分析与比较目前具有代表性的多关系关联规则算法,总结了各算法的优势与不足,并指出了该领域目前的主要热点问题。 展开更多
关键词 归纳逻辑程序设计 多关系数据挖掘 多关系关联规则
在线阅读 下载PDF
遗传归纳逻辑程序设计的个体编码生长现象 被引量:3
20
作者 杨新武 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 2003年第8期1238-1243,共6页
遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性 通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象 并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象... 遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性 通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象 并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象 而采取在演化的初期不添加惩罚项 ,在种群的性状有了明显改善后再添加惩罚的策略 ,既可避免种群退化 ,又可有效解决个体编码生长问题 . 展开更多
关键词 归纳逻辑程序设计 遗传归纳逻辑程序设计 遗传算法 模式分析
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部