一种有限信念一阶逻辑的推理系统
人工智能
2017-05-05 v1
摘要
有限信念逻辑旨在使高表达力表示语言中的推理在计算上可行。这些语言通常是一阶逻辑的变体，带有较弱的逻辑蕴涵形式，以保持推理可判定甚至易处理。尽管过去已提出若干此类逻辑，它们往往仅停留于理论分析，其实用相关性非常有限。在本文中，我们旨在超越理论。基于 Liu、Lakemeyer 和 Levesque 的早期工作，我们开发了一种有限信念逻辑，其具有高表达力，同时在一阶情况下保持可判定、在命题情况下保持易处理，并展现出一些使其易于实现的特征。我们引入了一个以该逻辑作为表示语言的推理系统，并给出了展示有限信念优势的实验结果。
引用
@article{arxiv.1705.01817,
title = {A Reasoning System for a First-Order Logic of Limited Belief},
author = {Christoph Schwering},
journal= {arXiv preprint arXiv:1705.01817},
year = {2017}
}
备注
22 pages, 0 figures, Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI-17)