命题逻辑片段内的信念合并
人工智能
2014-04-28 v1 计算机科学中的逻辑
摘要
最近，命题逻辑片段框架内的信念变更引起了越来越多的关注。先前的工作集中于 Horn 片段上的信念收缩和信念修正。然而，命题逻辑片段内的信念合并问题迄今为止一直被忽视。本文提出了一种通用方法来定义源自现有算子的新合并算子，使得合并结果仍保持在所考虑的片段内。我们的方法不仅限于 Horn 片段的情况，而且适用于任何由公式模型集上的闭包性质刻画的命题逻辑片段。我们研究了所提出算子的逻辑性质，特别是关于合并公设的满足情况，重点考虑了针对 Horn 和 Krom 片段的基于距离的合并算子。
引用
@article{arxiv.1404.6445,
title = {Belief merging within fragments of propositional logic},
author = {Nadia Creignou and Odile Papini and Stefan Rümmele and Stefan Woltran},
journal= {arXiv preprint arXiv:1404.6445},
year = {2014}
}
备注
To appear in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)