{"type":"ScholarlyArticle","title":"On the Splitting Property for Epistemic Logic Programs (Extended Abstract)","authors":[{"name":"Pedro Cabalar","slug":"pedro-cabalar","given":"Pedro","family":"Cabalar","affiliation":"University of Corunna , Spain"},{"name":"Jorge Fandinno","slug":"jorge-fandinno","given":"Jorge","family":"Fandinno","affiliation":"University of Potsdam , Germany"},{"name":"Luis Fariñas del Cerro","slug":"luis-farinas-del-cerro","given":"Luis","family":"Fariñas del Cerro","affiliation":"IRIT , University of Toulouse , CNRS , France"}],"abstract":"Epistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called \"subjective literals.\" Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some stable models. However, its associated semantics has proved to be non-trivial, since the truth of subjective literals may interfere with the set of stable models it is supposed to query. As a consequence, no clear agreement has been reached and different semantic proposals have been made in the literature. In this paper, we review an extension of the well-known splitting property for logic programs to the epistemic case. This \"epistemic splitting property\" is defined as a general condition that can be checked on any arbitrary epistemic semantics. Its satisfaction has desirable consequences both in the representation of conformant planning problems and in the encoding of the so-called subjective constraints.","doi":"10.24963/ijcai.2020/653","url":"https://ijcai.org/proceedings/2020/653","pdf":"https://ijcai.org/proceedings/2020/0653.pdf","markdown":"https://ijcai.org/proceedings/2020/653.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/653","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Sister Conferences Best Papers","track":"Sister Conferences Best Papers","number":653,"pages":{"first":4721,"last":4725},"keywords":["Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief","Knowledge Representation and Reasoning: Non-monotonic Reasoning, Common-Sense Reasoning","Knowledge Representation and Reasoning: Logics for Knowledge Representation"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/24852/file_24852.m3u8","length_sec":272,"provider":"hls"}],"references":[{"position":1,"raw":"[Cabalar et al., 2019a] P. Cabalar, J. Fandinno, and L. Fariñas del Cerro. Founded world views with autoepistemic equilibrium logic. In M. Balduccini, Y. Lierler, and S. Woltran, editors, Proceedings of the Fifteenth International Conference on Logic Program- ming and Nonmonotonic Reasoning (LPNMR'19), pages 134-147. Springer-Verlag, 2019.","title":"Founded world views with autoepistemic equilibrium logic","authors":"Cabalar","year":"2019","venue":"Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Cabalar et al., 2019b] P. Cabalar, J. Fandinno, and L. Fariñas del Cerro. Splitting epistemic logic programs. In M. Balduccini, Y. Lierler, and S. Woltran, editors, Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19), pages 120-133. Springer-Verlag, 2019.","title":"Splitting epistemic logic programs","authors":"Cabalar","year":"2019","venue":"Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Fandinno, 2019] J. Fandinno. Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Theory and Practice of Logic Programming, 19(5-6):671-687, 2019.","title":"Founded (auto)epistemic equilibrium logic satisfies epistemic splitting","authors":"J Fandinno","year":"2019","venue":"Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Fariñas del Cerro et al., 2015] L. Fariñas del Cerro, A. Herzig, and E. Iraz Su. Epistemic equilibrium logic. In Q. Yang and M. Wooldridge, editors, Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI'15), pages 2964-2970. AAAI Press, 2015.","title":"Epistemic equilibrium logic","authors":"Fariñas Del, Cerro","year":"2015","venue":"Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI'15)","doi":null,"url":null,"internal_url":"/proceedings/2015/419"},{"position":5,"raw":"[Gelfond and Lifschitz, 1988] M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88), pages 1070-1080. MIT Press, 1988.","title":"The stable model semantics for logic programming","authors":"M Gelfond, V Lifschitz","year":"1988","venue":"Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gelfond and Przymusinska, 1992] M. Gelfond and H. Przy- musinska. On consistency and completeness of autoepis- temic theories. Fundamenta Informaticae, 16(1):59-92, 1992.","title":"On consistency and completeness of autoepistemic theories","authors":"M Gelfond, H Przymusinska","year":"1992","venue":"Fundamenta Informaticae","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gelfond, 1991] M. Gelfond. Strong introspection. In T. Dean and K. McKeown, editors, Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI'91), pages 386-391. AAAI Press / The MIT Press, 1991.","title":"Strong introspection","authors":"M Gelfond","year":"1991","venue":"Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI'91)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Gelfond, 2011] M. Gelfond. New semantics for epistemic specifications. In J. Delgrande and W. Faber, editors, Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LP- NMR'11), volume 6645 of Lecture Notes in Artificial In- telligence, pages 260-265. Springer-Verlag, 2011.","title":"New semantics for epistemic specifications","authors":"M Gelfond","year":"2011","venue":"Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LP-NMR'11)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Kahl et al., 2015] 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, 09 2015.","title":"The language of epistemic specifications (refined) including a prototype solver","authors":"Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang","year":"2015","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Lecrerc and Kahl, 2018] A. Lecrerc and P. Kahl. A survey of advances in epistemic logic program solvers. In Pro- ceedings of the Eleventh International Workshop on An- swer Set Programming and other Computer Paradigms (ASPOCP'18), 2018.","title":"A survey of advances in epistemic logic program solvers","authors":"A Lecrerc, P Kahl","year":"2018","venue":"Proceedings of the Eleventh International Workshop on Answer Set Programming and other Computer Paradigms (ASPOCP'18)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Lifschitz and Turner, 1994] V. Lifschitz and H. Turner. Splitting a logic program. In Proceedings of the Eleventh International Conference on Logic Programming, pages 23-37. MIT Press, 1994.","title":"Splitting a logic program","authors":"V Lifschitz, H Turner","year":"1994","venue":"Proceedings of the Eleventh International Conference on Logic Programming","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Moore, 1985] R. Moore. Semantical considerations on non- monotonic logic. Artificial Intelligence, 25:75-94, 1985.","title":"Semantical considerations on nonmonotonic logic","authors":"R Moore","year":"1985","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Shen and Eiter, 2017] Y. Shen and T. Eiter. Evaluating epis- temic negation in answer set programming (extended ab- stract). In C. Sierra, editor, Proceedings of the Twenty- sixth International Joint Conference on Artificial Intelli- gence (IJCAI'17), pages 5060-5064. IJCAI/AAAI Press, 2017.","title":"Evaluating epistemic negation in answer set programming (extended abstract)","authors":"Y Shen, T Eiter","year":"2017","venue":"Proceedings of the Twentysixth International Joint Conference on Artificial Intelligence (IJCAI'17)","doi":null,"url":null,"internal_url":"/proceedings/2017/722"},{"position":14,"raw":"[Truszczyński, 2011] M. Truszczyński. Revisiting epistemic specifications. In M. Balduccini and T. Son, editors, Logic Programming, Knowledge Representation, and Nonmono- tonic Reasoning -Essays Dedicated to Michael Gelfond on the Occasion of His Sixty-fifth Birthday, volume 6565 of Lecture Notes in Computer Science, pages 315-333. Springer, 2011.","title":"Revisiting epistemic specifications","authors":"M Truszczyński","year":"2011","venue":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning -Essays Dedicated to Michael Gelfond on the Occasion of His Sixty-fifth Birthday","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Wang and Zhang, 2005] K. Wang and Y. Zhang. Nested epistemic logic programs. In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), volume 3662 of Lecture Notes in Artificial Intelligence, pages 279-290. Springer-Verlag, 2005.","title":"Nested epistemic logic programs","authors":"K Wang, Y Zhang","year":"2005","venue":"Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Watson, 2000] R. Watson. A splitting set theorem for epis- temic specifications. Proceedings of the Eighth Interna- tional Workshop on Non-Monotonic Reasoning (NMR'00), cs.AI/0003038, 2000.","title":"A splitting set theorem for epistemic specifications","authors":"R Watson","year":"2000","venue":"Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning (NMR'00)","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}