修正的n值Gdel逻辑系统的随机化 |
| |
作者姓名: | 李修清 魏海新 林亮 |
| |
作者单位: | 桂林航天工业高等专科学校计算机系;桂林理工大学数理系 |
| |
基金项目: | 国家自然科学基金(No.10661006) |
| |
摘 要: | 利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。
|
关 键 词: | 随机概率分布矩阵 随机真度 随机逻辑度量空间 |
本文献已被 CNKI 维普 等数据库收录! |
|