论文部分内容阅读
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.
LP(X)中MP归结推理
【摘 要】
：
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑
【机 构】
：
西南交通大学数学学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
目的 对儿童和青少年胸腰段脊柱损伤的类型和治疗进行总结.方法 对西安交通大学医学院附属红会医院2000年以来收治的177例胸腰段脊柱损伤患儿的临床资料、手术方法、疗效及机
人类环境美学乃艾伦·卡尔松环境美学之新阶段.在此阶段,卡尔松反思了人类环境欣赏中传统的“设计者景观”方法,认为它使人们误将人类环境视为独立、精致的艺术对象,因而提倡
《论语·子路》“叶公语孔子”章,体现了孔子“亲亲相隐”的观点.该章涉及了直躬、孔子、叶公三位主要人物.其中,直躬之“直”是心直口快的率直,直躬之“證”是直来直去的告
商谈伦理是协商民主的哲学理论基础。虽然哈贝马斯很少使用“社会合作”术语,但其探讨的核心议题是社会合作的可能性。保罗.利科认为,社会合作的先验条件并不充分,主张对哈贝
中国的地质学非我国自有,而是在传播和引入西方近代科学文化的过程中逐渐形成的,是“西学东渐”的结果.在欧美等西方国家,至19世纪中叶,便建立并完善了近代地质学的理论和方
理论心理学的未来发展需要想象一种超越“心理学”的、作为其他可能选择的人类形象。这种“非心理学的”理论建构致力于分析使“心理学”得以可能的文化-历史形式,以及主体如
寻找真理是胡塞尔现象学产生的最基本动机之一。他找到了真理的哲学概念，该哲学概念为他扮演了真理的一般概念的角色，哲学的真理是唯一的真理，任何取得明见性地位的事情就是真理
本研究使用眼动记录仪,通过记录和分析聋人与听力正常人行为和眼动指标,试图考察不同视野位置下被试注意捕获机制的异同。研究结果表明:(1)颜色干扰刺激产生了注意捕获效应,
本文首先区分了赫拉克利特和巴门尼德关于对立统一的两种思路:前者认为对立面的统一就在对立面本身之中,后者认为对立面的统一在对立的双方之外、超越对立而存在.由此出发,作
目的探讨人大脑半球顶叶外侧面的脑回形态。方法肉眼观察、游标卡尺测量60例(120侧)福尔马林固定人脑顶叶脑回。结果顶叶外侧面可见恒定的隆凸,定位于中央后回中、下1/3交界