| 题名 | n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性 |
| 作者 | 邓富喜 |
| 答辩日期 | 2008 |
| 文献子类 | 硕士 |
| 授予单位 | 兰州理工大学 |
| 导师 | 李骏 |
| 关键词 | MTL命题逻辑系统 真度 伪距离 三I算法 还原性 |
| 学位名称 | 理学硕士 |
| 学位专业 | 运筹学与控制论 |
| 英文摘要 | 基于左连续三角模的MTL逻辑，也是基于正则蕴涵算子的逻辑，其中左连续三角模作为逻辑强合取算子的语义对应，与其伴随的正则蕴涵算子作为逻辑蕴涵算子的语义对应。MTL逻辑作为模糊逻辑，具有很多良好的性质，同时，基于三I原则的模糊推理算法，其统一形式也是基于正则蕴涵算子给出的，因此三I算法和MTL逻辑之间存在着天然的联系。三I原则和算法可以看做是模糊推理的一种数值实现，但是在这种数值实现和逻辑的形式化推理之间，还存在着一定的距离，如果能为三I原则和算法提供一种逻辑上的解释，那将会为模糊推理找到合适的逻辑基础。 |
| 语种 | 中文 |
| 页码 | 37 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/98475]  |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学 |
| 推荐引用方式 GB/T 7714 | 邓富喜. n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D]. 兰州理工大学. 2008. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论