@inproceedings{a63b578f41a741978d2183aa65936ad3,
title = "On the role of negation in choice logic programs",
abstract = "We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally model decision problems where, depending on a context, agents must make a decision, i.e. an exclusive choice out of several alternatives. It is shown that such a choice mechanism is in a sense equivalent with negation as supported in semi-negative (“normal{"}) datalog programs. We also discuss an application where strategic games can be naturally formulated as choice programs: it turns out that the stable models of such programs capture exactly the set of Nash equilibria. We then consider the effect of choice on “negative information{"} that may be implicitly derived from a program. Based on an intuitive notion of unfounded set for choice programs, we show that several results from (seminegative) disjunctive programs can be strengthened; characterizing the position of choice programs as an intermediate between simple positive programs and programs that allow for the explicit use of negation in the body of a rule.",
keywords = "Choice, Game-theory, Logic programming, Unfounded sets",
author = "{De Vos}, Marina and Dirk Vermeir",
note = "Funding Information: This research was partially supported by Gnsaga of CNR. Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 ; Conference date: 02-12-1999 Through 04-12-1999",
year = "2000",
month = mar,
day = "3",
doi = "10.1007/3-540-46767-X_17",
language = "English",
isbn = "9783540667490",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "236--245",
editor = "Nicola Leone and Gerald Pfeifer and Michael Gelfond",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings",
address = "Germany",
}