Qualitative Decision Theory Via Channel Theory

• Autorzy: Gerard Allwein , Yingrui Yang , William L. Harrison
• Języki publikacji: EN

Abstrakty

EN

We recast parts of decision theory in terms of channel theory concentrating on qualitative issues. Channel theory allows one to move between model theoretic and language theoretic notions as is necessary for an adequate covering. Doing so clarifies decision theory and presents the opportunity to investigate alternative formulations. As an example, we take some of Savage’s notions of decision theory and recast them within channel theory. In place of probabilities, we use a particular logic of preference. We introduce a logic for describing actions separate from the logic of preference over actions. The structures introduced by channel theory that represent the decision problems can be seen to be an abstract framework. This frame- work is very accommodating to changing the nature of the decision problems to handle different aspects or theories about decision making.

Słowa kluczowe

EN

Decision theory; channel theory; logics of preference; world de- cision problems

• Wydawca: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Czasopismo: Logic and Logical Philosophy
• Rocznik: 2011
• Tom: 20
• Numer: 1-2
• Strony: 81-110

Daty

wydano

2011-06-01

online

2013-07-02

Twórcy

autor

Gerard Allwein

• Center for High Assurance Computer Systems, Code 5540 Naval Research Laboratory Washington, DC 20375, USA,

autor

Yingrui Yang

• Department of Cognitive Science Rensselaer Polytechnic Institute Troy, New York, USA,

autor

William L. Harrison

• Department of Computer Science University of Missouri Columbia, Missouri, USA,

Bibliografia

• [1] Barr, M., “*-autonomous categories and linear logic”, Mathematical Struc-tures in Computer Science 1 (1991): 159-178.
• [2] Barwise, J., and J. Seligman, Information Flow: The Logic of DistributedSystems, Cambridge University Press, 1997, Cambridge Tracts in Theo- retical Computer Science 44.
• [3] Britz, K., J. Heidema, and W. Labuschagne, “Semantics for dual prefer- ential entailment”, Journal of Philosophical Logic 38 (2009): 433-446.[Crossref][WoS]
• [4] Delgrande, J., T. Schaub, H. Tompits, and K.Wang, “A classiŢcation and survey of preference handling approaches in non-monotonic reasoning”, Computational Intelligence 20 (2004): 308-334.
• [5] Dubois, D., H. Fargier, H. Prade, and P. Penny, “Qualitative decision theory: From savage’s axioms to nonmonotonic reasoning”, Journal ofAssociation of Computing Machinery 49 (2002): 455-495.
• [6] Gentzen, G., “Untersuchungen uber das logische Schliessen”, Mathema-tische Zeitschrift 39 (1934): 176-210, 405-431.
• [7] Goguen, J., “Information integration in institutions” pages 1-48 in: L. Moss, editor, Thinking Logically: a Memorial Volume for Jon Barwise, Indiana University Press, 201x.
• [8] Jeffrey, R.C., The Logic of Decision, University Of Chicago Press, first edition, 1990.
• [9] Joyce, J., The Foundations of Causal Decision Theory, Cambridge Uni- versity Press, 1999.
• [10] Kraus, S., D. Lehmann, and M. Magidor, “Nonmonotonic reasoning, pref- erential models and cumulative logics”, Artificial Intelligence 44 (1990): 167-207.
• [11] Lehmann, D., and M. Magidor, “What does a conditional knowledge base entail?”, Artificial Intelligence 55, 1992.
• [12] Mac Lane, S., Categories for the Working Mathematician, volume 5, Springer-Verlag, second edition, 1998.
• [13] Makinson, D., “How to go nonmonotonic”, pages 175-278 in: Handbookof Philosophical Logic, vol. 12, Springer, second edition, 2005.
• [14] Mendelson, E., Introduction to Mathematical Logic, Shapman and Hall, fourth edition, 1997.
• [15] Savage, L., The Foundations of Statistics, Dover, second edition, 1972.
• [16] Scott, D. S., “Background to formalization”, pages 411-435 in: Truth,Syntax, and Modality, North-Holland, 1973.
• [17] Scott, D. S., “Domains for denotational semantics”, pages 1-47 in: Anextended version of the paper prepared for ICALP’82, Springer-Verlag, 1982.
• [18] Shoesmith, D. J., and T. J. Smiley, Multiple-Conclusion Logic, Cambridge University Press, 1978.

Identyfikatory

DOI

10.12775/LLP.2011.005