文章基本信息

标题：Lazy Model Expansion by Incremental Grounding
本地全文：下载
作者：Broes De Cat ; Marc Denecker ; Peter Stuckey 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：17
页码：201-211
DOI：10.4230/LIPIcs.ICLP.2012.201
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Ground-and-solve methods used in state-of-the-art Answer Set Programming and model expansion systems proceed by rewriting the problem specification into a ground format and afterwards applying search. A disadvantage of such approaches is that the rewriting step blows up the original specification for large input domains and is unfeasible in case of infinite domains. In this paper we describe a lazy approach to model expansion in the context of first-order logic that can cope with large and infinite problem domains. The method interleaves grounding and search, incrementally extending the current partial grounding only when necessary. It often allows to solve the original problem without creating the full grounding and is hence more widely applicable than ground-and-solve. We report on an existing implementation within the IDP system and on experiments that show the promise of the method.
关键词：Knowledge representation and reasoning; model generation; grounding; IDP framework; first-order logic