Skip to main content Accessibility help
×
Home

selp: A Single-Shot Epistemic Logic Program Solver

Published online by Cambridge University Press:  26 February 2020

MANUEL BICHLER
Affiliation:
TU Wien, Vienna, Austria, (e-mails: bichler@dbai.tuwien.ac.at, michael.morak@aau.at, woltran@dbai.tuwien.ac.at)
MICHAEL MORAK
Affiliation:
TU Wien, Vienna, Austria, (e-mails: bichler@dbai.tuwien.ac.at, michael.morak@aau.at, woltran@dbai.tuwien.ac.at)
STEFAN WOLTRAN
Affiliation:
TU Wien, Vienna, Austria, (e-mails: bichler@dbai.tuwien.ac.at, michael.morak@aau.at, woltran@dbai.tuwien.ac.at)
Rights & Permissions[Opens in a new window]

Abstract

Epistemic logic programs (ELPs) are an extension of answer set programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple possible worlds. Existing ELP solving approaches generally rely on making multiple calls to an ASP solver in order to evaluate the ELP. However, in this paper, we show that there also exists a direct translation from ELPs into non-ground ASP with bounded arity. The resulting ASP program can thus be solved in a single shot. We then implement this encoding method, using recently proposed techniques to handle large, non-ground ASP rules, into the prototype ELP solving system “selp,” which we present in this paper. This solver exhibits competitive performance on a set of ELP benchmark instances.

Type
Rapid Communication
Creative Commons
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2020. Published by Cambridge University Press

Footnotes

*

This work was funded by the Austrian Science Fund (FWF) under grant numbers Y698 and P30930.

References

