Non-Archimedean Probability and Conditional Probability; ManyVal2013 Prague F.Montagna, University of Siena
|
|
- Wilfrid Rose
- 8 years ago
- Views:
Transcription
1 Non-Archimedean Probability and Conditional Probability; ManyVal2013 Prague 2013 F.Montagna, University of Siena
2 1. De Finetti s approach to probability. De Finetti s definition of probability is in terms of bets: the probability of an event φ is the amount of money (betting odd in the sequel) α that a fair bookmaker B would accept for the following game: A gambler G chooses a real number λ and pays αλ to B, and receives λv(φ) where v(φ) = 1 if φ is true and v(φ) = 0 if φ is false. Note that λ may be negative; paying β < 0 is the same as receiving β; betting a negative number corresponds to reversing the roles of gambler and bookmaker.
3 2. Coherence. The only rationality criterion proposed by de Finetti is the following: suppose B accepts bets on the events φ 1,..., φ n with betting odds α 1,..., α n, respectively. Then the assessment proposed by B is coherent if there is no system of bets which causes to B a sure loss, independently of the truth values of φ 1,..., φ n. That is, there are no λ 1,..., λ n such that for every homomorphism v of the algebra of events into into 2, ni=1 λ i (α i v(φ i )) < 0.
4 Example. Suppose that Brazil and Spain are going to play and that the betting odd is: B: Brazil wins 1 2 ; S: Spain wins 1 2 ; D: Draw 1 2. Then G may cause to B a sure loss by betting -1 euro on each of B,S and D. This would cause a sure loss of 0,50 euro to the bookmaker. Hence, the assessment is not coherent.
5 Theorem [df] (de Finetti) An assessment φ 1 α 1,..., φ n α n is coherent iff it can be extended to a probability distribution, that is, there is a probability distribution Pr such that, for i = 1,..., n, Pr(φ i ) = α i. Hence, the Kolmogoroff laws of probability model coherent assessments. There is an interesting analogy with the completeness theorem: coherence is equivalent to (probabilistic) satisfiability.
6 5. Coherence for conditional events. De Finetti proposed an analogous definition of conditional probability in terms of bets. The idea is that when betting on φ ψ with betting odd α the rules are similar to the case of a bet on φ, with the exception that the bet is invalidated if ψ is false, independently of the truth value of φ. Coherence is in terms of no sure loss for B, as usual. However, as it is, the notion of coherence does not work quite well.
7 Example. We chose a point at random in the planet Earth; let E be the event: the chosen point belongs to the Equator, and let W be the event: the point belongs to the Western Hemisphere. Then the assessment E 0, W E 1, ( W ) E 1 is coherent, because if the point does not belong to the equator, then both bets on W E and on W E will be declared null, and B will not lose money, independently of the strategy chosen by G. However, it seems not rational to assess both probabilities of W E and of W E to 1.
8 3. Probability on many-valued events. One may wonder what happens if the events are not boolean but many-valued. Mundici [Mu1] represented such events as elements of an MValgebra. Clearly, MV events may also have intermediate truth values. Note that MV-events are not strange concepts: special random variables ranging on [0, 1]. they are just
9 The role of probability distributions is played by states on MValgebras (see [Mus]). A state on an MV-algebra A is a map s from A into [0, 1] such that: s(1) = 1. If x y = 0, then s(x y) = s(x) + s(y).
10 By a result due independently to Panti [Pa] and to Kroupa [Kr], to each state we can associate a Borel regular probability measure µ on the space V of all homomorphisms from A into [0, 1] such that for all a A, s(a) = V a dµ, where a (v) = v(a) for all v V. In other words, states represent the expected (average) values of the elements of the MV-algebra, which are thought of as random variables. Now Mundici [Mu1] extended de Finetti s theorem to manyvalued events: Theorem. An assessment on an MV-algebra avoids sure loss iff it can be extended to a state.
11 6. Conditional probability over many-valued events. There are (at least) two possible approaches to conditional probability over many-valued events. (1) The conditional probability of φ ψ is the probability of φ in a theory in which ψ is an axiom. As shown by Daniele Mundici [Mub], given any free MV-algebra there is a conditional probability distribution on it which satisfies all Rényi laws of conditional probability and in addition: Is invariant under automorphism of the algebra. Is independent: Pr(φ ψ) = Pr(φ). if φ and ψ have no common variable, then
12 But there is another interpretation of conditional probability when the conditioning event is many-valued. 7. Another interpretation of conditional probability. This second approach takes into account the case where ψ is not completely true, but is partially true. The idea is that the bet should not be completely invalidated when ψ is partially true but not completely true (in particular, if ψ is not 1 but very close to 1, the bet should be almost valid. More precisely, when betting on φ ψ with betting odd α:
13 G chooses a (possibly negative) real number λ, and pays λα to B. Let v(φ) and v(ψ) denote the truth values of φ and of ψ, respectively. Then G gets back λ(v(φ)v(ψ) + α(1 v(ψ))). The bookmaker s payoff is λv(ψ)(α v(φ)). In particular, if v(ψ) = 0 the bet is null and if v(ψ) = 1, the bet is equivalent to a bet on φ.
14 We can prove the following result: Theorem [Mocp]. Consider a complete assessment, that is, one of the form Λ : φ 1 ψ 1 α 1,..., φ n ψ n α n, ψ 1 β 1,..., ψ n β n, on an MV-algebra A. If for i = 1,..., n, β i 0, then Λ avoids sure loss iff there is a state s on A such that for i = 1,..., n, s(ψ i ) = β i and s(φ i ψ i ) = α i β i.
15 But again, what happens if some β i is 0? The previous example about choosing a point in the Western Hemisphere given that it belongs to the Equator shows that when the betting odd for some conditioning event is 0, the assessment may at the same time avoid sure loss and fail to be rational. In order to overcome this problem, we will consider non-standard probabilities.
16 Non-standard analysis is an extension of Mathematical Analysis in which infinite real numbers and infinitely small non-zero real numbers are assumed to exist. Note: the existence of such numbers is consistent! Using non-standard analysis we can consider a framework in which infinitesimal non-zero probabilities, infinitesimal truth values and infinitesimal bets are allowed. Some mathematicians, for instance, Roberto Magari, believe that infinitesimal probabilities can not be neglected.
17 8. A new concept of coherence. Consider now the following game: the bookmaker B fixes a complete assessment of conditional probability, Λ = φ 1 ψ 1 α 1,..., φ n ψ n α n, ψ 1 β 1,..., ψ n β n. If some β i is 0, the gambler G can force B to change Λ by an infinitesimal in such a way that the betting odd of every conditioning event is strictly positive.
18 Definition Λ is said to be stably coherent if there is a variant Λ of Λ such that: (a) Λ avoids sure loss, (b) all betting odds for the conditioning events in Λ are strictly positive, and (c) Λ and Λ differ by an infinitesimal.
19 9. Stable coherence and hyperprobabiities. In order to relate coherence to probability measures, we need a variant of the concept of state which does not neglect infinitesimals. To this purpose, we first extend our MV-algebra A by adding product and hyperreal numbers, thus getting an extension A. of A containing a non standard extension [0, 1] of[0, 1]. This is possible by a Theorem of Di Nola. A hypervaluation is a homomorphism from A into [0, 1] preserving the hyperreal constants of [0, 1].
20 A hyperstate on A is a map s from A ) into [0, 1] which is: additive: if x y = 0, then s(x y) = s(x) + s(y). normalized: s(1) = 1. homogeneous: for all x A and α [0, 1], s(α x) = α s(x). weakly faithful: if s(φ) = 0, then there is a hypervaluation v such that v(φ) = 0 (a hyperstate s is faithful if s(φ) = 0 implies φ = 0).
21 10. Characterizing stable coherence. We can prove: Theorem. A complete assessment Λ = φ 1 ψ 1 α 1,..., φ n ψ n α n, ψ 1 β 1,..., ψ n β n on many-valued events is stably coherent iff there is a faithful hyperstate Pr such that the following condition hold: (i) for i = 1,..., n, Pr (ψ i ) β i is infinitesimal. (ii) For i = 1,..., n, α i Pr (φ i ψ i ) Pr (ψ i ) is infinitesimal. In particular, every MV-algebra admits a faithful hyperstate.
22 In our example about chosing a point in the planet Earth, the assessment E 0, W E 1 and W E 1 is coherent but not stably coherent: if you force the bookmaker to change the book by an infinitesimal so that the betting odd of E is positive, then the assessment becomes E ɛ, W E 1 δ, W E 1 σ with ɛ, δ, σ infinitesimals. Then if you bet 2 1 on E, and 1 on W E and on W E, your payoff is 1 (ɛ v(e)) + v(e)(1 δ + 1 σ 1) > 0. 2 So, you cause a sure loss to the bookmaker.
23 10. Work in progress: (a) Imprecise conditional probabilities. Imprecise probabilities occur when there is uncertainty not only on the outcome of an experiment, but also on the probability distribution. Example. A box contains 100 small balls, 30 are red,10 are yellow and the remaining 60 are either yellow or blue, but we don t have any further information. A ball is chosen at random. What is the probability that the chosen ball is yellow?. We can only say that the probability is at least 0.1 and at most 0.7, but we cannot be more precise.
24 In the example above, we have an upper probability 0.7 and a lower probability 0.1 to chose a yellow ball. People would like to accept the bet on a yellow ball as a bookmaker if the betting odd is 0.7 or more, and as gambler if the betting odd is 0.1 or less. With intermediate betting odds, many people would not like to bet at all.
25 More generally, the upper probability of an event φ can be regarded as the maximum of the values of a set of states on φ. Upper probabilities also model the assessments proposed by real bookmakers. A real bookmaker would never allow negative bets, i.e., he would never allow to interchange the roles of bettor and bookmaker. No sure loss for the bookmaker is not a sufficient rationality condition. For instance, consider the following assessment:
26 B: Brazil wins 0.5. S: Spain wins 0.3. D: Draw 0.3 NB: Brazil does not win 0.7. Then the assessment on NB avoids sure loss, but is not rational: indeed, betting on NB is a bad bet, because betting on both S and on D offers a better payoff to the gambler.
27 When a bad bet is present, another bookmaker can offer a better assessment (in our case, NB can be assessed to 0.6) without losing money when the gambler plays his best strategy. Assessments avoiding bad bets can be identified with assessments which can be extended to the upper previsions (suprema of expected values), [Wa] and [FKMR]. An assessment φ 1 α 1,..., φ n α n avoids sure loss if the expected values of the gambler s payoff φ i α i is 0 for i = 1,..., n, while the same assessment avoids bad bets if the upper prevision of each φ i α i is 0.
28 Hence, the upper conditional prevision U(φ ψ) of a conditional event φ ψ is a number α such that the upper prevision U(ψ(φ α)) = 0 of the gambler s payoff is 0. But is it a definition? That is, does this α exist and is α unique? In general, if U(ψ) = 0, then any α would satisfy U(ψ(φ α)) = 0). So, there are in general many conditional upper probabilities determined by the unconditional upper probability U. This is unfortunate.
29 However, uniqueness of α is ensured when U is a supremum of faithful states, or, more generally, if the lower assessment of all conditioning events is strictly positive. This condition can be realized using non-standard values. Again, the coherence condition (in this case, absence of bad bets) can be replaced by stable coherence (absence of bad bets in an infinitesimal variant of the assessment, in which the lower assessment of conditioning events is non-zero).
30 The final result reads: Theorem An assessment Λ : φ i ψ i α i, ψ i β i, i = 1,..., n of (real valued) conditional upper probability is stably coherent iff there are a faithful hyper upper prevision U and hyperreals α 1, β 1,..., α n, β n such that for i = 1,..., n: (1) α i α i and β i β i are infinitesimal. (2) U(ψ i (φ i α i )) = 0. (3) U( ψ i βi ) = 0 and β i < 1. (The last condition corresponds to L(ψ i ) > 0,where L is the lower prevision corresponding to U).
31 11. Another application: strong coherence. Consider a coherent assessment such that, for some system of bets the bookmaker has a chance to lose money but has no chance to win money (in the best case, the payoff is 0). Then the assessment avoids sure loss, but is not completely rational. An assessment is strongly coherent if for every system of bets, if there is a valuation causing a negative payoff, then there is another one causing a positive payoff. Example. We chose a point at random on Planet Earth. Let E the event: the point belongs to the Equator. The assessment E 0 is coherent but not strongly coherent: if the gambler G bets 1 on E, then G cannot lose money, but he can win money!
32 The example suggests that an assessment is strongly coherent iff it can be extended to a faithful state. This is only true for assessments defined on the whole MValgebra, see [Kem] and [Sh] for the classical case: an assessment defined on a whole MV-algebra A is strongly coherent iff it extends to a faithful state on A. But for partial assessments, in particular for finite assessments, only one direction is true: an assessment which extends to a faithful state is strongly coherent, but the converse is false in general.
33 However, we can prove: Theorem. Let Φ : a 1 α 1,..., a n α n be a finite standard assessment. The following are equivalent: (i) Φ is coherent. (ii) For every positive infinitesimal ɛ, there is a strongly coherent hyperassessment Φ such that for i = 1,..., n, Φ (a i ) α i < ɛ. (iii) For every positive infinitesimal ɛ there is a faithful hyperstate s such that for i = 1,..., n, s(a i ) α i < ɛ.
34 Conjectures. A (finite) assessment over a countable and semisimple MValgebra A is strongly coherent iff it can be extended to a faithful state on A. A (finite) hyperassessment on any MV-algebra A is strongly coherent iff it can be extended to a faithful hyperstate on A.
35 Bibliography. [COM] Cignoli R., D Ottaviano I., Mundici D., Algebraic Foundations of Many-valued Reasoning, Kluwer, Dordrecht [df] de Finetti B., Theory of Probability, vol. I, John Wiley and sons, Chichester [DN] A. Di Nola, Representation and reticulation by quotients of MV-algebras, Ricerche di Matematica (Naples), 40, [H98] Hájek P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht [Kem] Kemeny, J., Fair bets and inductive probabilities, The Journal of Simbolic Logic 20, n.3, , 1955.
36 [Kr] Kroupa T., Every state on a semisimple MV algebra is integral, Fuzzy Sets and Systems, 157 (20), , [Kr2] Kroupa, T. Conditional probability on MV-algebras. Fuzzy Sets and Systems, 149 (2), , [KM] Kühr J., Mundici D., De Finetti theorem and Borel states in [0,1]-valued algebraic logic, International Journal of Approximate Reasoning 46 (3), , [Mocp] Montagna F., A notion of coherence for books on conditional events in many-valued logic, Journal of Logic and Computation, 21 (5), , (2011). [Mus] Mundici D. Averaging the truth value in Lukasiewicz logic, Studia Logica 55 (1), , 1995.
37 [Mu1] Mundici D., Bookmaking over infinite-valued events, International Journal of Approximate Reasoning 46, , [Mu4] Mundici D., Faithful and Invariant Conditional Probability in Lukasiewicz Logic, Trends in Logic 27: Towards Mathematical Philosophy, David Makinson, Jacek Malinowski and Heinrich Wansing (Eds), 1-20, Springer Verlag [Mub] Mundici D., Advanced Lukasiewicz calculus and MV-algebras, Trends in Logic, Vol. 35, Springer [Pa] Panti G., Invariant measures in free MV algebras, Communications in Algebra 36, , [Sh] Shimony A., Coherence and the axiom of confirmation, The Journal of Symbolic Logic Vol. 20, n.1, 1-28, 1955.
38 [Wa] Walley P., Statistical Reasoning with Imprecise Probabilities. Volume 42 of Monographs on Statistics and Applied Probability, Chapman and Hall, London 1991.
Probability, Fuzzy Logic and bets: foundational issues and some mathematics.
Probability, Fuzzy Logic and bets: foundational issues and some mathematics. Logical Models of Reasoning with Vague Information Franco Montagna (Siena) 1. The concept of probability. The concept of probability
More informationFranco Montagna AN ALGEBRAIC TREATMENT OF IMPRECISE PROBABILITIES
DEMONSTRATIO MATHEMATICA Vol. XLIV No 3 2011 Franco Montagna AN ALGEBRAIC TREATMENT OF IMPRECISE PROBABILITIES Abstract. This is a survey paper about an algebraic approach to imprecise probabilities. In
More informationImprecise probabilities, bets and functional analytic methods in Łukasiewicz logic.
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Martina Fedel joint work with K.Keimel,F.Montagna,W.Roth Martina Fedel (UNISI) 1 / 32 Goal The goal of this talk is to
More informationImprecise probabilities, bets and functional analytic methods in Lukasiewicz logic
Imprecise probabilities, bets and functional analytic methods in Lukasiewicz logic Martina Fedel, Klaus Keimel, Franco Montagna and Walter Roth February 22, 2011 Abstract In his foundation of probability
More informationThe epistemic structure of de Finetti s betting problem
The epistemic structure of de Finetti s betting problem Tommaso Flaminio 1 and Hykel Hosni 2 1 IIIA - CSIC Campus de la Univ. Autònoma de Barcelona s/n 08193 Bellaterra, Spain. Email: tommaso@iiia.csic.es
More informationThe epistemic structure of de Finetti s betting problem
The epistemic structure of de Finetti s betting problem Tommaso Flaminio 1 Hykel Hosni 2 1 IIIA - CSIC Universitat Autonoma de Barcelona (Spain) tommaso@iiia.csic.es www.iiia.csic.es/ tommaso 2 SNS Scuola
More informationA Hennessy-Milner Property for Many-Valued Modal Logics
A Hennessy-Milner Property for Many-Valued Modal Logics Michel Marti 1 Institute of Computer Science and Applied Mathematics, University of Bern Neubrückstrasse 10, CH-3012 Bern, Switzerland mmarti@iam.unibe.ch
More informationGambling Systems and Multiplication-Invariant Measures
Gambling Systems and Multiplication-Invariant Measures by Jeffrey S. Rosenthal* and Peter O. Schwartz** (May 28, 997.. Introduction. This short paper describes a surprising connection between two previously
More informationBetting on Fuzzy and Many-valued Propositions
Betting on Fuzzy and Many-valued Propositions Peter Milne 1 Introduction In a 1968 article, Probability Measures of Fuzzy Events, Lotfi Zadeh proposed accounts of absolute and conditional probability for
More informationA NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES
A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES THEODORE A. SLAMAN AND ANDREA SORBI Abstract. We show that no nontrivial principal ideal of the enumeration degrees is linearly ordered: In fact, below
More informationThe Ergodic Theorem and randomness
The Ergodic Theorem and randomness Peter Gács Department of Computer Science Boston University March 19, 2008 Peter Gács (Boston University) Ergodic theorem March 19, 2008 1 / 27 Introduction Introduction
More informationThe result of the bayesian analysis is the probability distribution of every possible hypothesis H, given one real data set D. This prestatistical approach to our problem was the standard approach of Laplace
More informationGeometrical Characterization of RN-operators between Locally Convex Vector Spaces
Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationTotal Degrees and Nonsplitting Properties of Σ 0 2 Enumeration Degrees
Total Degrees and Nonsplitting Properties of Σ 0 2 Enumeration Degrees M. M. Arslanov, S. B. Cooper, I. Sh. Kalimullin and M. I. Soskova Kazan State University, Russia University of Leeds, U.K. This paper
More informationIterated Dynamic Belief Revision. Sonja Smets, University of Groningen. website: http://www.vub.ac.be/clwf/ss
LSE-Groningen Workshop I 1 Iterated Dynamic Belief Revision Sonja Smets, University of Groningen website: http://www.vub.ac.be/clwf/ss Joint work with Alexandru Baltag, COMLAB, Oxford University LSE-Groningen
More information6.042/18.062J Mathematics for Computer Science December 12, 2006 Tom Leighton and Ronitt Rubinfeld. Random Walks
6.042/8.062J Mathematics for Comuter Science December 2, 2006 Tom Leighton and Ronitt Rubinfeld Lecture Notes Random Walks Gambler s Ruin Today we re going to talk about one-dimensional random walks. In
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationInterpersonal Comparisons of Utility: An Algebraic Characterization of Projective Preorders and Some Welfare Consequences
DISCUSSION PAPER SERIES IZA DP No. 2594 Interpersonal Comparisons of Utility: An Algebraic Characterization of Projective Preorders and Some Welfare Consequences Juan Carlos Candeal Esteban Induráin José
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationα α λ α = = λ λ α ψ = = α α α λ λ ψ α = + β = > θ θ β > β β θ θ θ β θ β γ θ β = γ θ > β > γ θ β γ = θ β = θ β = θ β = β θ = β β θ = = = β β θ = + α α α α α = = λ λ λ λ λ λ λ = λ λ α α α α λ ψ + α =
More informationFinitely Additive Dynamic Programming and Stochastic Games. Bill Sudderth University of Minnesota
Finitely Additive Dynamic Programming and Stochastic Games Bill Sudderth University of Minnesota 1 Discounted Dynamic Programming Five ingredients: S, A, r, q, β. S - state space A - set of actions q(
More informationThe "Dutch Book" argument, tracing back to independent work by. F.Ramsey (1926) and B.deFinetti (1937), offers prudential grounds for
The "Dutch Book" argument, tracing back to independent work by F.Ramsey (1926) and B.deFinetti (1937), offers prudential grounds for action in conformity with personal probability. Under several structural
More information1. Probabilities lie between 0 and 1 inclusive. 2. Certainty implies unity probability. 3. Probabilities of exclusive events add. 4. Bayes s rule.
Probabilities as betting odds and the Dutch book Carlton M. Caves 2000 June 24 Substantially modified 2001 September 6 Minor modifications 2001 November 30 Material on the lottery-ticket approach added
More informationCorrespondence analysis for strong three-valued logic
Correspondence analysis for strong three-valued logic A. Tamminga abstract. I apply Kooi and Tamminga s (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K 3 ).
More informationBayesian Analysis for the Social Sciences
Bayesian Analysis for the Social Sciences Simon Jackman Stanford University http://jackman.stanford.edu/bass November 9, 2012 Simon Jackman (Stanford) Bayesian Analysis for the Social Sciences November
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationThe effect of exchange rates on (Statistical) decisions. Teddy Seidenfeld Mark J. Schervish Joseph B. (Jay) Kadane Carnegie Mellon University
The effect of exchange rates on (Statistical) decisions Philosophy of Science, 80 (2013): 504-532 Teddy Seidenfeld Mark J. Schervish Joseph B. (Jay) Kadane Carnegie Mellon University 1 Part 1: What do
More informationRemarks on Non-Fregean Logic
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 10 (23) 2007 Remarks on Non-Fregean Logic Mieczys law Omy la Institute of Philosophy University of Warsaw Poland m.omyla@uw.edu.pl 1 Introduction In 1966 famous Polish
More informationRandom access protocols for channel access. Markov chains and their stability. Laurent Massoulié.
Random access protocols for channel access Markov chains and their stability laurent.massoulie@inria.fr Aloha: the first random access protocol for channel access [Abramson, Hawaii 70] Goal: allow machines
More informationChoice under Uncertainty
Choice under Uncertainty Part 1: Expected Utility Function, Attitudes towards Risk, Demand for Insurance Slide 1 Choice under Uncertainty We ll analyze the underlying assumptions of expected utility theory
More informationBetting interpretations of probability
Betting interpretations of probability Glenn Shafer June 21, 2010 Third Workshop on Game-Theoretic Probability and Related Topics Royal Holloway, University of London 1 Outline 1. Probability began with
More informationNotes on Notes on Conditional Previsions
Notes on Notes on Conditional Previsions Paolo Vicig a, Marco Zaffalon b,, Fabio G. Cozman c,2 a Dipartimento di Matematica Applicata B. de Finetti, University of Trieste, Italy b IDSIA, Galleria 2, CH-6928
More informationChapter 7. Sealed-bid Auctions
Chapter 7 Sealed-bid Auctions An auction is a procedure used for selling and buying items by offering them up for bid. Auctions are often used to sell objects that have a variable price (for example oil)
More informations-convexity, model sets and their relation
s-convexity, model sets and their relation Zuzana Masáková Jiří Patera Edita Pelantová CRM-2639 November 1999 Department of Mathematics, Faculty of Nuclear Science and Physical Engineering, Czech Technical
More informationDEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
More informationDegrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets.
Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Logic is the study of reasoning. A language of propositions is fundamental to this study as well as true
More informationHow To Understand The Theory Of Hyperreals
Ultraproducts and Applications I Brent Cody Virginia Commonwealth University September 2, 2013 Outline Background of the Hyperreals Filters and Ultrafilters Construction of the Hyperreals The Transfer
More informationSubjective Probability and Lower and Upper Prevision: a New Understanding
Subjective Probability and Lower and Upper Prevision: a New Understanding G. SHAFER Rutgers Business School Newark & New Brunswick, NJ, USA P. R. GILLETT Rutgers Business School Newark & New Brunswick,
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationGoal Problems in Gambling and Game Theory. Bill Sudderth. School of Statistics University of Minnesota
Goal Problems in Gambling and Game Theory Bill Sudderth School of Statistics University of Minnesota 1 Three problems Maximizing the probability of reaching a goal. Maximizing the probability of reaching
More informationAlgebraic and Transcendental Numbers
Pondicherry University July 2000 Algebraic and Transcendental Numbers Stéphane Fischler This text is meant to be an introduction to algebraic and transcendental numbers. For a detailed (though elementary)
More informationON THE DEGREE OF MAXIMALITY OF DEFINITIONALLY COMPLETE LOGICS
Bulletin of the Section of Logic Volume 15/2 (1986), pp. 72 79 reedition 2005 [original edition, pp. 72 84] Ryszard Ladniak ON THE DEGREE OF MAXIMALITY OF DEFINITIONALLY COMPLETE LOGICS The following definition
More informationNotes on Determinant
ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without
More information4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:
4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationReview. Bayesianism and Reliability. Today s Class
Review Bayesianism and Reliability Models and Simulations in Philosophy April 14th, 2014 Last Class: Difference between individual and social epistemology Why simulations are particularly useful for social
More informationarxiv:1112.0829v1 [math.pr] 5 Dec 2011
How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly
More informationTechniques algébriques en calcul quantique
Techniques algébriques en calcul quantique E. Jeandel Laboratoire de l Informatique du Parallélisme LIP, ENS Lyon, CNRS, INRIA, UCB Lyon 8 Avril 25 E. Jeandel, LIP, ENS Lyon Techniques algébriques en calcul
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationA Simple Characterization for Truth-Revealing Single-Item Auctions
A Simple Characterization for Truth-Revealing Single-Item Auctions Kamal Jain 1, Aranyak Mehta 2, Kunal Talwar 3, and Vijay Vazirani 2 1 Microsoft Research, Redmond, WA 2 College of Computing, Georgia
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationBi-approximation Semantics for Substructural Logic at Work
Bi-approximation Semantics for Substructural Logic at Work Tomoyuki Suzuki Department of Computer Science, University of Leicester Leicester, LE1 7RH, United Kingdom tomoyuki.suzuki@mcs.le.ac.uk Abstract
More informationIntroduction to Hypothesis Testing OPRE 6301
Introduction to Hypothesis Testing OPRE 6301 Motivation... The purpose of hypothesis testing is to determine whether there is enough statistical evidence in favor of a certain belief, or hypothesis, about
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationMarkov random fields and Gibbs measures
Chapter Markov random fields and Gibbs measures 1. Conditional independence Suppose X i is a random element of (X i, B i ), for i = 1, 2, 3, with all X i defined on the same probability space (.F, P).
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationCPC/CPA Hybrid Bidding in a Second Price Auction
CPC/CPA Hybrid Bidding in a Second Price Auction Benjamin Edelman Hoan Soo Lee Working Paper 09-074 Copyright 2008 by Benjamin Edelman and Hoan Soo Lee Working papers are in draft form. This working paper
More informationGlobal Properties of the Turing Degrees and the Turing Jump
Global Properties of the Turing Degrees and the Turing Jump Theodore A. Slaman Department of Mathematics University of California, Berkeley Berkeley, CA 94720-3840, USA slaman@math.berkeley.edu Abstract
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationLecture 13: Martingales
Lecture 13: Martingales 1. Definition of a Martingale 1.1 Filtrations 1.2 Definition of a martingale and its basic properties 1.3 Sums of independent random variables and related models 1.4 Products of
More informationThis asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.
3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but
More informationA Simple Model of Price Dispersion *
Federal Reserve Bank of Dallas Globalization and Monetary Policy Institute Working Paper No. 112 http://www.dallasfed.org/assets/documents/institute/wpapers/2012/0112.pdf A Simple Model of Price Dispersion
More informationWeek 4: Gambler s ruin and bold play
Week 4: Gambler s ruin and bold play Random walk and Gambler s ruin. Imagine a walker moving along a line. At every unit of time, he makes a step left or right of exactly one of unit. So we can think that
More informationThe Kelly criterion for spread bets
IMA Journal of Applied Mathematics 2007 72,43 51 doi:10.1093/imamat/hxl027 Advance Access publication on December 5, 2006 The Kelly criterion for spread bets S. J. CHAPMAN Oxford Centre for Industrial
More informationBelief and Degrees of Belief
Belief and Degrees of Belief Franz Huber, California Institute of Technology Draft June 12, 2006 Contents 1 Introduction 2 2 The Objects of Belief 3 3 Theories of Degrees of Belief 4 3.1 Subjective Probabilities.......................
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationReliability Guarantees in Automata Based Scheduling for Embedded Control Software
1 Reliability Guarantees in Automata Based Scheduling for Embedded Control Software Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta Department of CSE, IIT Kharagpur West Bengal, India - 721302. Email: {santhosh.prabhu,
More informationarxiv:math/0510680v3 [math.gn] 31 Oct 2010
arxiv:math/0510680v3 [math.gn] 31 Oct 2010 MENGER S COVERING PROPERTY AND GROUPWISE DENSITY BOAZ TSABAN AND LYUBOMYR ZDOMSKYY Abstract. We establish a surprising connection between Menger s classical covering
More informationHow to Gamble If You Must
How to Gamble If You Must Kyle Siegrist Department of Mathematical Sciences University of Alabama in Huntsville Abstract In red and black, a player bets, at even stakes, on a sequence of independent games
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationminimal polyonomial Example
Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationSOME APPLICATIONS OF MARTINGALES TO PROBABILITY THEORY
SOME APPLICATIONS OF MARTINGALES TO PROBABILITY THEORY WATSON LADD Abstract. Martingales are a very simple concept with wide application in probability. We introduce the concept of a martingale, develop
More informationFundamentele Informatica II
Fundamentele Informatica II Answer to selected exercises 1 John C Martin: Introduction to Languages and the Theory of Computation M.M. Bonsangue (and J. Kleijn) Fall 2011 Let L be a language. It is clear
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationA New Interpretation of Information Rate
A New Interpretation of Information Rate reproduced with permission of AT&T By J. L. Kelly, jr. (Manuscript received March 2, 956) If the input symbols to a communication channel represent the outcomes
More informationA Day in the Life of a Trader
Siena, April 2014 Introduction 1 Examples of Market Payoffs 2 3 4 Sticky Smile e Floating Smile 5 Examples of Market Payoffs Understanding risk profiles of a payoff is conditio sine qua non for a mathematical
More informationDegrees that are not degrees of categoricity
Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara
More informationHow To Prove The Cellosauric Cardinal Compactness (For A Cardinal Cardinal Compact)
Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz
More informationA FUZZY LOGIC APPROACH FOR SALES FORECASTING
A FUZZY LOGIC APPROACH FOR SALES FORECASTING ABSTRACT Sales forecasting proved to be very important in marketing where managers need to learn from historical data. Many methods have become available for
More informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationE3: PROBABILITY AND STATISTICS lecture notes
E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................
More informationSharing Online Advertising Revenue with Consumers
Sharing Online Advertising Revenue with Consumers Yiling Chen 2,, Arpita Ghosh 1, Preston McAfee 1, and David Pennock 1 1 Yahoo! Research. Email: arpita, mcafee, pennockd@yahoo-inc.com 2 Harvard University.
More informationINSURANCE RISK THEORY (Problems)
INSURANCE RISK THEORY (Problems) 1 Counting random variables 1. (Lack of memory property) Let X be a geometric distributed random variable with parameter p (, 1), (X Ge (p)). Show that for all n, m =,
More informationHYPOTHESIS TESTING: POWER OF THE TEST
HYPOTHESIS TESTING: POWER OF THE TEST The first 6 steps of the 9-step test of hypothesis are called "the test". These steps are not dependent on the observed data values. When planning a research project,
More informationGod created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)
Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work
More informationECON20310 LECTURE SYNOPSIS REAL BUSINESS CYCLE
ECON20310 LECTURE SYNOPSIS REAL BUSINESS CYCLE YUAN TIAN This synopsis is designed merely for keep a record of the materials covered in lectures. Please refer to your own lecture notes for all proofs.
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationLecture 8 The Subjective Theory of Betting on Theories
Lecture 8 The Subjective Theory of Betting on Theories Patrick Maher Philosophy 517 Spring 2007 Introduction The subjective theory of probability holds that the laws of probability are laws that rational
More informationFirst-Order Logics and Truth Degrees
First-Order Logics and Truth Degrees George Metcalfe Mathematics Institute University of Bern LATD 2014, Vienna Summer of Logic, 15-19 July 2014 George Metcalfe (University of Bern) First-Order Logics
More informationA SURVEY ON CONTINUOUS ELLIPTICAL VECTOR DISTRIBUTIONS
A SURVEY ON CONTINUOUS ELLIPTICAL VECTOR DISTRIBUTIONS Eusebio GÓMEZ, Miguel A. GÓMEZ-VILLEGAS and J. Miguel MARÍN Abstract In this paper it is taken up a revision and characterization of the class of
More information