DROPS

Document

DOI: 10.4230/OASIcs.ICLP.2018.1

Epistemic Logic Programs with World View Constraints

Authors: Patrick Thor Kahl and Anthony P. Leclerc

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

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.

Cite as

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)

Copy BibTex To Clipboard

@InProceedings{kahl_et_al:OASIcs.ICLP.2018.1,
  author =	{Kahl, Patrick Thor and Leclerc, Anthony P.},
  title =	{{Epistemic Logic Programs with World View Constraints}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{1:1--1:17},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.1},
  URN =		{urn:nbn:de:0030-drops-98679},
  doi =		{10.4230/OASIcs.ICLP.2018.1},
  annote =	{Keywords: Epistemic Specifications, Epistemic Logic Programs, Constraints, World View Constraints, World View Rules, WV Facts, Answer Set Programming, Logic Programming}
}

Search Results

Documents authored by Leclerc, Anthony P.

Epistemic Logic Programs with World View Constraints

Abstract

Cite as

Thanks for your feedback!

Could not send message