切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
谓词逻辑推理与机器证明
谓词逻辑推理与机器证明
来源 :安庆师范学院学报:自然科学版 | 被引量 : 0次 | 上传用户:sonic0824
【摘 要】
:
基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法.
【作 者】
:
林尚垣
【机 构】
:
龙岩学院计算机科学系
【出 处】
:
安庆师范学院学报:自然科学版
【发表日期】
:
2005年4期
【关键词】
:
谓词逻辑
推理
编程
推断
predicate logic reasoning programinference
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法.
其他文献
气管内清吸及灌洗防治胎粪吸入综合征
宫内急、慢性缺氧可致胎粪的排出.而在缺氧的情况下胎儿或刚出生婴儿由于大呼吸(喘气)可吸人被胎粪污染的羊水.胎粪吸人可引起气道阻塞、影响气体交换.导致严重的呼吸困难。如羊水
期刊
胎粪吸入综合征
气管内灌洗
胎粪吸人综合征
气道阻塞
防治
清吸
胎粪污染
慢性缺氧
基于COMSOL&MATLAB平台静压气体轴承性能的分析
静压气体轴承主要为自由活塞式斯特林发电机的活塞提供径向支撑,是其亟待突破的关键技术。在介绍了自由活塞式斯特林发电机用静压气体轴承原理和基本结构的基础上,结合COMOSL
期刊
自由活塞
静压气体轴承
薄膜流动
free pistonhydrostatic gas bearingfilm flow
培养中学生口语交际能力的研究
本文根据教学实际,针对中学生口语交际之中存在的一些问题,而进行的旨在培养中学生的口语交际能力,为有效地对中学生进行口语交际教学提供一些参考。本文除引言和结论外,共分四大
学位
口语交际
语境
训练
技巧
氢原子n=4能级的斯塔克效应
用有效哈密顿方法,计算出了氢原子n=4能级的斯塔克分裂.
期刊
有效哈密顿方法
氢原子
二级近似
能级分裂
斯塔克效应
斯塔克分裂
简并态微扰论
hydrogen of atomeffective Hamilton'
英国Petty公司最终选择海德堡印刷机
期刊
英国Petty公司
海德堡印刷机
设备采购
卷筒纸印刷机
铯原子钟优化算法中微波幅度控制方法的研究
在铯原子钟内部,由于铯束管内存在Rabi牵引、Ramsey牵引、微波腔体牵引等因素,导致铯频标频率对微波幅度敏感。在研究微波幅度对频率影响的机理和微波幅度与跃迁几率关系的基
期刊
铯原子频标
微波幅度
频率准确度
长期频率稳定度
控制方法
cesium frequency standardsmicrowave amplitudefrequ
未来的铜版纸市场
<正> 综观2002年中国的铜版纸市场,可谓是好戏连台,经常出现一些颇具轰动效应的消息,而被行业外的媒体大肆炒作。一向保持低调的造纸行业,因为中国加入世贸后反倾销第一案而
期刊
铜版纸市场
市场预测
中国
2001-2006年
消费需求
基于新课标理念的学生数学学习评价
国家《基础课程改革指导纲要》和《九年义务教育数学课程标准》的公布,标志着我国解放以来范围最广,最为深刻的基础教育改革全面开始。新的课程要有新的评价方式,数学作为最基础
学位
新课标
学生评价
数学学习
2000年玫瑰正红--众说纷纭紫激光
【正】 在2000年德鲁巴展览会上推出的许多CTP新技术对寻求印版输出机新方案的人来说是个福音。随着这些新技术的出现,也出现了关于紫激光技术对热敏版材的优点以及未来无须
期刊
方正酷夏送时尚大礼
期刊
PLAYSTATION
方正
2005年
促销活动
IPOD
SONY
专业版
与本文相关的学术论文