基于 Belnap–Dunn 逻辑的信念函数更新
人工智能
2022-05-31 v1 计算机科学中的逻辑
概率论
摘要
信念与似真度是比概率更弱的不确定性度量。它们的动机在于无法获得完整概率信息的情况。然而，信息也可能存在矛盾。因此，经典逻辑框架未必最为恰当。Belnap-Dunn 逻辑被引入用于推理不完全与矛盾信息。Klein 等人及 Bilkova 等人分别将概率测度与信念函数推广到 Belnap-Dunn 逻辑。在本文中，我们研究如何用新信息片段更新信念函数。我们提出了一种基于 Belnap-Dunn 逻辑框架语义的初步方法。
引用
@article{arxiv.2205.15159,
title = {Updating belief functions over Belnap--Dunn logic},
author = {Sabine Frittella and Ondrej Majer and Sajad Nazari},
journal= {arXiv preprint arXiv:2205.15159},
year = {2022}
}