Epistemic Logic Programs with World View Constraints

Authors Patrick Thor Kahl, Anthony P. Leclerc



PDF
Thumbnail PDF

File

OASIcs.ICLP.2018.1.pdf
  • Filesize: 0.65 MB
  • 17 pages

Document Identifiers

Author Details

Patrick Thor Kahl
  • Space and Naval Warfare Systems Center Atlantic, North Charleston, SC, USA
Anthony P. Leclerc
  • Space and Naval Warfare Systems Center Atlantic, North Charleston, SC, USA
  • and, College of Charleston, Charleston, SC, USA

Cite AsGet BibTex

Patrick Thor Kahl and Anthony P. Leclerc. Epistemic Logic Programs with World View Constraints. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 1:1-1:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.ICLP.2018.1

Abstract

An epistemic logic program is a set of rules written in the language of Epistemic Specifications, an extension of the language of answer set programming that provides for more powerful introspective reasoning through the use of modal operators K and M. We propose adding a new construct to Epistemic Specifications called a world view constraint that provides a universal device for expressing global constraints in the various versions of the language. We further propose the use of subjective literals (literals preceded by K or M) in rule heads as syntactic sugar for world view constraints. Additionally, we provide an algorithm for finding the world views of such programs.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Constraints
Keywords
  • Epistemic Specifications
  • Epistemic Logic Programs
  • Constraints
  • World View Constraints
  • World View Rules
  • WV Facts
  • Answer Set Programming
  • Logic Programming

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Evgenii Balai. ELPS, 2015. Texas Tech. URL: https://github.com/iensen/elps/wiki/.
  2. Evgenii Balai and Patrick Kahl. Epistemic Logic Programs with Sorts. In Daniela Inclezan and Marco Maratea, editors, Proc. 7th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014), 2014. URL: https://sites.google.com/site/aspocp2014/paper_4.pdf.
  3. Marcello Balduccini. sismodels, 2001. See http://www.mbal.tk/ for more information.
  4. Chitta Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York, NY, USA, 2003. Google Scholar
  5. Chitta Baral and Michael Gelfond. Logic Programming and Knowledge Representation. J. Log. Program., 19/20:73-148, 1994. URL: http://dx.doi.org/10.1016/0743-1066(94)90025-6.
  6. Manuel Bichler, Michael Morak, and Stefan Woltran. selp, 2018. URL: http://dbai.tuwien.ac.at/proj/selp/.
  7. Manuel Bichler, Michael Morak, and Stefan Woltran. Single-Shot Epistemic Logic Program Solving. In Jérôme Lang, editor, Proc. 27th Intl. Joint Conf. on AI (IJCAI 2018) [to appear], 2018. URL: http://dbai.tuwien.ac.at/proj/selp/ijcai2018.pdf.
  8. Gerhard Brewka, Thomas Eiter, and Miroslaw Truszczyński. Answer set programming at a glance. Commun. ACM, 54(12):92-103, 2011. URL: http://dx.doi.org/10.1145/2043174.2043195.
  9. Francesco Buccafurri, Nicola Leone, and Pasquale Rullo. Strong and Weak Constraints in Disjunctive Datalog. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proc. 4th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), volume 1265 of LNCS, pages 2-17. Springer, 1997. URL: http://dx.doi.org/10.1007/3-540-63255-7_2.
  10. Jianhua Chen. The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications. J. Log. Comput., 7(2):159-174, 1997. URL: http://dx.doi.org/10.1093/logcom/7.2.159.
  11. Rongcun Cui, Zhizheng Zhang, and Kaikai Zhao. ESParser: An epistemic specification grounder. In James P. Delgrande and Wolfgang Faber, editors, Proc. 1st Intl. Conf. on Computer Science and Service System (CSSS 2012), pages 1823-1827. IEEE Computer Society CPS, 2012. URL: http://dx.doi.org/10.1109/CSSS.2012.454.
  12. Luis Fariñas del Cerro, Andreas Herzig, and Ezgi Iraz Su. Epistemic Equilibrium Logic. In Qiang Yang and Michael Wooldridge, editors, Proc. 24th Intl. Joint Conf. on AI (IJCAI 2015), pages 2964-2970. AAAI Press, 2015. URL: http://ijcai.org/Abstract/15/419.
  13. Wolfgang Faber and Stefan Woltran. Manifold Answer-Set Programs and Their Applications. In Marcello Balduccini and Tran Cao Son, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, volume 6565 of LNCS, pages 44-63. Springer, 2011. URL: http://dx.doi.org/10.1007/978-3-642-20832-4_4.
  14. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Answer Set Solving in Practice. Synthesis Lectures on AI and ML. Morgan and Claypool, 2012. Google Scholar
  15. Michael Gelfond. Strong Introspection. In Thomas L. Dean and Kathleen McKeown, editors, Proc. 9th National Conf. on Artificial Intelligence (AAAI-91), pages 386-391. AAAI/MIT Press, 1991. URL: http://www.aaai.org/Papers/AAAI/1991/AAAI91-060.pdf.
  16. Michael Gelfond. Logic Programming and Reasoning with Incomplete Information. Ann. Math. Artif. Intell., 12(1-2):89-116, 1994. URL: http://dx.doi.org/10.1007/BF01530762.
  17. Michael Gelfond. New Semantics for Epistemic Specifications. In James P. Delgrande and Wolfgang Faber, editors, Proc. 11th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), volume 6645 of LNCS, pages 260-265. Springer, 2011. URL: http://dx.doi.org/10.1007/978-3-642-20895-9_29.
  18. Michael Gelfond and Yulia Kahl. Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, 2014. URL: http://dx.doi.org/10.1017/CBO9781139342124.
  19. Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proc. 5th Intl. Conf. and Symposium on Logic Programming (ICLP/SLP 1988), pages 1070-1080. MIT Press, 1988. Google Scholar
  20. Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Comput., 9(3/4):365-386, 1991. URL: http://dx.doi.org/10.1007/BF03037169.
  21. Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, and Yuanlin Zhang. The Language of Epistemic Specifications (Refined) Including a Prototype Solver. Journal of Logic and Computation, 2015. URL: http://dx.doi.org/10.1093/logcom/exv065.
  22. Patrick Thor Kahl. Refining the Semantics for Epistemic Logic Programs. PhD thesis, Texas Tech, Lubbock, TX, USA, May 2014. URL: http://hdl.handle.net/2346/58710.
  23. Patrick Thor Kahl, Anthony P. Leclerc, and Tran Cao Son. A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster. In Bart Bogaerts and Amelia Harrison, editors, Proc. 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), 2016. URL: https://arxiv.org/abs/1608.06910.
  24. Michael Kelly. Wviews: A World View Solver for Epistemic Logic Programs. Honours thesis, University of Western Sydney, October 2007. Google Scholar
  25. Michael Kelly. Wviews, 2018. URL: https://github.com/galactose/wviews.
  26. Tiep Le and Tran Cao Son. EP-ASP, 2017. NMSU. URL: https://github.com/tiep/EP-ASP.
  27. Anthony P. Leclerc and Patrick Thor Kahl. A Survey of Advances in Epistemic Logic Program Solvers. In Jorge Fandinno and Johannes K. Fichte, editors, Proc. 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018) [to appear], 2018. Google Scholar
  28. Hector J. Levesque. All I Know: A Study in Autoepistemic Logic. Artif. Intell., 42(2-3):263-309, 1990. URL: http://dx.doi.org/10.1016/0004-3702(90)90056-6.
  29. Vladimir Lifschitz. What Is Answer Set Programming? In Dieter Fox and Carla P. Gomes, editors, Proc. 23rd AAAI Conf. on Artificial Intelligence (AAAI 2008), pages 1594-1597, 2008. Google Scholar
  30. Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner. Nested Expressions in Logic Programs. Ann. Math. Artif. Intell., 25(3-4):369-389, 1999. URL: http://dx.doi.org/10.1023/A:1018978005636.
  31. Thomas Ormston. Time delay between Mars and Earth. In: ESA’s Mars Express blog. URL: http://blogs.esa.int/mex/2012/08/05/time-delay-between-mars-and-earth/.
  32. David Pearce. A New Logical Characterisation of Stable Models and Answer Sets. In Jürgen Dix, Luís Moniz Pereira, and Teodor C. Przymusinski, editors, Proc. Non-Monotonic Extensions of Logic Programming (NMELP 1996), volume 1216 of LNCS, pages 57-70. Springer, 1996. URL: http://dx.doi.org/10.1007/BFb0023801.
  33. Mircea Preda. Modeling Epistemic Knowledge in Logic Programs with Negation as Failure. In Dimitris Dranidis and Illias Sakellariou, editors, Proc. 3rd South-East European Workshop on Formal Methods (SEEFM'07). SEERC, 2007. Google Scholar
  34. SEU. ESmodels, 2015. URL: http://cse.seu.edu.cn/people/seu_zzz/indexe.htm.
  35. Yi-Dong Shen and Thomas Eiter. Evaluating epistemic negation in answer set programming. Artif. Intell., 237:115-135, 2016. URL: http://dx.doi.org/10.1016/j.artint.2016.04.004.
  36. Tran Cao Son, Tiep Le, Patrick Kahl, and Anthony Leclerc. On Computing World Views of Epistemic Logic Programs. In Carles Sierra, editor, Proc. 26th Intl. Joint Conf. on AI (IJCAI 2017), pages 1269-1275, 2017. URL: http://dx.doi.org/10.24963/ijcai.2017/176.
  37. Anton Strasser. EHEX, 2018. TU Wien. URL: https://github.com/hexhex/ehex.
  38. Tommi Syrjänen and Ilkka Niemelä. The Smodels System. In Thomas Eiter, Wolfgang Faber, and Miroslaw Truszczyński, editors, Proc. 6th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), volume 2173 of LNCS, pages 434-438. Springer, 2001. URL: http://dx.doi.org/10.1007/3-540-45402-0_38.
  39. Miroslaw Truszczyński. Revisiting Epistemic Specifications. In Marcello Balduccini and Tran Cao Son, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, volume 6565 of LNCS, pages 315-333. Springer, 2011. URL: http://dx.doi.org/10.1007/978-3-642-20832-4_20.
  40. UWS. Wviews, 2007. URL: http://staff.scem.uws.edu.au/~yan/Wviews.html.
  41. Kewen Wang and Yan Zhang. Nested Epistemic Logic Programs. In Chitta Baral, Gianluigi Greco, Nicola Leone, and Giorgio Terracina, editors, Proc. 8th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), volume 3662 of LNCS, pages 279-290. Springer, 2005. URL: http://dx.doi.org/10.1007/11546207_22.
  42. Richard Glenn Watson. An Inference Engine for Epistemic Specifications. Master’s thesis, UTEP, El Paso, TX, USA, May 1994. Google Scholar
  43. Yan Zhang. Computational Properties of Epistemic Logic Programs. In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Proc. 10th Intl. Conf. on Principles of Knowledge Representation and Reasoning, pages 308-317. AAAI Press, 2006. Google Scholar
  44. Yan Zhang and Yuanlin Zhang. Epistemic Specifications and Conformant Planning. In Roman Barták, Thomas Leo McCluskey, and Enrico Pontelli, editors, Proc. 2017 Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS 2017), 2017. Google Scholar
  45. Zhizheng Zhang. Answer Set Programming with Graded Modality. In Marcello Balduccini and Tomi Janhunen, editors, Proc. 14th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), volume 10377 of LNCS, pages 205-211. Springer, 2017. URL: http://dx.doi.org/10.1007/978-3-319-61660-5_18.
  46. Zhizheng Zhang, Kaikai Zhao, and Rongcun Cui. ESmodels: An inference engine of epistemic specifications. In Proc. 25th Intl. Conf. on Tools with Artificial Intelligence (ICTAI 2013), pages 769-774. IEEE Computer Society, 2013. URL: http://dx.doi.org/10.1109/ICTAI.2013.118.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail