Information Technology Reference
In-Depth Information
(7)
R
1
is motion state,
R
2
is position state, but they are not the perturbation of
each other.
The occurring situation of each event can be described with above logic. In
fact, (1) and (2) can only be instantaneous. That is, it occurs at one moment.
(4),(5),(6) and (7) can only be continuous. That is, it occurs on one interval. (3)
can be instantaneous or continuous. The event occurring and condition have been
discussed in (Galton,1993) in detail.
4.7.4.
Randell algorithm
Randell's simulation program begins with initial state, generates all the possible
state spanning trees according to the constraints and rules, then gives the
behavior description, prediction, and explanation (Cui,1992). This approach is
similar to the QSIM of Kuipers. Constraints can be classified into two classes:
interstate and interstate. For example, an amoeba has eaten food. The food has
been part of the amoeba. So this state will keep on. This is a constraint between
states. The constraints between states, expressed directly by clause Φ, have the
following form:
Φ(
R
o
¼
(
R
1
∨
R
2
···
∨
R
n
))
or
R
2
···
∨
R
n
))
The above two expressions respectively indicate that if state
Φ(
R
o
¼
(
R
1
∨
R
o occurs, the
subsequent state must be (
R
∨
R
2
···
∨
R
n
),or the subsequent state must not be
1
(
n
).
Randell has also introduced adding rule and deleting rule in the simulation
program. Adding rule is that system will import one object in the next state, and
deleting rule conversely. For example, once amoeba eats food, a vacuole will be
added. Once vacuole is full of waste and rejected, it will be deleted.
(1) The express approach to add rule is:
R
∨
R
2
···
∨
R
1
add
n
with ψ
1
when ψ
2,
That is when ψ
2
is established,
O
1
,
O
2
, ··· ,
O
O
1
,
O
2
,…,
O
n
are added to the system and ψ
1
is
founded.
(2) The express approach to delete rule is:
delete
O
1
,
O
2
, ···,
O
n
when ψ
2,
