基于最大熵原理对模态逻辑 K45、KD45 和 S5 的推理
计算机科学中的逻辑
2013-10-29 v1
摘要
我们提出了模态马尔可夫逻辑，作为命题马尔可夫逻辑的扩展，用于在最大熵原理下对模态逻辑 K45、KD45 和 S5 进行推理。与命题马尔可夫逻辑类似，其知识库由加权公式组成，权重从数据中学习得到。然而，与马尔可夫逻辑不同的是，在我们的框架中，知识库用于定义非等价认知情境（指向性 Kripke 结构）上的概率分布，而非原子命题上的分布，并利用该分布为模态公式赋予概率。如同所有概率表示一样，我们框架中的核心任务是推理。尽管状态空间的大小随领域中命题数量呈双指数增长，但我们提供了一种算法，其复杂度仅随知识库大小呈指数增长。最后，我们简要讨论了具有无限数量命题的语言的情况。
引用
@article{arxiv.1310.6439,
title = {Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5},
author = {Tivadar Papai and Henry Kautz and Daniel Stefankovic},
journal= {arXiv preprint arXiv:1310.6439},
year = {2013}
}
备注
7 pages, Poster presentation at TARK 2013 (arXiv:1310.6382) http://www.tark.org