{"type":"ScholarlyArticle","title":"Explaining Answer-Set Programs with Abstract Constraint Atoms","authors":[{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":"Knowledge-based Systems Group , Institute of Logic and Computation , TU Wien , Austria"},{"name":"Tobias Geibinger","slug":"tobias-geibinger","given":"Tobias","family":"Geibinger","affiliation":"Knowledge-based Systems Group , Institute of Logic and Computation , TU Wien , Austria"}],"abstract":"Answer-Set Programming (ASP) is a popular declarative reasoning and problem solving formalism. Due to the increasing interest in explainabilty, several explanation approaches have been developed for ASP. However, support for commonly used advanced language features of ASP, as for example aggregates or choice rules, is still mostly lacking. We deal with explaining ASP programs containing Abstract Constraint Atoms, which encompass the above features and others. We provide justifications for the presence, or absence, of an atom in a given answer-set. To this end, we introduce several formal notions of justification in this setting based on the one hand on a semantic characterisation utilising minimal partial models, and on the other hand on a more ruled-guided approach. We provide complexity results for checking and computing such justifications, and discuss how the semantic and syntactic approaches relate and can be jointly used to offer more insight.\r\nOur results contribute to a basis for explaining commonly used language features and thus increase accessibility and usability of ASP as an AI tool.","doi":"10.24963/ijcai.2023/356","url":"https://ijcai.org/proceedings/2023/356","pdf":"https://ijcai.org/proceedings/2023/0356.pdf","markdown":"https://ijcai.org/proceedings/2023/356.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/356","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":356,"pages":{"first":3193,"last":3202},"keywords":["Knowledge Representation and Reasoning: KRR: Logic programming","Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning","Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning"],"videos":[],"references":[{"position":1,"raw":"[Beierle et al., 2005] Christoph Beierle, Oliver Dusso, and Gabriele Kern-Isberner. Using answer set programming for a decision support system. In Proceedings of the 8th International Conference (LPNMR 2005), volume 3662 of LNCS, pages 374-378. Springer, 2005.","title":"Using answer set programming for a decision support system","authors":"Beierle","year":"2005","venue":"Proceedings of the 8th International Conference (LPNMR 2005)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Calimeri et al., 2020] Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, and Torsten Schaub. Asp-core-2 input language format. Theory Practice of Logic Programming, 20(2):294-309, 2020.","title":"Asp-core-2 input language format","authors":"Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub","year":"2020","venue":"Theory Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Denecker et al., 2015] Marc Denecker, Gerhard Brewka, and Hannes Strass. A formal theory of justifications. In Pro- ceedings of the 13th International Conference on Logic Pro- gramming and Nonmonotonic Reasoning (LPNMR 2015), volume 9345 of LNCS, pages 250-264. Springer, 2015.","title":"A formal theory of justifications","authors":"Marc Denecker, Gerhard Brewka, Hannes Strass","year":"2015","venue":"Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Erdem and Oztok, 2015] Esra Erdem and Umut Oztok. Gen- erating explanations for biomedical queries. Theory and Practice of Logic Programming, 15(1):35-78, 2015.","title":"Generating explanations for biomedical queries","authors":"Esra Erdem, Umut Oztok","year":"2015","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Erdem et al., 2016] Esra Erdem, Michael Gelfond, and Nicola Leone. Applications of answer set programming. AI Magazine, 37(3):53-68, 2016.","title":"Applications of answer set programming","authors":"Esra Erdem, Michael Gelfond, Nicola Leone","year":"2016","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Faber et al., 2004] Wolfgang Faber, Nicola Leone, and Ger- ald Pfeifer. Recursive aggregates in disjunctive logic pro- grams: Semantics and complexity. In Proceedings of the 9th European Conference on Logics in Artificial Intelli- gence (JELIA 2004), volume 3229 of LNCS, pages 200-212. Springer, 2004.","title":"Recursive aggregates in disjunctive logic programs: Semantics and complexity","authors":"Faber","year":"2004","venue":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Falkner et al., 2018] Andreas Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, and Erich C. Tep- pan. Industrial applications of answer set programming. KI -Künstliche Intelligenz, 32(2):165-176, 2018.","title":"Industrial applications of answer set programming","authors":"Andreas Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, Erich C","year":"2018","venue":"KI -Künstliche Intelligenz","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Fandinno and Schulz, 2019] Jorge Fandinno and Claudia Schulz. Answering the \"why\" in answer set programming - A survey of explanation approaches. Theory and Practice of Logic Programming, 19(2):114-203, 2019.","title":"Jorge Fandinno and Claudia Schulz. Answering the \"why\" in answer set programming -A survey of explanation approaches","authors":"Schulz Fandinno","year":"2019","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Gebser et al., 2012] Martin Gebser, Roland Kaminski, Ben- jamin Kaufmann, and Torsten Schaub. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, 2012.","title":"Answer Set Solving in Practice","authors":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub","year":"2012","venue":"Synthesis Lectures on Artificial Intelligence and Machine Learning","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gebser et al., 2014] Martin Gebser, Roland Kaminski, Ben- jamin Kaufmann, and Torsten Schaub. Clingo = ASP + control: Preliminary report. CoRR, abs/1405.3694, 2014.","title":"Clingo = ASP + control: Preliminary report","authors":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gelfond and Lifschitz, 1988] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic program- ming. In Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP 2012), pages 1070-1080. MIT Press, 1988.","title":"The stable model semantics for logic programming","authors":"Lifschitz Gelfond, Michael Gelfond, Vladimir Lifschitz","year":"1988","venue":"Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP 2012)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Ignatiev et al., 2019] Alexey Ignatiev, Nina Narodytska, and João Marques-Silva. Abduction-based explanations for machine learning models. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), pages 1511-1519. AAAI Press, 2019.","title":"Abduction-based explanations for machine learning models","authors":"Alexey Ignatiev, Nina Narodytska, João Marques-Silva","year":"2019","venue":"Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Inclezan, 2015] Daniela Inclezan. An application of answer set programming to the field of second language acquisition. Theory and Practice of Logic Programming, 15(1):1-17, 2015.","title":"An application of answer set programming to the field of second language acquisition","authors":"Daniela Inclezan","year":"2015","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Jackson, 1992] Peter Jackson. Computing prime implicates. In Proceedings of the 20th ACM Annual Conference on Computer Science (CSC 1992), pages 65-72. ACM, 1992.","title":"Computing prime implicates","authors":"Peter Jackson","year":"1992","venue":"Proceedings of the 20th ACM Annual Conference on Computer Science (CSC 1992)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Leone et al., 2006] Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV system for knowledge rep- resentation and reasoning. ACM Transactions on Computa- tional Logic, 7(3):499-562, 2006.","title":"The DLV system for knowledge representation and reasoning","authors":"Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello","year":"2006","venue":"ACM Transactions on Computational Logic","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Lifschitz, 2010] Vladimir Lifschitz. Thirteen definitions of a stable model. In Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, volume 6300 of LNCS, pages 488-503. Springer, 2010.","title":"Thirteen definitions of a stable model","authors":"Vladimir Lifschitz","year":"2010","venue":"Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Liu et al., 2010] Lengning Liu, Enrico Pontelli, Tran Cao Son, and Miroslaw Truszczyński. Logic programs with ab- stract constraint atoms: The role of computations. Artificial Intelligence, 174(3):295-315, 2010.","title":"Logic programs with ab-stract constraint atoms: The role of computations","authors":"Liu","year":"2010","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Marek and Truszczynski, 2004] Victor W. Marek and Miroslaw Truszczynski. Logic programs with abstract constraint atoms. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI 2004), pages 86-91. AAAI Press / The MIT Press, 2004.","title":"Logic programs with abstract constraint atoms","authors":"W Victor, Miroslaw Marek, Truszczynski","year":"2004","venue":"Proceedings of the 19th National Conference on Artificial Intelligence (AAAI 2004)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Marynissen et al., 2022] Simon Marynissen, Jesse Heyn- inck, Bart Bogaerts, and Marc Denecker. On nested justi- fication systems. Theory Practice of Logic Programming, 22(5):641-657, 2022.","title":"On nested justification systems","authors":"Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker","year":"2022","venue":"Theory Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Miller, 2019] Tim Miller. Explanation in artificial intelli- gence: Insights from the social sciences. Artificial Intelli- gence, 267:1-38, 2019.","title":"Explanation in artificial intelligence: Insights from the social sciences","authors":"Tim Miller, Miller","year":"2019","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Oetsch et al., 2012] Johannes Oetsch, Jörg Pührer, and Hans Tompits. An FLP-style answer-set semantics for abstract- constraint programs with disjunctions. In Technical Com- munications of the 28th International Conference on Logic Programming (ICLP 2012), volume 17 of LIPIcs, pages 222-234. Schloss Dagstuhl -Leibniz-Zentrum für Infor- matik, 2012.","title":"An FLP-style answer-set semantics for abstractconstraint programs with disjunctions","authors":"Oetsch","year":"2012","venue":"Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Oetsch et al., 2018] Johannes Oetsch, Jörg Pührer, and Hans Tompits. Stepwise debugging of answer-set programs. Theory and Practice of Logic Programming, 18(1):30-80, 2018.","title":"Stepwise debugging of answer-set programs","authors":"Oetsch","year":"2018","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Papadimitriou, 1994] Christos H. Papadimitriou. Computa- tional Complexity. Addison-Wesley, 1994.","title":"Computational Complexity","authors":"Christos H Papadimitriou","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Pontelli et al., 2009] Enrico Pontelli, Tran Cao Son, and Omar Elkhatib. Justifications for logic programs under answer set semantics. Theory and Practice of Logic Pro- gramming, 9(1):1-56, 2009.","title":"Justifications for logic programs under answer set semantics","authors":"Enrico Pontelli, Tran Cao Son, Omar Elkhatib","year":"2009","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Shen et al., 2009] Yi-Dong Shen, Jia-Huai You, and Li-Yan Yuan. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Theory and Practice of Logic Programming, 9(4):529-564, 2009.","title":"Characterizations of stable model semantics for logic programs with arbitrary constraint atoms","authors":"Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan","year":"2009","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Shih et al., 2018] Andy Shih, Arthur Choi, and Adnan Dar- wiche. A symbolic approach to explaining bayesian net- work classifiers. In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 5103-5111. ijcai.org, 2018.","title":"A symbolic approach to explaining bayesian network classifiers","authors":"Andy Shih, Arthur Choi, Adnan Darwiche","year":"2018","venue":"Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)","doi":null,"url":null,"internal_url":"/proceedings/2018/708"},{"position":27,"raw":"[Son and Pontelli, 2007] Tran Cao Son and Enrico Pontelli. A constructive semantic characterization of aggregates in answer set programming. Theory Practice of Logic Pro- gramming, 7(3):355-375, 2007.","title":"A constructive semantic characterization of aggregates in answer set programming","authors":"Tran Cao, Son, Enrico Pontelli","year":"2007","venue":"Theory Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Trieu et al., 2021] Ly Ly T. Trieu, Tran Cao Son, and Mar- cello Balduccini. exp(aspc) : Explaining ASP programs with choice atoms and constraint rules. In Technical Com- munications of the 37th International Conference on Logic Programming (ICLP 2021), volume 345 of EPTCS, pages 155-161, 2021.","title":"exp(aspc) : Explaining ASP programs with choice atoms and constraint rules","authors":"Ly Ly, T Trieu, Tran Cao Son, Marcello Balduccini","year":"2021","venue":"Technical Communications of the 37th International Conference on Logic Programming (ICLP 2021)","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Trieu et al., 2022] Ly Ly T. Trieu, Tran Cao Son, and Mar- cello Balduccini. xasp: An explanation generation system for answer set programming. In Proceddings of the 16th International Conference on Logic Programming and Non- monotonic Reasoning (LPNMR 2022), volume 13416 of LNCS, pages 363-369. Springer, 2022.","title":"xasp: An explanation generation system for answer set programming","authors":"Ly Ly, T Trieu, Tran Cao Son, Marcello Balduccini","year":"2022","venue":"Proceddings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022)","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Umans et al., 2006] Christopher Umans, Tiziano Villa, and Alberto L. Sangiovanni-Vincentelli. Complexity of two-level logic minimization. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25(7):1230-1246, 2006.","title":"Complexity of two-level logic minimization","authors":"Christopher Umans, Tiziano Villa, Alberto L Sangiovanni-Vincentelli","year":"2006","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Wang et al., 2012] Yisong Wang, Fangzhen Lin, Mingyi Zhang, and Jia-Huai You. A well-founded semantics for ba- sic logic programs with arbitrary abstract constraint atoms. In Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press, 2012.","title":"A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms","authors":"Wang","year":"2012","venue":"Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012)","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Wang et al., 2022] Yisong Wang, Thomas Eiter, Yuanlin Zhang, and Fangzhen Lin. Witnesses for answer sets of logic programs. ACM Transactions on Computational Logic, 2022.","title":"Witnesses for answer sets of logic programs","authors":"Wang","year":"2022","venue":"ACM Transactions on Computational Logic","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}