逻辑程序设计

作品数：150被引量：180H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘椿年杨炳儒雷英杰郑磊杨新武更多>>
相关机构：北京工业大学中山大学吉林大学厦门大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划北京市自然科学基金国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于反事实的相关背景知识获取方法
《计算机工程与应用》2024年第20期168-179,共12页王学敏 包旭光 常亮 郝远静 
国家自然科学基金(U22A2099,61966009);广西研究生教育创新项目(YCBZ2023130)。
在多任务学习中,学习器会将已学到的知识添加到背景知识库中,并利用这些背景知识来辅助其他任务的学习。然而,随着背景知识的不断积累,知识库可能会变得庞大,给学习系统带来负担。因此,有必要对不相关的背景知识进行遗忘。现有的遗忘策...
关键词：归纳逻辑程序设计 反事实 多任务学习 
关于逻辑程序设计 对软件开发的影响分析
《信息产业报道》2023年第5期13-15,共3页鲍姗 
近年来,计算机技术、人工智能技术等的不断发展,逻辑程序升级在对于我国软件系统设计与研发中的地位不断提高。逻辑程序设计能够直接将逻辑作为软件程序开发的设计语言,从而提高软件计算推理受控能力。逻辑程序是我国计算机技术、物联...
基于BIM技术、绿色理念和规则推理的公路施工进度计划编排优化被引量：6
《科技和产业》2022年第3期128-131,共4页蒋梓明 
施工进度计划是施工管理和施工过程重要的参考依据。现有的公路施工季度计划相关研究工作主要基于工程案例或施工计划模板等方式,无法实现对具体公路工程项目的精准匹配。对项目空间上、工艺上以及逻辑上的约束关系,从科学、绿色的角度...
关键词：BIM技术 施工进度计划 绿色理念 公路工程 约束逻辑程序设计 编排优化 
伦理智能体及其设计:现状和展望被引量：16
《计算机学报》2021年第3期632-651,共20页古天龙 李龙 
国家自然科学基金(U1711263,U1811264,61966009);广西自然科学基金(2019GXNSFBA245049)资助。
智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能到感知智能,再到认知智能的发展,智能体已逐步渗透到无人驾驶、服务机器人、智能家居、智慧医疗、战争武...
关键词：伦理智能体 人工智能伦理 伦理设计 逻辑程序设计 形式化验证 
归纳逻辑程序设计综述被引量：3
《计算机研究与发展》2019年第1期138-154,共17页戴望州 周志华 
国家重点研发计划项目(2018YFB1004300);国家自然科学基金项目(61751306)~~
归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一...
关键词：机器学习 一阶逻辑 规则学习 归纳逻辑程序设计 概率归纳逻辑程序设计 
浅谈逻辑程序设计及应用
《中国科技博览》2015年第41期216-216,共1页韩雪平 徐桂芳 
基于逻辑的计算机语言的出现，为一些逻辑问题提供了更高效的解决途径。文章基于经典的逻辑推理问题，分别按照人类的正常思维过程和逻辑程序设计两种方案，分析推理得到问题的解，并比较总结逻辑程序的特点、优势和应用前景。
关键词：逻辑问题 推理 逻辑程序设计 
一种基于ILP和ASP的学习B语言描述的动作模型方法被引量：1
《计算机科学》2015年第1期220-226,共7页刘振 张志政 
国家自然科学基金项目(60803061);江苏省自然科学基金项目(BK2008293);东南大学科技基金项目(XJ2008315)资助
动作模型学习可以使Agent主动适应动态环境中的变化,从而提高Agent的自治性,同时也可为动态域建模提供一个初步模型,为后期的模型完善和修改提供了基础。通过结合归纳逻辑程序设计(Inductive Logic Programming,ILP)和回答集程序设计(An...
关键词：动作模型学习 动作语言B 归纳逻辑程序设计 回答集逻辑程序设计 
归纳逻辑程序设计的应用与发展
《理论界》2013年第12期118-120,共3页陈晶晶 
中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目"语言逻辑中非连续性量词问题研究"(13XNH235)的研究成果
学习是智能主体拥有的重要特征,机器学习研究计算机如何模拟并实现人类的学习行为。归纳逻辑程序设计作为机器学习的核心方法之一,不仅充分发挥了逻辑技术的优势,而且极大提高了人类改造客观世界的能力。深入探讨归纳逻辑程序设计的研...
关键词：机器学习 逻辑程序设计 贝叶斯网络 随机搜索 
带模理论的回答集程序设计（英文）被引量：1
《贵州大学学报（自然科学版）》2013年第5期81-89,94,共10页王以松 张明义 
贵州省优秀科技教育人才省长基金((2012)62)
基于回答集语义的逻辑程序(ASP)是一种描述性问题求解的典范,目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架,它不仅是正规逻辑程序的一般化,对带聚合函数的ASP而言,也与SPT-PDB的回答集语义一致。经证明,当背...
关键词：逻辑程序设计 回答集 SMT 聚合函数 
归纳逻辑程序设计研究
《重庆理工大学学报（社会科学）》2013年第10期5-9,18,共6页陈晶晶 
中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目"语言逻辑中非连续性量词问题研究"(13XNH235)
在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景。指出:逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,...
关键词：机器学习 归纳学习 归纳逻辑程序设计 泛化 特化 
全选清除导出
共15页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部