Results 1 - 10
of
741
Independence Axioms for Water Allocation
, 2011
"... Duisenberg school of finance is a collaboration of the Dutch financial sector and universities, with the ambition to support innovative research and offer top quality academic education in core areas of finance. ..."
Abstract
- Add to MetaCart
Duisenberg school of finance is a collaboration of the Dutch financial sector and universities, with the ambition to support innovative research and offer top quality academic education in core areas of finance.
INDEPENDENCE AXIOM, AND NONLINEAR UTILITY THEORY*
, 2016
"... (Article begins on next page) The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. Citation Green, Jerry. 1987. "Making book against oneself, " theindependence axiom, and nonlinear utility theory. Quarterly ..."
Abstract
- Add to MetaCart
(Article begins on next page) The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. Citation Green, Jerry. 1987. "Making book against oneself, " theindependence axiom, and nonlinear utility theory. Quarterly
A SET OF INDEPENDENT AXIOMS FOR BOOLEAN ALGEBRA
, 1961
"... IT is well known that there are a number of sets of axioms for Boolean algebra. In this paper, I give a set of five independent axioms using conditioned disjunction as the ternary operation which is postulated. The ternary operation is most naturally defined on the set 2 n —this is done in ..."
Abstract
- Add to MetaCart
IT is well known that there are a number of sets of axioms for Boolean algebra. In this paper, I give a set of five independent axioms using conditioned disjunction as the ternary operation which is postulated. The ternary operation is most naturally defined on the set 2 n —this is done in
Uncertainty Equivalents: Linear Tests of the Independence Axiom
, 2010
"... We re-introduce an experimental device, the uncertainty equivalent, that provides a direct test of the independence axiom’s critical implication of linearityin-probability. In a within-subject experiment with both uncertainty and certainty equivalents we demonstrate several key results. Using uncert ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
We re-introduce an experimental device, the uncertainty equivalent, that provides a direct test of the independence axiom’s critical implication of linearityin-probability. In a within-subject experiment with both uncertainty and certainty equivalents we demonstrate several key results. Using
Uncertainty Equivalents: Testing the Limits of the Independence Axiom
, 2011
"... There is convincing experimental evidence that Expected Utility fails, but when does it fail, how severely, and for what fraction of subjects? We explore these questions using a novel measure we call the uncertainty equivalent. We find Expected Utility performs well away from certainty, but fails ne ..."
Abstract
-
Cited by 7 (0 self)
- Add to MetaCart
There is convincing experimental evidence that Expected Utility fails, but when does it fail, how severely, and for what fraction of subjects? We explore these questions using a novel measure we call the uncertainty equivalent. We find Expected Utility performs well away from certainty, but fails near certainty for about 40 % of subjects. Comparing non-Expected Utility theories, we strongly reject Prospect Theory probability weighting, we support disappointment aversion if amended to allow violations of stochastic dominance, but find the u-v model of a direct preference for certainty the most parsimonious approach.
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub
"... Abstract In recent years, formalised large theories in form of ontologies, system specifications or mathematical libraries with thousands of sentences have become more and more common. Automatically proving properties in such theories is an important task in research as well as in industry, for ins ..."
Abstract
- Add to MetaCart
, for instance, as part of system specifications. However, automated theorem provers struggle finding proofs when there are too many axioms available. This paper presents and investigates two approaches to reduce the load on automated theorem provers by preselecting axioms: 1) a generalisation of the SIn
GENERALIZED EXPECTED UTILITY ANALYSIS AND THE NATURE OF OBSERVED VIOLATIONS OF THE INDEPENDENCE AXIOM '
"... First expressed by Allais in the early fifties, dissatisfaction with the expected utility model of individual risk taking behavior has mushroomed in recent years, as the number of papers in this volume, its predecessor (Allais & Hagen(l979», and elsewhere2 ..."
Abstract
- Add to MetaCart
First expressed by Allais in the early fifties, dissatisfaction with the expected utility model of individual risk taking behavior has mushroomed in recent years, as the number of papers in this volume, its predecessor (Allais & Hagen(l979», and elsewhere2
Results 1 - 10
of
741