Fil Salustri's Design Site

Site Tools


Table of Contents

Pattern Languages and Action Logics

Pattern languages may be able to “implement” action logics because they are quite similar, but pattern languages are much more usable. Similarly, action logics may be usable as formal systems for pattern languages.

Action logics (such as my ALX3d) are based on state transitions executed by actions.

Similarly, a pattern describes a problem, a solution, and a context [AIS77].

The problem describes the inadequacy of the current state. As such, it includes a partial description of the current state, and what would be better about the desired state.

Example: A pattern problem might read “You need to mix ingredients….”.

  • This implies the current state is one in which you do not have a way to mix ingredients,
    • and that the desired state is one in which you can mix ingredients.

The context of the pattern describes other pertinent information about the current state. This is augmented by drivers/forces in the pattern.

  • However, the drivers & forces may include invariants (e.g. minimize cost) that will be true in the desired state as well as the current state.

The pattern's solution part includes how to reach the desired state.

  • In action logic, this is an action or a sequence of actions.

The pattern's consequences include predictive information of what the current state will be like if you pursue the action(s) recommended in the pattern.

  • In action logic, this provides more information about the desired state, but only as consequences of following those particular action(s).
    • In ALX3 [HM95], this is quite close to the “squiggly” causality operator.

Therefore: it appears that there is some consistency between action logics and pattern languages.

But: Should pattern language formats be changed to be more consistent with action logic organization?

See Also


[AIS77]. C. Alexander, S. Ishikawa and M. Silverstein. 1977. A Pattern Language: Towns, Buildings, Construction. Oxford University Press, London.
[HM95]. Z. Huang and M. Masuch. 1995. An outline of ALX3, a multi-agent action logic. In Proc. NAIC '95/ (ed. J.C. Bioch and Y.H. Tan)
research/patterns_and_action_logics.txt · Last modified: 2020.03.12 13:30 (external edit)