文件名称:四值非全序逻辑系统中公式的条件随机真度 (2012年)
文件大小:312KB
文件格式:PDF
更新时间:2024-06-15 22:57:19
自然科学 论文
基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。
文件名称:四值非全序逻辑系统中公式的条件随机真度 (2012年)
文件大小:312KB
文件格式:PDF
更新时间:2024-06-15 22:57:19
自然科学 论文
基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。