| 基于剩余格语义的格值逻辑系统的程度化方法 |
| |
| 引用本文： | 左卫兵.基于剩余格语义的格值逻辑系统的程度化方法[J].电子学报,2017,45(8):1842-1848. |
| |
| 作者姓名： | 左卫兵 |
| |
| 作者单位： | 华北水利水电大学数学与信息科学学院, 河南郑州 450046 |
| |
| 基金项目： | 河南省基础与前沿技术研究计划 |
| |
| 摘 要： | 基于剩余格的赋值态理论，通过在剩余格全体赋值态集和全体公式集上分别建立概率测度，利用积分方法提出了剩余格语义上公式的概率真度，进而在剩余格语义上建立了概率逻辑度量空间，将计量逻辑学中近似推理方法推广到剩余格语义上，为剩余格语义的概率计量化提供了一种可行的方法.
|
| 关 键 词： | 剩余格 赋值态 概率真度 概率逻辑度量空间 近似推理 |
| 收稿时间： | 2016-07-26 |
Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics |
| |
| ZUO Wei-bing.Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics[J].Acta Electronica Sinica,2017,45(8):1842-1848. |
| |
| Authors: | ZUO Wei-bing |
| |
| Affiliation: | College of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou, Henan 450046, China |
| |
| Abstract: | Based on evaluation state theory of residuated lattice and by defining probability measure in set of all evaluation states of residuated lattice and set of all formulate respectively,the probability truth degree of formula in residuated lattices semantics is introduced using the integral method,then the probability logic metric space is established in residuated lattices semantics,the approximate reasoning of quantitative logic methods have been entended to residuated lattices semantics,the feasible graded method of residuated lattices semantics is provided. |
| |
| Keywords: | residuated lattice evaluation state probability truth degree probability logic metric space approximate reasoning |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
