关系扩展规则

关系扩展规则

吴瑕¹,², 于海鸿¹,², 李泽海³, 李河¹,², 孙佳瑜⁴

1. 吉林大学计算机科学与技术学院, 长春 130012; 2. 吉林大学符号计算与知识工程教育部重点实验室, 长春 130012; 3. 上海期货交易所研究发展中心, 上海 200122; 4. 东北师范大学数学与统计学院, 长春 130024

收稿日期:2007-07-31 修回日期:1900-01-01 出版日期:2008-05-26 发布日期:2008-05-26
通讯作者: 吴瑕

Relational Extension Rule

WU Xia¹,², YU Haihong¹,², LI Zehai³, LI He¹,², SUN Jiayu⁴

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

Received:2007-07-31 Revised:1900-01-01 Online:2008-05-26 Published:2008-05-26
Contact: WU Xia

摘要/Abstract

摘要： 基于关系转换方法对模态逻辑进行转换, 使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理, 得到一种新的可用于模态逻辑的推理方法, 并证明了其正确性和完备性.

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

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.

Key words: theorem proving, modal logic, extension rule, relational translation

中图分类号:

TP31

吴瑕,, 于海鸿,, 李泽海, 李河,, 孙佳瑜. 关系扩展规则[J]. J4, 2008, 46(03): 504-508.

WU Xia,, YU Haihong,, LI Zehai, LI He,, SUN Jiayu. Relational Extension Rule[J]. J4, 2008, 46(03): 504-508.

[1]	杨光, 贾焱鑫, 陈翔, 许舒源. 基于深度学习的Stack Overflow问题帖分类方法[J]. 吉林大学学报(理学版), 2021, 59(4): 922-928.
[2]	李芳, 曲豫宾, 陈翔, 李龙, 杨帆. 一种基于类不平衡学习的情感分析方法[J]. 吉林大学学报(理学版), 2021, 59(4): 929-935.
[3]	曲豫宾, 陈翔, 李龙. 可缓解类重叠问题的跨版本软件缺陷预测方法[J]. 吉林大学学报(理学版), 2021, 59(2): 372-378.
[4]	何锴琦, 马宇骁, 张炎, 刘华虓. 一种基于数据的GitHub项目个性化混合推荐方法[J]. 吉林大学学报(理学版), 2020, 58(6): 1399-1406.
[5]	胡黄水, 赵思远, 刘清雪, 王出航, 王婷婷. 基于动量因子优化学习率的BP神经网络PID参数整定算法[J]. 吉林大学学报(理学版), 2020, 58(6): 1415-1420.
[6]	穆翔宇, 范钰, 李苏吉, 张鹏, 刘磊. 一种基于梯度下降算法的蜕变关系生成方法[J]. 吉林大学学报(理学版), 2020, 58(6): 1429-1435.
[7]	王壹铭, 初剑峰, 王永军, 陈彦东. 基于有向无环图的高效区块链共识算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1167-1172.
[8]	汤战勇, 郝杰, 郭军, 刘宝英. 基于变步长随机行走算法的IC电源网络动态分析[J]. 吉林大学学报(理学版), 2020, 58(4): 868-876.
[9]	骆焦煌. 基于卷积神经网络的粗粒度数据分布式算法[J]. 吉林大学学报(理学版), 2020, 58(4): 906-912.
[10]	吴春琼. 面向大规模数据的特征趋势推理算法[J]. 吉林大学学报(理学版), 2020, 58(2): 364-370.
[11]	史肖冰, 郭德贵, 曹捷. 基于自适应Hata模型的无线电发射源定位方法[J]. 吉林大学学报(理学版), 2020, 58(1): 109-112.
[12]	楚玺, 周志祥, 邓国军, 邵帅. 模糊图像的不连续边缘智能检测改进算法[J]. 吉林大学学报(理学版), 2019, 57(04): 875-881.
[13]	刘良凤, 刘三阳. 基于权重差异度的动态模糊聚类算法[J]. 吉林大学学报(理学版), 2019, 57(3): 574-582.
[14]	魏晓辉, 许国威, 王兴旺, 徐海啸. 基于节点相似性和链接次数组合时间序列的链接预测[J]. 吉林大学学报(理学版), 2019, 57(3): 583-590.
[15]	刘久彪. 空间数据库反向最近邻聚类方法[J]. 吉林大学学报(理学版), 2019, 57(2): 387-392.