| 命题逻辑中广义MP问题的合理解 |
| |
| 引用本文： | 李骏,李彩红,周艳.命题逻辑中广义MP问题的合理解[J].计算机工程与应用,2010,46(1):37-38. |
| |
| 作者姓名： | 李骏 李彩红 周艳 |
| |
| 作者单位： | 1. 兰州理工大学理学院,兰州,730050
2. 西安陆军学院科学文化基础教研室,西安,710108 |
| |
| 基金项目： | 国家自然科学基金No.10771129;;兰州理工大学优秀青年基金;;兰州理工大学科研发展基金~~ |
| |
| 摘 要： | 在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度，利用支持度的思想引入了广义MP问题的一种新型合理求解机制，并证明了合理解的存在性。
|
| 关 键 词： | GMP问题 真度 支持度 合理解 |
| 收稿时间： | 2009-1-12 |
| 修稿时间： | 2009-3-13
|
Reasonable solutions for generalized MP problems in propositional logic |
| |
| 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. |
| |
| Authors: | LI Jun LI Cai-hong ZHOU Yan |
| |
| Affiliation: | 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) |
| |
| 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. |
| |
| Keywords: | GMP problem truth degrees sustentation degree reasonable solution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
