格诺·斯坦兹;安德烈亚斯·沃尔夫 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格式引用 \textit{G.Stenz}和\textit{A.Wolf},莱克特。注释计算。科学。1847436-440(2000年;Zbl 0963.68519)