吴方法在命题逻辑中的应用

华东师范大学学报(自然科学版) ›› 2006, Vol. 2006 ›› Issue (1): 80-86.

吴方法在命题逻辑中的应用

李晶, 杨宗源

华东师范大学计算机系，上海 200062

收稿日期:2005-01-12 修回日期:2005-08-10 出版日期:2006-01-25 发布日期:2006-01-25
通讯作者: 李晶

Application of Wu′s Method in Propositional Calculus(Chinese)

LI Jing, YANG Zong-yuan

Department of Computer Science, East China Normal University, Shanghai 200062, China

Received:2005-01-12 Revised:2005-08-10 Online:2006-01-25 Published:2006-01-25
Contact: LI Jing

摘要/Abstract

摘要：

该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法.在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法, 语义分析实现了命题公式的代数化.此外，又根据特征列的性质，提出了一种逻辑推论自动生成的方法.

关键词: 吴方法, 命题逻辑, 上下文无关文法, 定理证明, 逻辑推论, 吴方法, 命题逻辑, 上下文无关文法, 定理证明, 逻辑推论

Abstract:

A formal definition of proposition formulae was provided by context-free grammar,and the conversion from proposition formulae to polynomials was solved automatically. Using Wu′s Method, the paper presented another solution to the problem of theorem reasoning. In addition, a method for producing logical deduction was introduced.

Key words: propositional calculus, context-free grammar, theorem reasoning, logical deduction, Wu′s Method, propositional calculus, context-free grammar, theorem reasoning, logical deduction

中图分类号:

TP301

李晶;杨宗源. 吴方法在命题逻辑中的应用[J]. 华东师范大学学报(自然科学版), 2006, 2006(1): 80-86.

LI Jing;YANG Zong-yuan. Application of Wu′s Method in Propositional Calculus(Chinese)[J]. Journal of East China Normal University(Natural Sc, 2006, 2006(1): 80-86.

[1]	周兰凤, 孔明月. 基于改进人工势场法的无人机三维避障[J]. 华东师范大学学报（自然科学版）, 2022, 2022(6): 54-67.
[2]	刘恒宇, 张天成, 武培文, 于戈. 知识追踪综述[J]. 华东师范大学学报(自然科学版), 2019, 2019(5): 1-15.
[3]	杨东明, 杨大为, 顾航, 洪道诚, 高明, 王晔. 面向初等数学的知识点关系提取研究[J]. 华东师范大学学报(自然科学版), 2019, 2019(5): 53-65.
[4]	张强, 王梅. 基于动态分组的多策略引力搜索算法[J]. 华东师范大学学报(自然科学版), 2019, 2019(1): 66-75.
[5]	张强, 王梅. 自适应分组差分变异狼群优化算法[J]. 华东师范大学学报(自然科学版), 2017, (3): 78-86.
[6]	魏燊,孙广中,谢幸. 基于位置服务中针对动态轨迹的匿名化[J]. 华东师范大学学报(自然科学版), 2015, 2015(5): 104-115.
[7]	车天伟, 马建峰, 王超, 李娜. 基于安全熵的多级访问控制模型量化分析方法[J]. 华东师范大学学报(自然科学版), 2015, 2015(1): 172-177.
[8]	潘巍, 李战怀. 大数据环境下并行计算模型的研究进展[J]. 华东师范大学学报(自然科学版), 2014, 2014(5): 43-54.
[9]	晁平复, 郑芷凌, 房俊华, 张蓉. 支持通信数据查询分析的分布式计算系统[J]. 华东师范大学学报(自然科学版), 2014, 2014(5): 89-102.
[10]	张磊, 方祝和, 周敏奇, 黄岚. 面向内存计算的连接算法[J]. 华东师范大学学报(自然科学版), 2014, 2014(5): 180-191.
[11]	张磊, 周敏奇, 王立. LCDJ:面向内存集群计算的局部感知连接算法[J]. 华东师范大学学报(自然科学版), 2014, 2014(5): 228-239.
[12]	高一琛, 赵斌, 张召. 面向以太坊的智能合约自动生成方法研究与实现[J]. 华东师范大学学报（自然科学版）, 2020, 2020(5): 21-32.
[13]	刘峰, 杨杰, 李志斌, 齐佳音. 一种面向双中台双链架构的内生性数据安全交互协议研究[J]. 华东师范大学学报（自然科学版）, 2020, 2020(5): 44-55.
[14]	姚若侠, 薛丹, 谢娟英, 范虹. 求解0-1背包问题的混合粒子群改进算法研究[J]. 华东师范大学学报（自然科学版）, 2020, 2020(6): 90-98.