Intention is choice with commitment
Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
Modeling agents as qualitative decision makers
Artificial Intelligence - Special issue on economic principles of multi-agent systems
On decision-theoretic foundations for defaults
Artificial Intelligence
On the foundations of qualitative decision theory
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Reasoning with conditional ceteris paribus preference statements
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Qualitative decision theory with Sugeno integrals
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
An Analytic Logic of Aggregation
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
From Belief Change to Preference Change
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Preference change triggered by belief change: a principled approach
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Toward formalizing usefulness in propositional language
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
Hi-index | 0.00 |
In this paper we introduce and study a logic of desires. The semantics of our logic is defined by means of two ordering relations representing preference and normality as in Boutilier's logic QDT. However, the desires are interpreted in a different way: "in context A, I desire B" is interpreted as "the best among the most normal A Λ B worlds are preferred to the most normal A Λ ¬ B worlds". We study the formal properties of these desires, illustrate their expressive power on several classes of examples and position them with respect to previous work in qualitative decision theory.