信念修正与三值逻辑：19,683 个信念变更算子的刻画
计算机科学中的逻辑
2019-11-01 v1 人工智能
逻辑
摘要
在大多数经典信念变更模型中，认知状态由理论（AGM）或公式（Katsuno-Mendelzon）表示，新信息由公式表示。修正算子的表示定理指出，算子由全预序表示。这一重要表示被 Darwiche 和 Pearl 用来将认知状态的概念转向更抽象的一种，其中认知状态的范式正是解释上的全预序。在本工作中，我们引入一种三值逻辑，其中公式可识别为三层级全预序的推广：一种将解释映射到真值的排序函数。随后我们分析此类结构中的某些变更，并给出它们的语法刻画。
引用
@article{arxiv.1910.14138,
title = {Belief revision and 3-valued logics: Characterization of 19,683 belief change operators},
author = {Nerio Borges and Ramón Pino Pérez},
journal= {arXiv preprint arXiv:1910.14138},
year = {2019}
}