| n值S-MTL命题逻辑系统中公式真度的统一理论 | |
| 李骏; 邓富喜 | |
| 刊名 | 电子学报
 |
| 2011-08-15 | |
| 期号 | 2011年08期页码:1864-1868 |
| 关键词 | 真度 强正则蕴涵算子 n值S-MTL命题逻辑系统 伪距离 |
| ISSN号 | ISSN：0372-2112 |
| 英文摘要 | 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能. |
| URL标识 | 查看原文 |
| 语种 | 中文 |
| 内容类型 | 期刊论文 |
| 源URL | [http://119.78.100.223/handle/2XXMBERH/13130]  |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学理学院 |
| 推荐引用方式 GB/T 7714 | 李骏,邓富喜. n值S-MTL命题逻辑系统中公式真度的统一理论[J]. 电子学报,2011(2011年08期):1864-1868. |
| APA | 李骏,&邓富喜.(2011).n值S-MTL命题逻辑系统中公式真度的统一理论.电子学报(2011年08期),1864-1868. |
| MLA | 李骏,et al."n值S-MTL命题逻辑系统中公式真度的统一理论".电子学报 .2011年08期(2011):1864-1868. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论