License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2018.17
URN: urn:nbn:de:0030-drops-98836
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9883/
Go to the corresponding OASIcs Volume Portal

Yang, Zhun

Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs

pdf-format:
OASIcs-ICLP-2018-17.pdf (0.5 MB)

Abstract

Answer set programming (ASP) is a particularly useful approach for nonmonotonic reasoning in knowledge representation. In order to handle quantitative and qualitative reasoning, a number of different extensions of ASP have been invented, such as quantitative extensions LP^{MLN} and P-log, and qualitative extensions LPOD, and CR-Prolog_2.
Although each of these formalisms introduced some new and unique concepts, we present reductions of each of these languages into the standard ASP language, which not only gives us an alternative insight into the semantics of these extensions in terms of the standard ASP language, but also shows that the standard ASP is capable of representing quantitative uncertainty and qualitative uncertainty. What's more, our translations yield a way to tune the semantics of LPOD and CR-Prolog_2. Since the semantics of each formalism is represented in ASP rules, we can modify their semantics by modifying the corresponding ASP rules.
For future work, we plan to create a new formalism that is capable of representing quantitative and qualitative uncertainty at the same time. Since LPOD rules are simple and informative, we will first try to include quantitative preference into LPOD by adding the concept of weight and tune the semantics of LPOD by modifying the translated standard ASP rules.

BibTeX - Entry

@InProceedings{yang:OASIcs:2018:9883,
  author =	{Zhun Yang},
  title =	{{Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs}},
  booktitle =	{Technical Communications of the 34th International  Conference on Logic Programming (ICLP 2018)},
  pages =	{17:1--17:11},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9883},
  URN =		{urn:nbn:de:0030-drops-98836},
  doi =		{10.4230/OASIcs.ICLP.2018.17},
  annote =	{Keywords: answer set programming, preference, LPOD, CR-Prolog}
}

Keywords: answer set programming, preference, LPOD, CR-Prolog
Collection: Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Issue Date: 2018
Date of publication: 19.11.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI