QMLTP 发布 QMLTP library 数据集, 应用在 模态逻辑、定理证明 领域

QMLTP 本次发布的数据集 QMLTP library, 该数据集是由QMLTP库提供的，包含了来自一阶模态逻辑的问题，涵盖了混合应用、哥德尔编码、多模态逻辑、将经典逻辑视为模态逻辑以及语法模态逻辑问题等多个领域。数据集被划分为五个组别：APM（10个问题）、G??领域（245个问题）、MML（20个问题）、NLP（5个问题）、SET（75个问题）以及SYM（245个问题）。每个问题都附有针对一阶模态逻辑属性各种组合的预期结果。总共有600个问题。这项任务的目的是评估自动定理证明系统在模态逻辑问题上的表现。

查看QMLTP library

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。