tptp下载,TPTP Hub 一键搜索统一解题协议
TPTP Hub 一键搜索统一解题协议
在数理逻辑领域,存在着许多定理证明的过程需要通过计算机来进行。针对这个问题,诞生了一套经典的工具和语言体系TPTP(Typed Prolog Proof Standard),这个标准可以对算法进行设计,如果研究者遵循这个标准的话,可以让使用相应工具进行验证的过程变得更加简单。
而针对TPTP的一些问题,许多研究者们往往会追求一个对输入数据和结果数据进行便捷管理的方式,于是TPTP Hub便应运而生。TPTP Hub是一个集中式、在线的TPTP资源,掌握有近一万多个TPTP测试集,种类包括谓词与等价式、离散数学、网格理论以及计算几何等,是当前最全的TPTP测试集之一。
在使用TPTP Hub的过程中,搜题也是一项重要的工作,而刚开始的过程并不那么简单。那么我们今天就为大家介绍一款TPTP Hub一键搜索TPTP解题协议的工具,帮助大家在TPTP Hub中更加高效地完成搜题工作。
工具名称为TPTP Search&Solver Protocol,可以通过Github中的项目链接下载到相应代码。然后在本地编译使用即可,使用非常简单。我们可以使用TPTPSearch&SolverProtocol包下的TPTPSearch.java文件对象进行操作。
下面是具体的使用方式:
首先,我们需要设定init方法,该方法为设定端口等信息,比如下面代码示例就表示设定TPTP Hub在8080端口活动:
public void init(){
port = 8080;
}
设定好端口后,我们可以便捷地使用search方法进行搜索。这个方法的参数或许需要阅读一些相关文献,但一般情况下,我们需要输入的主要是搜索的类型t,搜索的关键字k,搜索的输出方式output。
下面是一个搜索谓词演算的示例:
public void search(){
String t = "TFF";
String k = "x > 0 fof(p1, axiom, (x*2)>x))";
String output = "<<p";
HttpRequest searchReqUrl = new HttpRequest("https://www.tptp.org/cgi-bin/SE.cgi");
searchReqUrl.method("POST");
searchReqUrl.queryParam("t", t);
searchReqUrl.queryParam("k", k);
searchReqUrl.queryParam("v", "1");
searchReqUrl.queryParam("sol", "MatrixSat-v2.5");//选择求解器
StringBuffer sb = HttpClientUtils.sendRequest(searchReqUrl);
System.out.println(sb);
}
我们只需要在k的value部分输入相应的谓词演算式子即可,不同的变量类型需要更改t的value部分。
虽然搜索出结果只是第一步,但实际上就可以为我们省下大量时间与精力。而这个工具的生成也是在不断的完善和更新之中。我们希望,通过这个工具和更多人的使用,可以使TPTP Hub成为更加便捷、高效地数理逻辑验证工具。
相关文章
- 9游下载官网,畅游游戏世界,尽在9游官网下载
- f2代成年短视频app安卓下载清频道破解了观看限制,F2代成年短视频App安卓版无限观看,限制已破解
- s3赛季,狂欢正式开始!S3赛季全新惊喜活动等你来战
- ludas,Ludas:颠覆传统,独树一帜
- FREEOK最新版下载v1200,免费下载FREEOK v1200最新版!
- 上下颠倒,创新特色:颠覆传统 简洁明了:标题颠倒 长度恰当:不超过30字新标题:颠覆传统!原标题上下颠倒
- mac截长图-一键轻松截取整页内容,Mac截长图新技能解锁
- 女神的直播推荐一款深夜睡不着,深夜失眠?试试女神力荐的直播!
- 在线观看第一集了平台表示不会再,观看第一集无需重写标题,点击即可开始,限50字以内
- 妖姬直播极速版app下载免费费完整视频将重新上架,“妖姬直播极速版app免费完整视频重新上架!”