foundations of computational agents
The preceding section gave a semantic definition of probability. An axiomatic definition specifies axioms. These are axioms one may want for a calculus of belief, and we show they are satisfied by probability.
Suppose is a function from propositions into real numbers that satisfies the following three axioms of probability:
for any proposition . That is, the belief in any proposition cannot be negative.
if is a tautology. That is, if is true in all possible worlds, its probability is 1.
if and are contradictory propositions; that is, if is a tautology. In other words, if two propositions cannot both be true (they are mutually exclusive), the probability of their disjunction is the sum of their probabilities.
These axioms are meant to be intuitive properties that we would like to have of any reasonable measure of belief. If a measure of belief follows these intuitive axioms, it is covered by probability theory. Note that empirical frequencies – propositions about the proportion of examples in a data set – obey these axioms, and so follow the rules of probability, but that does not mean that all probabilities are empirical frequencies (or obtained from them).
These axioms form a sound and complete axiomatization of the meaning of probability. Soundness means that probability, as defined by the possible-worlds semantics, follows these axioms. Completeness means that any system of beliefs that obeys these axioms has a probabilistic semantics.
If there are a finite number of finite discrete random variables, Axioms , , and are sound and complete with respect to the semantics.
It is easy to check that these axioms are true of the semantics. Conversely, the axioms can be used to compute any probability from the probability of worlds, because the descriptions of two worlds are mutually exclusive. The full proof is left as an exercise. (See Exercise 2.)
The following hold for all propositions and
Negation of a proposition:
If , then . That is, logically equivalent propositions have the same probability.
Reasoning by cases:
If is a random variable with domain , then, for all propositions ,
Disjunction for non-exclusive propositions:
The propositions and are
. Rearranging gives the desired result.
If , then is a tautology, so . and are contradictory statements, so Axiom 3 gives . Using part (a), . Thus, , and so .
The proposition and are tautologies. Thus,
The proof is analogous to the proof of part (c).
is a tautology. Thus,
Part (c) shows . Thus,