{"type":"ScholarlyArticle","title":"Conflict-driven ASP Solving with External Sources and Program Splits","authors":[{"name":"Christoph Redl","slug":"christoph-redl","given":"Christoph","family":"Redl","affiliation":"Institut für Informationssysteme , Technische Universität Wien Favoritenstraße 9-11 , A-1040 Vienna , Austria"}],"abstract":"Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic reasoning. HEX-programs extend ASP with external atoms for access to arbitrary external sources, which can also introduce constants that do not appear in the program (value invention). In order to determine the relevant constants during (pre-)grounding, external atoms must in general be evaluated under up to exponentially many possible inputs. While program splitting techniques allow for eliminating exhaustive pre-grounding, they prohibit effective conflict-driven solving. Thus, current techniques suffer either a grounding or a solving bottleneck. In this work we introduce a new technique for conflict-driven learning over multiple program components. To this end, we identify reasons for inconsistency of program components wrt. input from predecessor components and propagate them back. Experiments show a significant, potentially exponential speedup.","doi":"10.24963/ijcai.2017/172","url":"https://ijcai.org/proceedings/2017/172","pdf":"https://ijcai.org/proceedings/2017/0172.pdf","markdown":"https://ijcai.org/proceedings/2017/172.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/172","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":172,"pages":{"first":1239,"last":1246},"keywords":["Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Biere et al., 2009] Armin Biere, Marijn J. H. Heule, Hans van Maaren, and Toby Walsh, editors. Handbook of Satis- fiability, volume 185 of Frontiers in Artificial Intelligence and Applications. IOS Press, February 2009.","title":"Handbook of Satisfiability","authors":null,"year":"2009","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Brain et al., 2007] Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. De- bugging ASP Programs by Means of asp. In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR'07), Tempe, AZ, USA, volume 4483 of Lecture Notes in Artificial Intelli- gence, pages 31-43. Springer, 2007.","title":"Debugging ASP Programs by Means of asp","authors":"Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran","year":"2007","venue":"Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Clark, 1977] Keith L. Clark. Negation as failure. In Logic and Data Bases, pages 293-322, 1977.","title":"Negation as failure","authors":"Keith L Clark","year":"1977","venue":"Logic and Data Bases","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Darwiche and Marquis, 2002] Adnan Darwiche and Pierre Marquis. A knowledge compilation map. J. Artif. Intell. Res. (JAIR), 17:229-264, 2002.","title":"A knowledge compilation map","authors":"Adnan Darwiche, Pierre Marquis","year":"2002","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Drescher et al., 2008] Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, and Torsten Schaub. Conflict-driven disjunctive answer set solving. In KR'08, pages 422-432. AAAI Press, 2008.","title":"Conflict-driven disjunctive answer set solving","authors":"Drescher","year":"2008","venue":"KR'08","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Eiter et al., 2011] Thomas Eiter, Michael Fink, Giovambat- tista Ianni, Thomas Krennwallner, and Peter Schüller. Push- ing efficient evaluation of hex programs by modular decom- position. In James Delgrande and Wolfgang Faber, editors, 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, BC, Canada, May 16-19, 2011, volume 6645 of LNCS, pages 93-106. Springer, May 2011.","title":"Pushing efficient evaluation of hex programs by modular decomposition","authors":"Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller","year":"2011","venue":"11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Eiter et al., 2014a] Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Effi- cient HEX-program evaluation based on unfounded sets. Journal of Artificial Intelligence Research, 49:269-321, February 2014.","title":"Efficient HEX-program evaluation based on unfounded sets","authors":"Eiter","year":"2014","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Eiter et al., 2014b] Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova. Exploiting support sets for answer set programs with external evaluations. In Carla E. Brodley and Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pages 1041-1048. AAAI Press, 2014.","title":"Exploiting support sets for answer set programs with external evaluations","authors":"Eiter","year":"2014","venue":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Eiter et al., 2016a] Thomas Eiter, Michael Fink, Giovambat- tista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A model building framework for answer set programming with external computations. Theory and Practice of Logic Programming, 16(4):418-464, 2016.","title":"A model building framework for answer set programming with external computations","authors":"Eiter","year":"2016","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Eiter et al., 2016b] Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl. Domain expansion for ASP-programs with external sources. Artificial Intelligence, 233:84-121, 2016.","title":"Domain expansion for ASP-programs with external sources","authors":"Eiter","year":"2016","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Faber et al., 2010] Wolfgang Faber, Nicola Leone, and Ger- ald Pfeifer. Semantics and complexity of recursive aggre- gates in answer set programming. Artificial Intelligence, In Press, Corrected Proof, 2010. Available online 3 April 2010.","title":"Semantics and complexity of recursive aggregates in answer set programming","authors":"Faber","year":"2010","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Gebser et al., 2008] Martin Gebser, Joerg Puehrer, Torsten Schaub, and Hans Tompits. A meta-programming tech- nique for debugging answer-set programs. In Dieter Fox and Carla P. Gomes, editors, AAAI-08/IAAI-08 Proceedings, pages 448-453, 2008.","title":"A meta-programming technique for debugging answer-set programs","authors":"Martin Gebser, Joerg Puehrer, Torsten Schaub, Hans Tompits","year":"2008","venue":"AAAI-08/IAAI-08 Proceedings","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gebser et al., 2012] Martin Gebser, Benjamin Kaufmann, and Torsten Schaub. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence, 187-188:52- 89, August 2012.","title":"Conflict-driven answer set solving: From theory to practice","authors":"Gebser","year":"2012","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Gelfond and Lifschitz, 1991] M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9(3-4):365-386, 1991.","title":"Classical Negation in Logic Programs and Disjunctive Databases","authors":"M Gelfond, V Lifschitz","year":"1991","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ostrowski and Schaub, 2012] Max Ostrowski and Torsten Schaub. ASP modulo CSP: The clingcon system. The- ory and Practice of Logic Programming, 2012. To appear.","title":"ASP modulo CSP: The clingcon system","authors":"Schaub Ostrowski, Max Ostrowski, Torsten Schaub","year":"2012","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Redl, 2017a] Christoph Redl. Efficient evaluation of answer set programs with external sources based on external source inlining. In Proceedings of the Thirty-First AAAI Confer- ence (AAAI 2017), February 4-9, 2016, San Francisco, California, USA. AAAI Press, February 2017.","title":"Efficient evaluation of answer set programs with external sources based on external source inlining","authors":"Christoph Redl, Redl","year":"2016","venue":"Proceedings of the Thirty-First AAAI Conference (AAAI 2017)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Redl, 2017b] Christoph Redl. Explaining inconsistency in answer set programs and extensions. In Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, July 2017. To appear.","title":"Explaining inconsistency in answer set programs and extensions","authors":"Christoph Redl, Redl","year":"2017","venue":"Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Reiter, 1987] R Reiter. A theory of diagnosis from first prin- ciples. Artif. Intell., 32(1):57-95, April 1987.","title":"A theory of diagnosis from first principles","authors":"Reiter","year":"1987","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Syrjänen, 2006] Tommi Syrjänen. Debugging inconsistent answer set programs. In Proceedings of the 11th Inter- national Workshop on Non-Monotonic Reasoning, pages 77-84, Lake District, UK, May 2006.","title":"Tommi Syrjänen. Debugging inconsistent answer set programs","authors":"Syrjänen","year":"2006","venue":"Proceedings of the 11th International Workshop on Non-Monotonic Reasoning","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}