MTL代数语义上逻辑公式的概率真度

zmmdmn · 发表于 2020-11-19 11:16

EDA365欢迎您登录！

您需要登录才可以下载或查看，没有帐号？注册

x

摘要：基于Ｌ赋值理论，通过在ＭＴＬ代数赋值格和全体公式集上分别建立概率测度，利用积分方法提出了ＭＴＬ代数语义上公式的概率真度．证明了概率真度的ＭＰ规则、ＨＳ规则及交推理规则；同时引入公式间的概率相似度和伪距离，建立了概率逻辑度量空间．将计量逻辑学中的相关理论推广到基于ＭＴＬ代数语义的格值逻辑上，使得在格值逻辑上进行程度化推理成为可能．关键词：ＭＴＬ代数；Ｌ赋值；概率真度；概率逻辑度量空间；程度化推理

数理逻辑的特点在于形式化而不是数值计算，为了反映程度化的思想，二十世纪５０年代初，Ｒｏｓｓｅｒ教授利用“指派真值”来反映逻辑公式和逻辑推理的真实程度［１］，这种思想在Ｐａｖｅｌｋａ的系列文章［２］中得到了全面的发展．９０年代以来逻辑概念程度化的研究有了进一步发展，取得了许多成果［３～８］，其中［４］基于均匀概率的思想首先提出了命题逻辑系统中公式的真度概念和逻辑度量空间理论，逐步形成了计量逻辑学［８，９］，为逻辑系统的程度化推理提供了新方法，并引发了大量后续研究。

MTL代数语义上逻辑公式的概率真度.pdf (277.71 KB, 下载次数: 0)

weqewq · 发表于 2020-11-19 13:10

证明了概率真度的ＭＰ规则

帐号		自动登录	找回密码
密码			注册

[毕业设计] MTL代数语义上逻辑公式的概率真度

EDA365欢迎您登录！

浏览过的版块

推荐内容 /1