动态描述逻辑推理的并行计算技术

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:cxtctb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处
其他文献
目的:观察与探究大体积肾癌患者后腹腔镜肾癌根治术围术期心、肝及肾功能状态的变化情况。方法:选取2015年12月—2018年9月本院收治的52例大体积肾癌患者为研究对象,根据治疗
社会进步和人的发展是一个辩证统一的过程。社会进步为人的发展准备了必要的物质手段和条件,并在社会发展的过程中加深了人的自我认识,推进了人的全面自由发展。人的发展的自
郑州市世纪游乐园管理处的档案工作虽起步晚,但由于起点高、进步怏,从而取得了质的飞跃,在维护单位利益和确保机关工作正常运行方面发挥了突出的作用。近年来,单位下大力气提高职
通过总结观赏牡丹在榆林沙区的栽植与管理技术,包括土壤改良措施、栽植时间及方法、中耕除草、施肥、整形修剪、病虫害防治、防寒措施等内容,为毛乌素沙地榆林沙区观赏牡丹的
随着现代教育技术的发展及教育改革逐渐向深层次发展,当前中职课程教学改革也日渐深入,中职物理教学也不例外。本文试从中职物理课教学的现状需要现代信息技术介入、运用现代
山药干燥以后.其干品含蛋白质12.7%.脂肪1.06%.皂甙0.12%.还有消化酶、胆碱、碘质、维生素和矿物质等.其中以皂甙的药用价值最高.能调整血压,降血糖、血脂.辅助治疗各种癌症。所以山药粉保
期刊
克雅病(Creutzfeldt-Jakob disease,CJD)又称皮质-纹状体-脊髓变性、亚急性海绵状脑病。是由异常朊蛋白(prion protein,Pr P)在脑内沉积引起的以进行性痴呆为主要症状的致死性疾
5,6-二羟基吲哚具有无毒、副作用的永久性染发剂,正逐步取代苯胺类化合物作为合成染发剂的最佳选择。但是由于5,6-二羟基吲哚对氧、过渡金属、PH值较为敏感,性质很不稳定。目前
考虑热费分户计量过程中存在户间传热的问题,将户间传递的热能看作是私人供给的公共物品,从公共品私人共享博弈的角度研究民用建筑内住户间用热博弈模型,基于居民用热的科布-
全面风险管理是指企业围绕总体经营目标,通过在企业管理的各个环节和经营过程中执行风险管理基本流程,培育良好的风险管理文化,建立健全全面风险管理体系,从而为实现风险管理总目