On the role of negation in choice logic programs

Marina De Vos, Dirk Vermeir

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

9 Citations (SciVal)


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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings
EditorsNicola Leone, Gerald Pfeifer, Michael Gelfond
PublisherSpringer Verlag
Number of pages10
ISBN (Electronic)9783540467670
ISBN (Print)9783540667490
Publication statusPublished - 3 Mar 2000
Event5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, USA United States
Duration: 2 Dec 19994 Dec 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999
Country/TerritoryUSA United States
CityEl Paso

Bibliographical note

Funding Information:
This research was partially supported by Gnsaga of CNR.

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.


  • Choice
  • Game-theory
  • Logic programming
  • Unfounded sets

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'On the role of negation in choice logic programs'. Together they form a unique fingerprint.

Cite this