Pawlak、Belnap与神奇的数字七
逻辑
2023-10-19 v1
摘要
我们考虑Pawlak-Brouwer-Zadeh格的代数结构，以区分由不精确性引起的模糊性与由粗粒度引起的歧义性。我们表明，一种对数据推理有用的一般多值逻辑类由此背景中产生。所有这些逻辑均可从一个非常一般的七值逻辑获得，有趣的是，该逻辑对应于公元前四世纪由耆那教哲学家发展的推理系统。特别地，我们展示了著名的Belnap四值逻辑如何从该基于Pawlak-Brouwer-Zadeh格的非常一般的七值逻辑中获得。
引用
@article{arxiv.2310.11483,
title = {Pawlak, Belnap and the magical number seven},
author = {Salvatore Greco and Roman Slowinski},
journal= {arXiv preprint arXiv:2310.11483},
year = {2023}
}