约阿希姆·扬森;艾伯特·乔里森;杰尔达·詹森斯 正在将\（\mathrm{input}^\ast\）FO\（（\cdot）\）归纳定义编译为IDP3的表格序言规则。 （英文） Zbl 1286.68047号 理论与实践。日志。程序。 13，No.4-5，691-704（2013）. 概要：FO\（（\cdot）^{IDP3}\）用归纳定义、分部函数、类型和聚合扩展了一阶逻辑。它的模型生成器IDP3首先为理论奠定基础，然后使用搜索找到模型。接地器使用提升单元传播（LUP）来减小IDP3中问题规格接地的大小。LUP通常非常有效，但对于可以从输入结构中的数据计算其二值解释的谓词的定义，LUP表现不佳。为了解决这个问题，引入了一个预处理步骤，将这些定义转换为Prolog代码，并使用XSB-Prolog计算它们的解释。然后将这些谓词的解释添加到输入结构中，将其定义从理论中删除，并由标准IDP3系统进行进一步处理。实验结果表明了该方法的有效性。 引用于三文件 MSC公司： 68N17号 逻辑编程 03B70号 计算机科学中的逻辑 03B35型 证明和逻辑操作的机械化 关键词：程序转换;FO\（（\cdot）\）;逻辑程序设计;制表;知识库系统;IDP系统;陈述式建模 软件：XSB公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Jansen}等人，《理论与实践》。日志。程序。13、编号4--5、691--704（2013；Zbl 1286.68047） 全文： 内政部 参考文献： [1] 巴拉尔，LPNMR第266页–（2007年） [2] DOI:10.1007/978-3-642-20895-9·Zbl 1214.68009号 ·doi:10.1007/978-3-642-20895-9 [3] 《人工智能研究杂志》38页223页–（2010年） [4] Giunchiglia，SAT第502页–（2003年） [5] 第六届逻辑程序设计和非单调推理国际会议论文集（LPNMR’01）第280页–（2001） [6] AI Communications 24第125页–（2011年） [7] DOI:10.1017/S1471068411000500·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500 [8] Veloso，AAAI第430页–（2005） [9] Büning，SAT第211页–（2008） [10] Dovier，第28届国际逻辑编程会议论文集-技术通信（ICLP’12）第14页-（2012） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。