论文部分内容阅读
传统的可废除推理研究都是基于协调理论集，该文中我们基于一种超协调逻辑（极小化悖论逻辑ＬＰｍ），提出了一种新的可废除推理框架。新的框架在协调理论集下的能力等价于原来的可废除推理，同时还具有悖论逻辑ＬＰ的超协调性，当理论集含矛盾时有会导致经典逻辑的平凡性。
不协调知识下的可废除推理理论
【摘 要】
：
传统的可废除推理研究都是基于协调理论集，该文中我们基于一种超协调逻辑（极小化悖论逻辑ＬＰｍ），提出了一种新的可废除推理框架。新的框架在协调理论集下的能力等价于原来的可废除推理
【机 构】
：
大学计算机科学研究所
【出 处】
：
第六届全国青年计算机工作者会议
【发表日期】
：
1996年期
其他文献
随着可锻铸铁生产技术的进步和品种的发展，可锻铸铁由铸态白口坯件到石墨化退火完成的全过程中，其元素分布、显微组织已威为多变和可控的。元素分布、显微组织变化与其生产工艺
该文用时间差分－边界元相结合的方式，首先将控制方程转化为定常椭园型方程，然后将对应基本解及相应积分全部作级数展开，再逐项完成解析积分。虽然公式推演繁杂冗长，但最终可免去数
该文研究了可锻铸铁在常温下裂纹扩展及其控制参量问题，测量了这种材料裂纹扩展的稳定性参数——撕裂模量Tmat（三点弯试样）的数值。并按石墨形状及颗数的级别观察石墨夹杂的多少
在其它条件机同的情况下，对不同基体的可锻铸铁的断裂韧性进行测试，以寻求其对断裂性的影响趋势，并准确地测试出基体对断裂韧性的影响程度。试验表明基体中随着珠光体量的增加，可
该文应用ＡＱＬ２１０高分子水溶液于高温可锻铸铁在连续冷却，获得伪共析细珠光体，其均匀性优于正火珠光体，接近于高温回火的索氏体，为优化正火组织、取代淬火回火工艺，提供新的工艺方法。