切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
逻辑程序并行解释的断言流模型
逻辑程序并行解释的断言流模型
来源 :计算机工程 | 被引量 : 0次 | 上传用户:csincis
【摘 要】
:
本文研究基于知识重写的逻辑程序的自底向上并行解释的一种新模型。其中推理动机性的改善依赖于生成断言的分配策略,这一策略又取决于所谓的谓词相关关系闭包。
【作 者】
:
鲁汉榕
【机 构】
:
空军雷达学院
【出 处】
:
计算机工程
【发表日期】
:
1989年2期
【关键词】
:
逻辑程序
断言流模型
并行解释
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究基于知识重写的逻辑程序的自底向上并行解释的一种新模型。其中推理动机性的改善依赖于生成断言的分配策略,这一策略又取决于所谓的谓词相关关系闭包。
其他文献
用UML和Rational Rose实现面向对象的三层C/S结构设计
该文用一实全好用UML和Rational Rose实现面向对象的以C/S结构设计的方法。
期刊
面向对象
客户机/服务器
软件工程
UML
结构设计
Object oriented Clienu/Server: Software engineering
硫酸亚铁曝气沉降-二氧化氯深度氧化法处理医院高浓度含氰废水的研究
采用硫酸亚铁曝气沉降初级化学处理和ClO2二级深度氧化处理相结合的模式,处理医院排放的高浓度含氰废水。试验表明,初级化学处理中,FeS04·7H20的加入量为1.2g/L,搅拌强度为80r
期刊
含氰废水
初级化学处理
二级氧化处理
硫酸亚铁
二氧化氯
Wastewater containing cyanogens Primary chemical tr
无锡用政府令保护历史街区
期刊
全球可再生能源的资源和环境代价及其驱动因素分析
近年来,开发可再生能源已成为诸国能源发展战略的重要组成部分,而利用可再生能源发电的过程中存在不可忽视的资源和环境代价。如生物质燃料会消耗大量水资源,引起水土流失。从生产角度看,可再生能源具有低排放等优点,但从消费角度,可再生能源的开发和利用从供应链视角来看会引起直接/间接的资源消耗和污染物排放,亟待研究。目前基于消费角度的可再生能源部门引起的环境排放和资源消耗量研究较为缺乏,对于其驱动因素的研究也
会议
可再生能源
多区域投入产出模型
结构分解模型
体现生态要素
驱动因素
基于多目标深度增强学习的无人驾驶船舶行为决策
本研究关注的是不确定环境下无人驾驶船舶的自适应航行问题。为解决无人驾驶船舶的自主航行行为决策,提出了一种基于深度增强学习的无人驾驶船舶行为决策模型。该模型主要航行态势理解层和驾驶行为决策层,航行态势理解层主要是结合海上避碰规则对子场景进行量化建模,驾驶行为决策层是学习被量化的子场景中的环境状态以训练驾驶策略。采用deep Q-learning分别就环境模型、船舶动作空间、激励函数和搜索策略设计了基
学位
深度增强学习
航行态势理解
行为决策
无人驾驶船舶
不确定环境
RPC研究及其在UNIX系统中的实现
远程时程调用是网络高层的一种通信机制。它的实现使得在一个计算机上运行的用户调用网络系统中其它机器上的过程如同使用本地过程调用一样方便。本文着重阐述远程过程调用的
期刊
操作系统
UNIX
RPC
network / remote procedure call / transport layer / protocol / soc
射频热凝技术治疗颈椎间盘突出症的疗效分析
目的 分析射频热凝技术治疗颈椎间盘突出症的效果,总结临床经验.方法 从2006年8月至2010年7月,在我院接受射频热凝治疗并得到2年以上不间断随访的颈椎间盘突出症患者128例,患
期刊
颈椎间盘突出症
射频热凝技术
安全
跨境破产与海事赔偿责任限制制度的协调
跨境破产与海事赔偿责任限制本属于不同的法律制度,但在航运企业破产案件中两种制度的适用会出现交叉和重叠,在管辖权、程序运行和实体规定方面呈现出诸多冲突,如破产法院是否对有关破产债务人的海事案件具有管辖权、海事赔偿责任限制程序是否会因为破产程序的进行而中止、设立的海事赔偿责任限制基金是否应当纳入破产财产在一般债权人之间进行分配等。一系列跨国航运公司的破产案件使跨境破产制度与海事法律制度之间的冲突得以显
学位
跨境破产
海事赔偿责任限制
破产保全
刺齿青兰乙醇提取物二氯甲烷萃取层化学成分研究
刺齿青兰(Dracocephalum peregrinum Linn.)为唇形科(Labiatae)青兰属植物,分布于海拔1400-2500米处。在新疆维吾尔自治区,青兰属植物作为天然药物被广泛应用于民间,香青兰可
学位
青兰属
刺齿青兰
化学成分
分离
鉴定
上海市2005年大气污染控制重点
2005年,上海市环境保护局将积极与相关委办局和各区县协调,以煤烟型污染控制、扬尘污染控制和机动车尾气污染控制为重点,突破难点问题,确保大气环境治理专项的任务全面完成。
期刊
大气污染控制
上海市
尾气污染控制
大气环境治理
环境保护局
煤烟型
机动车
扬尘
与本文相关的学术论文