| 逻辑系统'Luk中命题积分真度的若干等式与不等式 |
| |
| 引用本文： | 崔美华,徐罗山,周纯阳.逻辑系统'Luk中命题积分真度的若干等式与不等式[J].模糊系统与数学,2009,23(5). |
| |
| 作者姓名： | 崔美华 徐罗山 周纯阳 |
| |
| 作者单位： | 崔美华(盐城师范学院,数学科学学院,江苏,盐城,224002);徐罗山,周纯阳(扬州大学,数学科学学院,江苏,扬州,225002) |
| |
| 基金项目： | 国家自然科学基金资助项目，江苏省高校自然科学基础研究项目 |
| |
| 摘 要： | 对' Lukasiewicz逻辑系统,利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度,推出了若干关于积分真度的等式与不等式,修正完善了积分真度的交推理规则,给出了积分真度的等式与不等式的一些应用,使较复杂的积分真度计算得以简化,或进行较合理的估值.
|
| 关 键 词： | 逻辑系统'Luk 积分真度 伪距离 等式 不等式 |
Some Equalities and Inequalities about Integration Truth Degrees of Formulae in the Logic System ' Luk |
| |
| Abstract: | In this paper, some equalities and inequalities about integration truth degrees of formulae in the 'Lukasiewicz logic system are deduced by means of properties of order structures and evaluation functions that preserve meets, unions, complements and implications. The rule of meet deductions for integration truth degrees is thus reasonable modified and improved. Some related applications of equalities and inequalities about integration truth degrees are also given to reasonablely simplify computing or estimating integration truth degrees of formulae. |
| |
| Keywords: | Logic System 'Luk Integration Truth Degree Pseudo-distance Equality Inequality |
| 本文献已被 万方数据 等数据库收录！ |
|
