| 关系扩展规则 |
| |
| 引用本文： | 吴瑕,于海鸿,李泽海,李河,孙佳瑜.关系扩展规则[J].吉林大学学报(理学版),2008,46(3):504-508. |
| |
| 作者姓名： | 吴瑕 于海鸿 李泽海 李河 孙佳瑜 |
| |
| 作者单位： | 1. 吉林大学 计算机科学与技术学院, 长春 130012; 2. 吉林大学 符号计算与知识工程教育部重点实验室, 长春 130012; 3. 上海期货交易所 研究发展中心, 上海 200122; 4. 东北师范大学 数学与统计学院, 长春 130024 |
| |
| 基金项目： | 国家自然科学基金
,
高等学校博士学科点专项科研项目 |
| |
| 摘 要： | 基于关系转换方法对模态逻辑进行转换, 使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理, 得到一种新的可用于模态逻辑的推理方法, 并证明了其正确性和完备性.
|
| 关 键 词： | 定理证明 模态逻辑 扩展规则 关系转换 |
| 文章编号： | 1671-5489(2008)03-0504-05 |
| 收稿时间： | 2007-07-31 |
| 修稿时间： | 2007年7月31日 |
Relational Extension Rule |
| |
| WU Xia,YU Hai-hong,LI Ze-hai,LI He,SUN Jia-yu.Relational Extension Rule[J].Journal of Jilin University: Sci Ed,2008,46(3):504-508. |
| |
| Authors: | WU Xia YU Hai-hong LI Ze-hai LI He SUN Jia-yu |
| |
| Institution: | 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. Key Laboratory of Symbolic Computation and Knowledge Engineer of Ministry of Education, Jilin University, Changchun 130012, China; 3. Shanghai Futures Exchange R & D Center, Shanghai 200122, China;4. School of Mathematics and Statistics, Northeast Normal University, Changchun 130024, China |
| |
| Abstract: | 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 reas
oning method for modal logics. The proof of its soundness and completeness was given at last. |
| |
| Keywords: | theorem proving modal logic extension rule relational translation |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
|
