1 Introduction
Classical probability theory[2] is formulated using sets. Unfortunately, the language of sets lacks expressiveness and is, in a sense, a lowlevel ‘assembly language’ of the probability theory. In this paper, we develop a ‘highlevel approach’ to classical probability theory with propositional computability logic[1] (CoL). Unlike other formalisms such as sets, logic and linear logic, computability logic is built on the notion of events/games, which is central to probability theory. Therefore, CoL is a perfect place to begin the study of automating probability theory.
To be specific, CoL is wellsuited to describing complex (sequential/parallel) experiments and events, and more expressive than set operations. In contrast, classical probability theory – based on – is designed to represent mainly the simple/additive events – the events that occur under a single experiment.
Naturally, we need to talk about composite/multiplicative events – events that occur under two different experiments.
Developing probability along this line requires a new, powerful language.
For example, consider the following events :
: toss a coin two times (events and ) and get H,T in that order.
: toss two dices (which we call ) and get at least one 5.
Suppose a formalism has the notion of (sequentialand/or) and (paralleland/or). Then would be written as . Similarly, would be written concisely as . The formalism of classical probability theory fails to represent the above events in a concise way.
Computability logic[1] provides a formal and consistent way to represent a wide class of experiments and events. In particular, multiplicative experiments (sequential and parallel experiments) as well as additive experiments (choiceAND, choiceOR) can be represented in this formalism.
2 The Event Formulas
The language is a variant of the propositional computability logic. For simplicity, we will not include sequential operators. The class of event formulas is described by formulas given by the syntax rules below: In the above, represents an atomic event called proposition where each is a term. For example, represent the event where we get 6 from tossing a dice . For readability, we often write (or simply ) instead of .
Often events can be composed through the use of logical connectives. We will describe the definitions of these connectives.
First, we assume here experiments to be generated in stages. Thus our sample space is a tree diagram of the form
where each is an atomic event. As we shall see, this can also be represented as an event formula in set normal form of the form
In the sequel, we use the above two forms interchangeably.
An event space is a subset of the sample space. In the sequel, we introduce a mapping which converts an event formula to an event space of mutually exclusive points. This mapping makes it much easier to compute the probability of . That is, .
To mentioned earlier, represents an atomic event. In addition,
The event represents the complement of the event relative to the universe .
The choiceOR event represents the event in which only one of the event and event happen under a single experiment. For example, represents the event that we get either 4 or 5 when a dice is tossed. This operation corresponds to the set union operation.
The choiceAND event represents the event in which both event and event happen under a single experiment. For example, represents the event that we get both an even number and a prime number in a single coin toss. This operation corresponds to the set intersection operation.
The additive conditional event represents the dependency between and : the event in which the event happens given has occurred under a single experiment.
We can generalize the definition of events to joint events to deal with multiple experiments. Here are some definitions.
The parallelAND event represents the event in which both and occur under two different experiments. For example, represents the event that we get one head and one tail when two coins are tossed. It is defined by the following:
Here, the (flattened) Cartesian conjunction of two sets and , is the following:
For example, let and . Then .
The parallelOR event represents the event in which at least one of event and event happen under two different experiments. For example, represents the event that we get at least one 4 or one 5 when two dices are tossed. Formally,
The parallel conditional event (usually written as in logic) represents the event in which the event happens given has occurred before/after under two experiments.
The following theorem substantially extends the traditional probability theory with new properties. These new properties are obtained by considering relative frequencies.
Theorem 2.1
Let be an event. Then the following properties hold.

% complement of A

% choiceor
For example, represents the event that or occur in a single coin toss. Now, it is easy to see that .

% choiceand
For example, represents the event that and occur in a single coin toss. Now, . Note also that . is the conditional probability of B given A in a single experiment. For example, represents the event that occurs given occurs in a single coin toss. Now, .

% parallelorFor example, .

% paralleland
For example, suppose two coins are tossed. Now, . In addition, suppose a coin and a dice are tossed simultaneouly. Then .
% Below, computes the probability of an event space rather than an event formula.

% A* is the event space of A.
For example, is .

% event space with mutually exclusive elements.

% event space with single element. Here, each is an atomic event.
In the above, we list some properties of our probability theory. In addition, we sometimes need to deal with sharing experiments among two experiments. Sharing experiments represents experiments which have been completed. Mathematical facts such as are such examples.
For this reason, we need to include the following:
For example, let be a (uncertain) statement that there are aliens in Vega. Then it is easy to see that these rules hold, as every occurrence of represents the same event here.
3 Examples
Let us consider the following event where
= roll a dice and get 4 or 5.
The probabilities of and is the following:
= = =
= 1 (2/3 x 2/3) = .
As another example, represents the event that
at least one head comes up when two coins are tossed.
Now, it is easy to see that = 3/4.
As the last example, suppose two dice are tossed and we get 6 from one dice. What is the probability that we get 5 from another dice? This kind of problem is very cumbersome to represent/ solve in classical probability theory. Fortunately, it can be represented/solved from the above formula in a concise way. It is shown below:
% computing the following probability requires converting the event to its event space.
% computing the following does not require converting the event to its event space.
From these two, we obtain the following in a purely algorithmic way:
4 Two Versions of the Bayes’ Rule
In this section, we raise questions related to the interpretation of in the Bayes rule. Most textbooks interpret in an ambiguous, confusing way: sometimes as , and as in others. This is problematic, especially in automating probabilistic inference.
In considering automation of probability, it is very problematic/cumbersome to use the Bayes rule in its current form. Suppose can be partitioned into disjoint events . Understanding as , the Bayes rule can be written as:
or
This rule can easily be generalized to as follows:
or
That is, we need two versions of the Bayes rule and it is crucial to apply the correct version to get the correct answer. As a wellknown example of the Bayes rule, consider the problem of sending 0 or 1 over a noisy channel. Let be the event that a 0 is received. Let be the event that a 0 is transmitted. Let be the event that a 1 is received. Let be the event that a 1 is transmitted. Now the question is: what is the probability of having been transmitted, given 0 is received? In solving this kind of problem, it is more natural to use Bayes rule on , rather than on . This is so because .
5 Conclusion
Computability logic [1] provides a formal and consistent way to represent a wide class of experiments and events. For this reason, we believe that probability theory based on computability logic is an interesting alternative to the traditional probability theory and uncertainty reasoning.
References
 [1] G. Japaridze, “Propositional computability logic II”, ACM Transaction on Computational Logic, vol.7(2), pp.331–362, 2006.
 [2] R.D. Yates and D.J.Goodman, “Probability and Stochastic Processes”, Wiley, 1999.
Comments
There are no comments yet.