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.
Original language | English |
---|---|
Title of host publication | Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings |
Editors | Nicola Leone, Gerald Pfeifer, Michael Gelfond |
Publisher | Springer Verlag |
Pages | 236-245 |
Number of pages | 10 |
ISBN (Electronic) | 9783540467670 |
ISBN (Print) | 9783540667490 |
DOIs | |
Publication status | Published - 3 Mar 2000 |
Event | 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 - El Paso, USA United States Duration: 2 Dec 1999 → 4 Dec 1999 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1730 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 |
---|---|
Country/Territory | USA United States |
City | El Paso |
Period | 2/12/99 → 4/12/99 |
Bibliographical note
Funding Information:This research was partially supported by Gnsaga of CNR.
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.
Keywords
- Choice
- Game-theory
- Logic programming
- Unfounded sets
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science