1 Search Results for "�imko, Alexander"


Document
Accepting the natural order of rules in a logic program with preferences

Authors: Alexander Šimko

Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)


Abstract
Preference is a natural part of common sense reasoning. It allows us to select preferred conclusions from broader range of alternative conclusions. It is typically specified on parts of conclusions or on rules. Different semantics have been proposed that deal with preference on rules. None fully meets our requirements. We are interested in a descriptive approach to preference handling in logic programs under answer set semantics that always selects preferred answer set when standard one exists. Existing semantics that meet this criterion also give non intuitive conclusions on some programs. We think this kind of problem is related to the problem of not accepting natural order of rules induced by underlying answer set semantics. Our goal is to define semantics that would always select preferred answer set when standard one exists, accept natural order on rules, and satisfy principles for preference handling.

Cite as

Alexander Šimko. Accepting the natural order of rules in a logic program with preferences. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 284-289, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{simko:LIPIcs.ICLP.2011.284,
  author =	{\v{S}imko, Alexander},
  title =	{{Accepting the natural order of rules in a logic program with preferences}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{284--289},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.284},
  URN =		{urn:nbn:de:0030-drops-31885},
  doi =		{10.4230/LIPIcs.ICLP.2011.284},
  annote =	{Keywords: non-monotonicreasoning, knowledgerepresentation, answersetsemantics, preference handling, preferred answer set}
}
  • Refine by Author
  • 1 Šimko, Alexander

  • Refine by Classification

  • Refine by Keyword
  • 1 answersetsemantics
  • 1 knowledgerepresentation
  • 1 non-monotonicreasoning
  • 1 preference handling
  • 1 preferred answer set

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2011

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