Sciweavers

321 search results - page 1 / 65
» The Logic of Choice
Sort
View
AI
2004
Springer
13 years 10 months ago
Qualitative choice logic
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new c...
Gerhard Brewka, Salem Benferhat, Daniel Le Berre
JLP
2000
134views more  JLP 2000»
13 years 10 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
JOLLI
2002
80views more  JOLLI 2002»
13 years 10 months ago
Independent Choices and the Interpretation of IF Logic
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
Theo M. V. Janssen
TARK
2009
Springer
14 years 5 months ago
A logic of propositional control for truthful implementations
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
JSYML
2000
85views more  JSYML 2000»
13 years 10 months ago
The Logic of Choice
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
Andreas Blass, Yuri Gurevich