云南高校图书馆联盟文献共享服务平台- HORN子句

HORN子句: 作品数：28被引量：81H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：蒋昌俊丁志军林闯吴陈裴峥更多>>; 相关机构：同济大学山东科技大学云南大学镇江船舶学院更多>>; 相关期刊：《软件学报》《暨南大学学报（自然科学与医学版）》《计算机工程》《沙漠与绿洲气象》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划四川省重点科技攻关项目更多>>

基于概率推理的知识图谱链接预测方法: 《计算机集成制造系统》2023年第10期3483-3495,共13页姚建军李剑宇岳昆段亮付晓东; 国家自然科学基金资助项目(62002311);云南省重点实验室建设资助项目(202205AG07003);云南省重大科技专项计划资助项目(202202AD080001);云南省基础研究资助项目(202201AT070394);云南大学“东陆学者”培育计划资助项目。; 为了有效发现实体间隐含的关联关系并对其进行量化,以全面准确地进行知识图谱(KG)链接预测,提出基于概率推理KG链接预测方法。该方法以描述实体间隐含关联关系并度量链接存在的可能性为目标,基于AMIE算法挖掘KG中的规则并将其转换为Hor...; 关键词：知识图谱链接预测贝叶斯网 HORN子句概率推理

基于扩展Petri网的软件服务模型设计方法: 《科技创新与应用》2020年第5期87-88,共2页方舟陈阳李锐马超; 黑龙江省自然科学基金资助项目（编号：QC2018081）;黑龙江省领军人才梯队后备带头人资助项目（黑人社函[2019]63号）; 为了提高复杂软件服务系统的构建效率,文章提出了一种基于扩展Petri网的软件服务模型设计方法。首先,该方法将注册的软件服务转换成Horn子句,并将用户需求转换为Horn子句的事实和目标,接着通过逻辑推理来构建完整的软件服务流程,将得出...; 关键词：软件服务模型 PETRI网 HORN子句抽象服务集

re-Horn子句集的Horn化及可满足性判定方法: 《济南大学学报（自然科学版）》2015年第5期346-349,共4页安世勇徐扬; 国家自然科学基金(61175055); 在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。; 关键词：命题逻辑 HORN子句子句集可满足性同态

一类一阶逻辑公式中的公理化真度理论及其应用被引量：33: 《中国科学：信息科学》2012年第5期648-662,共15页王国俊; 国家自然科学基金(批准号:10771129;11171200)资助项目; 设Φ是全体不含函数符号的一阶闭逻辑公式之集.本文基于有限模型和均匀概率的思想对非单调逻辑中的典型案例做了分析,通过概率计算给出了应当赋予文字的完全闭包及其合取的真度值.以此为基础,在Φ中建立了公理化的真度理论.证明了Φ中...; 关键词：谓词逻辑一阶逻辑公式函数符号真度可计算性 HORN子句

一个在Horn子句中求解极大缩减的算法被引量：4: 《中国科学：信息科学》2011年第2期129-143,共15页罗杰李未; 国家重点基础研究发展计划(批准号:2005CB321901);国家高技术研究发展计划(批准号:2007AA01Z146);软件开发环境国家重点实验室自主课题(批准号:SKLSDE-2008ZX-01)资助项目; 在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协...; 关键词：极大缩减极小不协调集合极小减集 HORN子句

复合数字对象及版权保护权利推理机制研究: 《计算机工程与应用》2008年第31期25-27,32,共4页郭迎九林闯尹浩; 国家自然科学基金No.60673184;No.60673187;No.60673054;No.90412012;973计划前期研究专项(No.2006CB708301);中国移动通信研究院项目和教育部科技创新培育重点项目(No.707005)~~; 考虑到网络多媒体应用对具有适应互操作、标准性以及知识产权保护功能的数字媒体的需要,对复合数字对象进行了研究,提出了HDO_IDOP(Hybrid Digital Object in IPTV DRM Operating Platform)复合数字对象模型。模型分数据、语义、管理等...; 关键词：复合数字对象版权保护 HORN子句 PETRI网

Prolog语言的开发与研究: 《软件导刊》2008年第9期45-46,共2页丁凤丽; Prolog语言是基于一阶谓词逻辑的Horn子句,其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言的语法及数据结构进行了简单介绍,归纳出Prolog语言的主要特征,并以具体实例说明了它的程序结构。; 关键词：一阶谓词 PROLOG语言 HORN子句

基于Petri网的语义Web服务自动组合方法被引量：22: 《软件学报》2007年第12期2991-3000,共10页汤宪飞蒋昌俊丁志军王成; Supposed by the National Natural Science Foundaion of China under Grant Nos.60534060;60473094(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863));the National Basic Research Program ofChina under Grant No.2003CB317002(国家重点基础研究发展计划(973)); Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方...; 关键词：WEB服务 WEB服务组合 HORN子句 PETRI网 T-不变量

模糊Horn子句逻辑形式系统被引量：3: 《模糊系统与数学》2007年第2期30-39,共10页刘东波卢正鼎; 简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Hor...; 关键词：一阶谓词逻辑模糊逻辑 Herbrand解释蕴涵强度

无回路规则系统的Petri网验证方法被引量：1: 《同济大学学报（自然科学版）》2007年第2期232-238,共7页丁志军潘美芹蒋昌俊韩耀军; 国家"九七三"重点基础研究发展规划资助项目(2003CB317002);国家自然科学基金资助项目(60534060;60473094;90612006); 构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的...; 关键词：规则系统 HORN子句 PETRI网验证

HORN子句