基于概率逻辑与模糊逻辑纤维化的不确定线性逻辑
人工智能
2020-09-29 v1
摘要
从基于计数观测的命题简单语义出发，我们表明概率逻辑与模糊逻辑对应于关于组合证据基当前不可用的命题的两种不同启发式假设。这两种不同的启发式假设导致了两组不同的、通过格运算传播定量真值的公式。我们表明这两组公式为线性逻辑中的乘法与加法算子集提供了自然的依据。线性逻辑的标准规则随后作为底层语义的推论而出现。线性逻辑作为“资源逻辑”的概念在此通过“证据守恒”原则得以体现——线性逻辑中对弱化与收缩的限制旨在避免证据的重计数(超出使用启发式真值函数所引发的任何重计数)。
引用
@article{arxiv.2009.12990,
title = {Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic},
author = {Ben Goertzel},
journal= {arXiv preprint arXiv:2009.12990},
year = {2020}
}