一些信念与不信念的逻辑
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
将明确的否定或不信念的概念引入知识表示的逻辑，可以从多个角度进行论证。动机范围从需要比经典否定更弱的否定形式，到在信念变化领域显式记录经典信念收缩操作，到包含不信念收缩的扩展版信念变化所带来的额外表达能力。在本文中，我们提出了四种不信念逻辑，以满足或部分满足这些直觉。提供了完备性和可靠性结果，并与 respect 可用性和实用性进行了比较。
引用
@article{arxiv.cs/0207037,
title = {Some logics of belief and disbelief},
author = {Samir Chopra and Johannes Heidema and Thomas Meyer},
journal= {arXiv preprint arXiv:cs/0207037},
year = {2007}
}