Decision As Abduction?

In this article, we describe an abductive representation of decision problems under uncertainty based on ATMS. Firstly, we extend the ATMS framework so as to include , in addition to the usual assumption symbols, preference and decision symbols. Then we show how this framework can be further extended, by allowing to assign multiple (real or qualitative) values to assumption and preference symbols, for modeling gradual uncertainty and preferences, respectively. Two extensions are described, agreeing respectively with two non-classical decision theories.

[1]  J. Jaffray,et al.  Decision making with belief functions: Compatibility and incompatibility with the sure-thing principle , 1993 .

[2]  Didier Dubois,et al.  Qualitative Decision Theory with Sugeno Integrals , 1998, UAI.

[3]  Kathryn B. Laskey,et al.  Assumptions, Beliefs and Probabilities , 1989, Artif. Intell..

[4]  Thomas Schiex,et al.  A constraint satisfaction framework for decision under uncertainty , 1995, UAI.

[5]  Philippe Smets.  Probability of Deductibility and Belief Functions , 1993, ECSQARU.

[6]  Didier Dubois,et al.  Possibility Theory as a Basis for Qualitative Decision Theory , 1995, IJCAI.

[7]  Blai Bonet,et al.  Arguing for Decisions: A Qualitative Model of Decision Making , 1996, UAI.

[8]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[9]  Didier Dubois,et al.  A Possibilistic Logic Machinery for Qualitative Decision , 1997, AAAI 1997.

[10]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[11]  Didier Dubois,et al.  Logical Representation and Computation of Optimal Decisions in a Qualitative Setting , 1998, AAAI/IAAI.

[12]  Gregory M. Provan.  An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions , 1989, IJCAI.

[13]  Jürg Kohlas,et al.  A Mathematical Theory of Hints , 1995 .

[14]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[15]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[16]  Didier Dubois,et al.  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights , 1994, IEEE Trans. Knowl. Data Eng..

[17]  J. Kohlas,et al.  A Mathematical Theory of Hints: An Approach to the Dempster-Shafer Theory of Evidence , 1995 .

[18]  Claudette Cayrol,et al.  Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models , 1996, ECAI.

[19]  Judea Pearl,et al.  Qualitative Decision Theory , 1994, AAAI.