论文部分内容阅读
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构造一棵证明树，对系统R中的定理证明取得了较好的效果。
相干命题逻辑系统R的一种演绎生成算法
【摘 要】
：
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构造一棵证明树，对系统R中的定理证明取得了较好
【机 构】
：
华东师范大学软件学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年12期
【基金项目】
：
国家973计划资助项目（2004CB318003）,国家自然科学基金重点资助项目（90718041）.
其他文献
<正>色彩设计是对色彩的基础属性色相、明度、纯度进行调整,结合色彩所蕴藏的情感、心理效应,在遵循色彩构成原理与配色法则下进行的设计行为。进行色彩设计的目的就是利用科
随着我国社会主义市场经济体系深化改革,市场经济不断发展,这在一个层面上说明我国事业单位已走向市场化,事业单位将会面临更加激烈的竞争压力,若想要有更好的发展前景和更多
生产力的改变总是可以相应的产生生产关系的变化。互联网和计算机行业的蓬勃发展,使得计算机应用的各类创新犹如雨后春笋的出现。供应链金融也是在这样的一个时代背景下被进
学术类图书选题策划的好坏,直接关系到学术图书的市场效益。针对学术类图书目前的发展现状,应从夯实优势、优化劣势、发掘机会、正视威胁等四个方面提高选题策划的SWOT意识,
本文介绍了手机短信新网关,对其系统及模块进行了研究,并分析了其性能和特点.在阐述短消息网关结构的基础上,提出了短消息网关通信模块的设计思想,并给出了该通信模块的具体
在会计信息化的大背景之下,企业信息化建设势在必行。本文将针对中小企业“云会计”建设的意义进行详细分析,其目的是研究出会计信息化下的中小企业“云会计”建设策略。
逻辑密钥层次(LKH)方案是目前多播领域中最有效的密钥管理协议.然而,由于其集中式访问控制和密钥分配方式,限制了组规模的进一步扩展.根据文献[1,2]关于MBone的多播组成员行