by Jerzy Tyszkiewicz, Arthur Ramer
ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/9904.ps.Z
Add To MetaCart
Abstract:
We consider the problem of dening conditional objects (ajb); which would allow one to regard the conditional probability Pr(ajb) as a probability of a well-dened event rather than as a shorthand for Pr(ab) = Pr(b): The next issue is to dene boolean combinations of conditional objects, and possibly also the operator of further conditioning. These questions have been investigated at least since the times of George Boole, leading to a number of formalisms proposed for conditional objects, mostly of syntactical, proof-theoretic vein. We propose a unifying, semantical approach, in which conditional events are (projections of) Markov chains, denable in the three-valued extension (TLjTL) of the past tense fragment of propositional linear time logic (TL), or, equivalently, by three-valued counter-free Moore machines. Thus our conditional objects are indeed stochastic processes, one of the central notions of modern probability theory. Our model precisely fullls early ideas of de Finetti [6], and, moreover, as we show in a separate paper [31], all the previously proposed algebras of conditional events can be isomorphically embedded in our model.
Citations
|
4388
|
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
– Pearl
- 1988
|
|
2771
|
Introduction to Automata Theory, Languages and Computation
– Hopcroft, Ullman
- 1979
|
|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
910
|
Temporal and modal logic
– Emerson
- 1990
|
|
467
|
Finite Markov Chains
– Kemeny, Snell
- 1976
|
|
378
|
Introduction to the Numerical Solution of Markov Chains
– Stewart
- 1995
|
|
160
|
Many-Valued Modal Logics
– Fitting
- 1991
|
|
56
|
Probabilities of Conditionals and Conditional Probabilities
– Lewis
- 1976
|
|
48
|
The Art of Causal Conjecture
– SHAFER
- 1996
|
|
41
|
An investigation of laws of thought, on which are founded mathematical theories of logic and probability
– Boole
- 1854
|
|
20
|
Mathematics of data fusion
– Goodman, Mahler, et al.
- 1997
|
|
17
|
Almost sure theories
– Lynch
- 1980
|
|
15
|
Conditional inference and logic for intelligent systems. A theory of measure-free conditioning
– Goodman, Nguyen, et al.
- 1991
|
|
11
|
A ratio limit theorem for (sub) Markov chains on f1; 2; 3 : : : g with bounded jumps
– Kesten
- 1995
|
|
9
|
An algebraic synthesis of the foundations of logic and probability
– Calabrese
- 1987
|
|
8
|
Asymptotic conditional probabilities: the unary case
– Grove, Halpern, et al.
- 1993
|
|
7
|
On the logic of high probability
– Adams
- 1986
|
|
7
|
Probability, induction and statistics. The art of guessing
– Finetti
- 1972
|
|
6
|
Asymptotic conditional probabilities: the non-unary case
– Grove, Halpern, et al.
- 1996
|
|
6
|
Conditional probabilities and compounds of conditionals
– McGee
- 1989
|
|
5
|
Local and global operators and many-valued modal logics
– Morgan
- 1979
|
|
3
|
A theory of conditional information with applications
– Calabrese
- 1994
|
|
2
|
Conditional events: doing for logic what fractions do for integer arithmetic
– Calabrese
- 1996
|
|
2
|
Toward a comprehensive theory of linguistic and probabilistic evidence: two new approaches to conditional event algebra
– Goodman
- 1994
|
|
2
|
The hypothesis of the conditional construal of conditional probability
– Hjek, Hall
- 1994
|
|
2
|
Back in the CCCP
– Hall
- 1994
|
|
2
|
Oeuvres completes, volume 14
– Huygens
- 1920
|
|
2
|
Combinatorial interpretation of uncertainty and conditioning
– Ramer
- 1998
|
|
2
|
Embedding conditional event algebras into temporal calculus of conditionals
– Tyszkiewicz, Hoffmann, et al.
- 1999
|
|
2
|
Strange conditional events and subMarkov chains
– Tyszkiewicz, Hoffmann, et al.
- 1999
|
|
2
|
Probabilities of conditionals. In Foundations of probability theory, statistical inference, and statistical theories of science
– Fraassen
- 1973
|
|
1
|
On the conditional satis ratio of logical formulae
– Liogon'ki
- 1969
|
