关系扩展规则  

Relational Extension Rule

作　　者：吴瑕[1] 于海鸿[1] 李泽海 李河[1] 孙佳瑜[3] 

机构地区：[1]吉林大学计算机科学与技术学院 [2]上海期货交易所研究发展中心,上海200122 [3]东北师范大学数学与统计学院,长春130024

出　　处：《吉林大学学报（理学版）》2008年第3期504-508,共5页Journal of Jilin University:Science Edition

基　　金：国家自然科学基金(批准号:60473003;60773097);教育部博士点专项科研基金(批准号:20050183065)

摘　　要：基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.The modal logics was translated into a first-order fragment by relational encoding method at first. And then we used the first-order extension rule prover to deal with the fragment. Namely, we presented a new reasoning method for modal logics. The proof of its soundness and completeness was given at last.

关 键 词：定理证明 模态逻辑 扩展规则 关系转换 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]