OASIcs.ICLP.2016.7.pdf
- Filesize: 0.52 MB
- 14 pages
Document
Intelligent Instantiation and Supersafe Rules
Author
-
Part of:
Volume:
Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) (ICLP 2016 TCs)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-11-11
Cite As Get BibTex
Vladimir Lifschitz. Intelligent Instantiation and Supersafe Rules. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/OASIcs.ICLP.2016.7
Abstract
In the input languages of most answer set solvers, a rule with variables has, conceptually, infinitely many instances. The primary role of the process of intelligent instillation is to identify a finite set of ground instances of rules of the given program that are "essential" for generating its stable models. This process can be launched only when all rules of the program are safe. If a program contains arithmetic operations or comparisons then its rules are expected to satisfy conditions that are even stronger than safety. This paper is an attempt to make the idea of an essential instance and the need for "supersafety" in the process of intelligent instantiation mathematically precise.
Subject Classification
Keywords
- answer set programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Evgenii Balai, Michael Gelfond, and Yuanlin Zhang. Towards answer set programming with sorts. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pages 135-147, 2013.
-
Annamaria Bria, Wolfgang Faber, and Nicola Leone. Normal form nested programs. In Proceedings of European Conference on Logics in Artificial Intelligence (JELIA), 2008.
-
Pedro Cabalar, David Pearce, and Agustin Valverde. A revised concept of safety for general answer set programs. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2009.
-
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, and Nicola Leone. Computable functions in ASP: theory and implementation. In Proceedings of International Conference on Logic Programming (ICLP), pages 407-424, 2008.
-
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, and Torsten Schaub. Abstract Gringo. Theory and Practice of Logic Programming, 15:449-463, 2015.
-
Joohyung Lee, Vladimir Lifschitz, and Ravi Palla. Safe formulas in the general theory of stable models (preliminary report). In Proceedings of International Conference on Logic Programming (ICLP), pages 672-676, 2008.
-
Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25:369-389, 1999.
-
Yuri Matiyasevich. Hilbert’s Tenth Problem. MIT Press, 1993.
-
Norman McCain and Hudson Turner. Language independence and language tolerance in logic programs. In Pascal Van Hentenryck, editor, Proceedings Eleventh International Conference on Logic Programming, pages 38-57, 1994.