Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Bichler, M. Morak, S. Woltran:
"Single-Shot Epistemic Logic Program Solving";
Vortrag: IJCAI - International Joint Conference on Artificial Intelligence,
Stockholm;
13.07.2018
- 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018",
ijcai.org,
(2018),
ISBN: 978-0-9992411-2-7;
S. 1714
- 1720.
Kurzfassung englisch:
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 a prototype ELP solving system. This solver exhibits competitive performance on a set of ELP benchmark instances.
Schlagworte:
Non-monotonic Reasoning; Automated Reasoning and Theorem Proving; Logics for Knowledge Representation
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.24963/ijcai.2018/237
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_273289.pdf
Zugeordnete Projekte:
Projektleitung Stefan Woltran:
START
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.