Artificial Intelligence
Artificial Intelligence
Readings in model-based diagnosis
Readings in model-based diagnosis
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Logical representation and computation of optimal decisions in a qualitative setting
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A machine program for theorem-proving
Communications of the ACM
IEEE Transactions on Knowledge and Data Engineering
Computation of Prime Implicates and Prime Implicants by a variant of the Davis and Putnam Procedure
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Heuristics based on unit propagation for satisfiability problems
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Possibility theory as a basis for qualitative decision theory
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the foundations of qualitative decision theory
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Qualitative decision theory with Sugeno integrals
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Practical model-based diagnosis with qualitative possibilistic uncertainty
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Decision-making under ordinal preferences and comparative uncertainty
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Arguing for decisions: a qualitative model of decision making
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
From conditional oughts to qualitative decision theory
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Preferences in AI: An overview
Artificial Intelligence
Qualitative integrals and desintegrals --- towards a logical view
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms
International Journal of Approximate Reasoning
Hi-index | 0.00 |
This paper describes a logical machinery for computing decisions, where the available knowledge on the state of the world is described by a possibilistic propositional logic base (i.e., a collection of logical statements associated with qualitative certainty levels), and where the preferences of the user are also described by another possibilistic logic base whose formula weights are interpreted in terms of priorities. Two attitudes are allowed for the decision maker: a pessimistic risk-averse one and an optimistic one. The computed decisions are in agreement with a qualitative counterpart to the classical theory of expected utility, recently developed by three of the authors. A link is established between this logical view of qualitative decision making and an ATMS-based computation procedure. Efficient algorithms for computing pessimistic and optimistic optimal decisions are finally given in this logical setting (using some previous work of the fourth author).