De Cat，Broes公司；马克·德纳克；彼得·斯塔基 通过增量接地延迟模型扩展。 （英语） Zbl 1281.68208号 Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，201-211，电子版（2012）。 概述：最先进的答案集编程和模型扩展系统中使用的基础和解决方法是将问题规范重写为基础格式，然后应用搜索。这种方法的缺点是重写步骤破坏了大输入域的原始规范，并且在无限域的情况下不可行。在本文中，我们描述了一种在一阶逻辑上下文中进行模型扩展的惰性方法，该方法可以处理大型和无限的问题域。该方法将接地和搜索交错进行，仅在必要时才逐步扩展当前的部分接地。它通常允许在不创建完全接地的情况下解决原始问题，因此比“接地并解决”更广泛地适用。我们报告了IDP系统中的现有实现以及显示该方法前景的实验。有关整个系列，请参见[Zbl 1253.68010号]. 引用于4文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：知识表示与推理；模型生成；接地；IDP框架；一阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{B.De Cat}等人，LIPIcs——莱布尼茨国际程序。通知。17、201——211（2012；Zbl 1281.68208） 全文： 内政部