TPTP 世界中非经典逻辑的自动推理
人工智能
2022-02-22 v1
摘要
非经典逻辑被广泛应用于人工智能、计算机科学、数学和哲学等诸多学科。自动定理证明的事实标准基础设施 TPTP 世界目前仅支持经典逻辑。非经典逻辑推理的类似标准尚不存在。这阻碍了推理系统的实际开发，并限制了其互操作性与应用。本文描述了 TPTP 世界的最新扩展，为在非经典逻辑中进行推理提供了语言与基础设施。这些扩展与现有 TPTP 世界无缝集成。
引用
@article{arxiv.2202.09836,
title = {Automated Reasoning in Non-classical Logics in the TPTP World},
author = {Alexander Steen and David Fuenmayor and Tobias Gleißner and Geoff Sutcliffe and Christoph Benzmüller},
journal= {arXiv preprint arXiv:2202.09836},
year = {2022}
}
备注
21 pages