命题逻辑中广义MP问题的合理解

doi:10.3778/j.issn.1002-8331.2010.01.012

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (1): 37-38.DOI: 10.3778/j.issn.1002-8331.2010.01.012

命题逻辑中广义MP问题的合理解

李骏¹，李彩红¹，周艳²

1.兰州理工大学理学院，兰州 730050
2.西安陆军学院科学文化基础教研室，西安 710108

收稿日期:2009-01-12 修回日期:2009-03-13 出版日期:2010-01-01 发布日期:2010-01-01
通讯作者: 李骏

Reasonable solutions for generalized MP problems in propositional logic

LI Jun¹，LI Cai-hong¹，ZHOU Yan²

1.School of Science，Lanzhou University of Technology，Lanzhou 730050，China
2.S & C Basics Teaching and Research Section，Xi’an Military Academy，Xi’an 710108，China

Received:2009-01-12 Revised:2009-03-13 Online:2010-01-01 Published:2010-01-01
Contact: LI Jun

摘要/Abstract

摘要： 在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度，利用支持度的思想引入了广义MP问题的一种新型合理求解机制，并证明了合理解的存在性。

关键词: GMP问题, 真度, 支持度, 合理解

Abstract: By means of truth degrees of formulas，this paper puts forward a new concept of sustentation degree among formulas in classical propositional logic.Reasonable solution based on the idea of sustentation degree for problems of generalized modus ponens is introduced，and the existence theorem of reasonable solutions is proved.

Key words: GMP problem, truth degrees, sustentation degree, reasonable solution

中图分类号:

O141.1

李骏¹，李彩红¹，周艳². 命题逻辑中广义MP问题的合理解[J]. 计算机工程与应用, 2010, 46(1): 37-38.

LI Jun¹，LI Cai-hong¹，ZHOU Yan². Reasonable solutions for generalized MP problems in propositional logic[J]. Computer Engineering and Applications, 2010, 46(1): 37-38.

[1]	童文林，陈德旺，黄允浒，吕宜生. 结合模拟退火与规则约简的模糊系统优化方法[J]. 计算机工程与应用, 2021, 57(16): 142-150.
[2]	陈杰，程胜，徐梦，史豪斌. 面向医疗辅助诊断的可视化多属性决策方法[J]. 计算机工程与应用, 2020, 56(8): 249-255.
[3]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[4]	周翠莲，游进国，张婷，简兴明. S-Clique：属性约束的极大团枚举[J]. 计算机工程与应用, 2018, 54(5): 66-71.
[5]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[6]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[7]	耿秀丽，马万元. 考虑未知属性权重的区间直觉模糊VIKOR方法[J]. 计算机工程与应用, 2017, 53(24): 257-262.
[8]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[9]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[10]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[11]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[12]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[13]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[14]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[15]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.

命题逻辑中广义MP问题的合理解

Reasonable solutions for generalized MP problems in propositional logic

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics