论文部分内容阅读
基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法.
谓词逻辑推理与机器证明
【摘 要】
：
基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法.
【机 构】
：
龙岩学院计算机科学系
【出 处】
：
安庆师范学院学报：自然科学版
【发表日期】
：
2005年4期
其他文献
宫内急、慢性缺氧可致胎粪的排出．而在缺氧的情况下胎儿或刚出生婴儿由于大呼吸（喘气）可吸人被胎粪污染的羊水．胎粪吸人可引起气道阻塞、影响气体交换．导致严重的呼吸困难。如羊水
静压气体轴承主要为自由活塞式斯特林发电机的活塞提供径向支撑,是其亟待突破的关键技术。在介绍了自由活塞式斯特林发电机用静压气体轴承原理和基本结构的基础上,结合COMOSL
本文根据教学实际，针对中学生口语交际之中存在的一些问题，而进行的旨在培养中学生的口语交际能力，为有效地对中学生进行口语交际教学提供一些参考。本文除引言和结论外，共分四大
用有效哈密顿方法,计算出了氢原子n=4能级的斯塔克分裂.
在铯原子钟内部,由于铯束管内存在Rabi牵引、Ramsey牵引、微波腔体牵引等因素,导致铯频标频率对微波幅度敏感。在研究微波幅度对频率影响的机理和微波幅度与跃迁几率关系的基
<正> 综观2002年中国的铜版纸市场,可谓是好戏连台,经常出现一些颇具轰动效应的消息,而被行业外的媒体大肆炒作。一向保持低调的造纸行业,因为中国加入世贸后反倾销第一案而
国家《基础课程改革指导纲要》和《九年义务教育数学课程标准》的公布，标志着我国解放以来范围最广，最为深刻的基础教育改革全面开始。新的课程要有新的评价方式，数学作为最基础
【正】 在2000年德鲁巴展览会上推出的许多CTP新技术对寻求印版输出机新方案的人来说是个福音。随着这些新技术的出现,也出现了关于紫激光技术对热敏版材的优点以及未来无须
期刊