Abseher, M., Musliu, N. and Woltran, S. 2017. htd - A free, open-source framework for (customized) tree decompositions and beyond. In Proc. CPAIOR, 376–386.Google Scholar
Alviano, M., Dodaro, C., Faber, W., Leone, N. and Ricca, F. 2013. WASP: A native ASP solver based on constraint learning. In Proc. LPNMR, 54–66.Google Scholar
Bichler, M., Morak, M. and Woltran, S. 2016a. lpopt: A rule optimization tool for answer set programming. In Proc. LOPSTR, 114–130.Google Scholar
Bichler, M., Morak, M. and Woltran, S. 2016b. The power of non-ground rules in answer set programming. TPLP 16, 5–6, 552569.Google Scholar
Bichler, M., Morak, M. and Woltran, S. 2018a. Single-shot epistemic logic program solving. In Proceedings of IJCAI, 1714–1720.Google Scholar
Bichler, M., Morak, M. and Woltran, S. 2018b. Single-shot epistemic logic program solving. In Proceedings of ASPOCP.CrossRefGoogle Scholar
Bliem, B., Moldovan, M., Morak, M. and Woltran, S. 2017. The impact of treewidth on ASP grounding and solving. In Proceedings of IJCAI, 852–858.Google Scholar
Bodlaender, H. L. 1993. A tourist guide through treewidth. Acta Cybernetica 11, 1–2, 121.Google Scholar
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Communications of the ACM 54, 12, 92103.CrossRefGoogle Scholar
Calimeri, F., Fuscà, D., Perri, S. and Zangari, J. 2017. I-DLV: The new intelligent grounder of DLV. Intelligenza Artificiale 11, 1, 520.CrossRefGoogle Scholar
del Cerro, L. F., Herzig, A. and Su, E. I. 2015. Epistemic equilibrium logic. In Proceedings of IJCAI, 2964–2970.Google Scholar
Ebbinghaus, H.-D. and Flum, J. 1995. Finite Model Theory. Springer Monographs in Mathematics. Springer, Berlin, Heidelberg.CrossRefGoogle Scholar
Eiter, T., Faber, W., Fink, M. and Woltran, S. 2007. Complexity results for answer set programming with bounded predicate arities and implications. Annals of Mathematics and Artificial Intelligence 51, 2–4, 123165.CrossRefGoogle Scholar
Eiter, T. and Gottlob, G. 1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 3–4, 289323.CrossRefGoogle Scholar
Faber, W., Morak, M. and Woltran, S. 2019. Strong equivalence for epistemic logic programs made easy. In Proceedings of AAAI.CrossRefGoogle Scholar
Faber, W., Pfeifer, G. and Leone, N. 2011. Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence 175, 1, 278298.CrossRefGoogle Scholar
Ferraris, P., Lee, J. and Lifschitz, V. 2011. Stable models and circumscription. Artificial Intelligence 175, 1, 236263.Google Scholar
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2012. Answer Set Solving in Practice. Morgan & Claypool.CrossRefGoogle Scholar
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2014. clingo = ASP + control: Preliminary report. In ICLP Technical CommunicationsGoogle Scholar
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2019. Multi-shot ASP solving with clingo. TPLP 19, 1, 2782.Google Scholar
Gebser, M., Kaminski, R., König, A. and Schaub, T. 2011. Advances in gringo series 3. In Proceedings of LPNMR, 345–351.Google Scholar
Gebser, M., Kaufmann, B. and Schaub, T. 2009. Solution enumeration for projected boolean search problems. In Proceedings of CPAIOR, 71–86.Google Scholar
Gebser, M., Kaufmann, B. and Schaub, T. 2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187, 52–89.Google Scholar
Gelfond, M. 1991. Strong introspection. In Proc. AAAI, Vol. 1, 386–391.Google Scholar
Gelfond, M. 1994. Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence 12, 1–2, 89116.CrossRefGoogle Scholar
Gelfond, M. 2011. New semantics for epistemic specifications. In Proceedings of LPNMR, 260–265.Google Scholar
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of ICLP/SLP, 1070–1080.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 3/4, 365–386.Google Scholar
Kahl, P. T. 2014. Refining the semantics for epistemic logic programs. Ph.D. thesis, Texas Tech University, Texas, USA.Google Scholar
Kahl, P. T., Leclerc, A. P. and Son, T. C. 2016. A parallel memory-efficient epistemic logic program solver: Harder, better, faster. In Proceedings of ASPOCP.Google Scholar
Kahl, P. T., Watson, R., Balai, E., Gelfond, M. and Zhang, Y. 2015. The language of epistemic specifications (refined) including a prototype solver. Journal of Logic and Computation, exv065.Google Scholar
Leclerc, A. P. and Kahl, P. T. 2018. A survey of advances in epistemic logic program solvers. CoRR abs/1809.07141.CrossRefGoogle Scholar
Lifschitz, V., Tang, L. R. and Turner, H. 1999. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence 25, 3–4, 369389.CrossRefGoogle Scholar
Morak, M. and Woltran, S. 2012. Preprocessing of complex non-ground rules in answer set programming. In ICLP Technical Communications, 247–258.Google Scholar
Pearce, D. 2006. Equilibrium logic. Annals of Mathematics and Artificial Intelligence 47, 1–2, 341.CrossRefGoogle Scholar
Pelov, N., Denecker, M. and Bruynooghe, M. 2007. Well-founded and stable semantics of logic programs with aggregates. TPLP 7, 3, 301353.Google Scholar
Pulina, L. 2016. The ninth QBF solvers evaluation – preliminary report. In Proc. QBF. CEUR Workshop Proceedings, vol. 1719. CEUR-WS.org, 1–13.Google Scholar
Shen, Y. and Eiter, T. 2016. Evaluating epistemic negation in answer set programming. Artificial Intelligence 237, 115135.CrossRefGoogle Scholar
Shen, Y., Wang, K., Eiter, T., Fink, M., Redl, C., Krennwallner, T. and Deng, J. 2014. FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence 213, 141.Google Scholar
Son, T. C., Le, T., Kahl, P. T. and Leclerc, A. P. 2017. On computing world views of epistemic logic programs. In Proc. IJCAI, 1269–1275.Google Scholar
Truszczynski, M. 2011. Revisiting epistemic specifications. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning – Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, 315–333.Google Scholar
Zhang, Z., Wang, B. and Zhang, S. 2015. Logic programming with graded introspection. In Proceedings of ASPOCP.Google Scholar

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 86 *
View data table for this chart

* Views captured on Cambridge Core between 26th February 2020 - 28th January 2021. This data will be updated every 24 hours.

Access
Open access
Hostname: page-component-898fc554b-2qp9q Total loading time: 0.374 Render date: 2021-01-28T03:41:46.809Z Query parameters: { "hasAccess": "1", "openAccess": "1", "isLogged": "0", "lang": "en" } Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false }

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

selp: A Single-Shot Epistemic Logic Program Solver
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

selp: A Single-Shot Epistemic Logic Program Solver
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

selp: A Single-Shot Epistemic Logic Program Solver
Available formats
×
×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *