The QMLTP Problem Library for First-Order Modal Logics
The QMLTP Problem Library for First-Order Modal Logics
复制标题
一阶模态逻辑的 QMLTP 问题库
DOI：
10.1007/978-3-642-31365-3_35
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
J. Otten
中科院分区：
文献类型：
--
作者：
Thomas Raths;J. Otten
量化模态逻辑定理证明（QMLTP）库为测试和评估一阶模态逻辑的自动定理证明（ATP）系统提供了一个平台。该库的主要目的是促进新的模态ATP系统的发展，并将它们的比较建立在坚实的基础上。QMLTP库的1.1版本包括600个用标准化扩展TPTP语法表示的问题。通过对现有模态ATP系统进行综合测试，确定所有问题的状态和难度等级。在该库的1.1版本中，考虑了具有恒定，累积和变化域的模态逻辑K， D， T， S4和S5。此外，还包括了少量的多模态逻辑问题。
The Quantified Modal Logic Theorem Proving (QMLTP) library provides a platform for testing and evaluating automated theorem proving (ATP) systems for first-order modal logics. The main purpose of the library is to stimulate the development of new modal ATP systems and to put their comparison onto a firm basis. Version 1.1 of the QMLTP library includes 600 problems represented in a standardized extended TPTP syntax. Status and difficulty rating for all problems were determined by running comprehensive tests with existing modal ATP systems. In the presented version 1.1 of the library the modal logics K, D, T, S4 and S5 with constant, cumulative and varying domains are considered. Furthermore, a small number of problems for multi-modal logic are included as well.
使用分析表和相关方法进行自动推理
DOI：
10.1007/978-3-642-40537-2_17
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Khodadadi M
通讯作者：
Khodadadi M