×

E-SETHEO:自动定理证明器。 (英语) Zbl 0963.68519号

Dyckhoff,Roy(编辑),用分析表和相关方法进行自动推理。2000年7月3日至7日,苏格兰圣安德鲁斯,TABLEAUX 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1847, 436-440 (2000).
总结:我们开发了一种基于问题域生成的测试数据的策略评估和选择方法。我们提出了定理证明器e-SETHEO,它自动处理训练数据管理、策略评估和选择以及实际证明任务。我们还给出了用该系统产生的一些实验数据。我们解决了测试集提取的问题,并对我们的工作进行了评估。
关于整个系列,请参见[Zbl 0941.00032号].

MSC公司:

68吨15 定理证明(演绎、解析等)(MSC2010)

软件:

E-SETHEO公司
PDF格式BibTeX公司 XML格式引用