| Boole语义的程度化方法 |
| |
| 引用本文： | 左卫兵.Boole语义的程度化方法[J].电子学报,2012,40(3):441-447. |
| |
| 作者姓名： | 左卫兵 |
| |
| 作者单位： | 华北水利水电学院数学与信息科学学院,河南郑州 450046 |
| |
| 基金项目： | 国家自然科学基金(No.51009065);河南省自然科学基金(No.112300410040);河南省教育厅自然科学基金(No.2011A110012);河南省高等学校骨干教师资助计划(No.2011GGJS-097) |
| |
| 摘 要： | 基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.
|
| 关 键 词： | Boole语义 B-赋值 B-概率真度 概率逻辑度量空间 近似推理 |
| 收稿时间： | 2010-01-30 |
Graded Method of Boolean Semantics |
| |
| ZUO Wei-bing.Graded Method of Boolean Semantics[J].Acta Electronica Sinica,2012,40(3):441-447. |
| |
| Authors: | ZUO Wei-bing |
| |
| Affiliation: | Department of Mathematics and Information Science,North China Institute of Water Conservancy and Hydroelectric Power,Zhengzhou,Henan 450046,China |
| |
| Abstract: | Based on B-valuation and by defining probability measure in Boolean evaluation lattice and set of all formulae respectively,the B-probability truth degree of formulae in Boolean semantics is introduced using the integral method,then the probability logic metric space is established in Boolean semantics,the approximate reasoning of quantitative logic methods have been extended to Boolean semantics,the graded method of Boolean semantics is improved. |
| |
| Keywords: | Boolean algebra B-valuation B-probability truth degree probability logic metric space approximate reasoning |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
