切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
SLD—博弈树中计算规则的独立性
SLD—博弈树中计算规则的独立性
来源 :软件学报 | 被引量 : 0次 | 上传用户:quan777
【摘 要】
:
本文提出SLD-博弈树的成功集的概念,证明对任何计算规则R,对应R的SLD-博弈树的成功订相同,即SLD-博弈树的证明能力与计算规则无关,这就是计算规则的独立性。
【作 者】
:
周生炳
【机 构】
:
清华大学计算机系
【出 处】
:
软件学报
【发表日期】
:
1997年10期
【关键词】
:
逻辑程序
SLD-博弈树
计算规则
独立性
Annotated logic program
SLD-game tree
independence of co
【基金项目】
:
中国博士后科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出SLD-博弈树的成功集的概念,证明对任何计算规则R,对应R的SLD-博弈树的成功订相同,即SLD-博弈树的证明能力与计算规则无关,这就是计算规则的独立性。
其他文献
蜗杆车削教学中的两个问题
蜗杆的车削是中级车工须掌握的操作技能之一,掌握车蜗杆在一定程度上可衡量一个车工对螺旋表面车削技能的掌握水平,并能体现一个车工的独立分析问题和解决问题的能力。因此,
期刊
蜗杆
切削力
留余量
进给量
教学中
车工
齿顶圆直径
操作技能
解决问题的能力
切削深度
早产儿应用呼吸机期间呼吸道护理问题与对策
我院NICU通过对56例应用呼吸机的早产儿的护理,发现了一些值得注意的护理问题,制定对策,取得了满意效果。
期刊
护理问题
呼吸机
早产儿
呼吸道
NICU
谈谈职业技能鉴定指导中心的职责与任务
职业技能鉴定不是一项简单的事务性工作,而是一项专业化程度很高、复杂的系统工程,是一门科学。因此,建立职业技能鉴定的组织实施机构——职业技能鉴定指导中心(以下简称“中
期刊
职业技能鉴定
劳动力市场
指导中心
鉴定技术
社会化管理
专家队伍
用人单位
市场经济体制
培训资料
鉴定规范
升率汤治疗老年病态窦房结综合征
病态窦房结综合征是老年人常见的心血管系统疾病,笔者运用升率汤治疗老年人病态窦房结综合征80例,疗效较好,报道如下。
期刊
升率汤/治疗应用
老年人
病态窦房结综合征/中医药疗法
咏秋诗话
残暑消退,伴着凉风,和着虫鸣,新秋来临。“天凉好个秋”是一种秋,“秋风萧萧愁煞人”又是一种秋。秋景、秋色、秋意、秋声、喜秋、悲秋,从楚国屈原的《离骚》到近代诗词,从晋
期刊
中国文学
《离骚》
欧阳修
近代诗
现实主义
《秋声赋》
无产阶级革命家
风萧萧
毛泽东
艺术感染力
一种基于多目标优化的神经网络快速学习算法
本文根据多目标优化理论,认知科学和神经科学等学和产的最新成果,提出了一种基于多目标优化的神经网络快速学习算法。实验结果表明,该学习算法可以解决目前神经网络普遍存在的学
期刊
神经网络
多目标优化
学习算法
Neural network
multiobjective optimization
learning algorithm
AECOPD患者C反应蛋白和慢性阻塞性肺疾病和支气管哮喘生理评分相关性研究
目的探讨慢性阻塞性肺疾病急性加重期(AECOPD)患者的C反应蛋白和慢性阻塞性肺疾病(COPD)和支气管哮喘生理评分(CAPS)的相关性,以及C反应蛋白对预后的判断价值。方法回顾性分析我科2
期刊
C反应蛋白
慢性阻塞性肺疾病和支气管哮喘生理评分
慢性阻塞性肺疾病急性加重期
CRP
the COPD and asthma physiology score
郴江幸自绕郴山,为谁流下潇湘去?
期刊
《踏莎行·郴州旅舍》
潇湘
《冷斋夜话》
身世之感
外地人
苏轼
比兴
手法
比喻
求仕
不明原因发热127例临床分析
目的探讨不明原因发热的常见病因及临床诊断思维。方法回顾性分析2005年1月~2009年6月因不明原因发热收入院的病人共127例。结果 127例病人中,感染性疾病78例,占61.4%,结缔组
期刊
不明原因发热
诊断
治疗
fever of unknown origin
diagnosis
treatment
电子技工教育协会召开96年年会
电子技工教育协会1996年年会在电子部人事教育司和中国电子教育学会的关怀和支持下,于1996年8月21日至26日在新疆乌鲁木齐市召开。来自全国11个省市26所学校和单位的32名同志
期刊
技工教育
技工学校
乌鲁木齐市
职业技术教育
人事教育
常务理事会
信息交流
接待工作
高级技工
无线电技工
与本文相关的学术论文