Creating New Intentions

ALFA creates new intentions based on the following:

a.

each achievable desire causes a corresponding intention to be created.

b.

each intention of type reAct causes creation of intentions of type act.

c.

intentions of type reGet causes creation of intentions of type get.

d.

each intention of type get (a set of results) causes an intention of type act to be created, if there is a set of actions that can cause that set of results.

Formula (6.3) implements condition [a], (6.4) and (6.5) together implement condition [b], (6.6) and (6.7) implement condition [c] and (6.8) and (6.9) together implement condition [d].