|
|
下载PDF在浏览器中打开PDF数以千计的定理证明者模型(TMTP)模型库——第一步16页•发布日期:2016年9月27日摘要TPTP世界是一个完善的基础设施,支持研究,自动定理证明(ATP)系统的开发和部署经典逻辑。TPTP世界包括TPTP问题库、TSTP解决方案库、,编写ATP问题和报告ATP解决方案的标准,以及提供处理ATP问题和解决方案的工具和服务。这项工作描述了TPTP世界的一个新组成部分——数千定理证明者模型(TMTP)模型库。这是一个模型库,用于根据TPTP问题库中的公理集,以及高效的函数评估公式wrt模型以及检查和处理工具模型。TMTP支持语义引导定理证明的发展ATP系统,为模型发现ATP系统的开发人员提供示例,并提供了对公理化语义的见解。键盘:解释,模型,tptp(tptp) 在:波利斯·寇涅夫,斯蒂芬·舒尔茨和劳伦特·西蒙(编辑)。IWIL-2015年。第十一届逻辑实施国际研讨会第40卷,第106-121页。 下载PDF在浏览器中打开PDF |
|
|