Introduction

0.1. Transition Systems

CCalc is a program for solving computational problems related to action and change. Many problems of this kind can be described in terms of "transition systems" -- directed graphs with vertices corresponding to states, and edges corresponding to events.

Consider, for instance, a system with 2 states defined by the value of a Boolean-valued parameter ("fluent") p. Executing action a causes p to be true. This system can be graphically represented as follows:

We will refer to this transition system as TS1. Its two edges labeled a=t represent the events in which action a is executed; these edges lead to the state p=t. The other two edges are labeled a=f (action a is not executed), so that these edges are loops.

If a system involves several fluents p1, p2, p3, ... then every vertex is labeled by a set of equations specifying the values of all fluents in the corresponding state, for instance:

p1=t, p2=t, p3=f, ... .

If there are several actions a1, a2, a3, ... then every edge is labeled by a set of equations specifying which actions are executed in the corresponding event, for instance:

a1=t, a2=t, a3=f, ... .

Assigning the value t to several action symbols indicates that the corresponding actions are executed concurrently.

Forward to Section 0.2: Describing Actions