[FRIAM] Formal Definition of Agent Based Model

[Owen Densmore]

Is there a formal definition of Agent Based Model?  By "formal  
definition" I mean something like there is for a Finite State Automata:

A Finite State Automata is definded as a 5-tuple (Q, Σ, δ, q0, F)  
where
1 - Q is a finite set called the states.
2 - Σ is a finite set called the alphabet
3 - δ: Q X Σ -> Q is the transition function
4 - q0 ∈ Q is the start state, and
5 - F ⊆ Q is the set of accept states
(Note: the above uses Unicode so if your display is odd, its trying  
to show symbols for Sigma, Delta and so on)

If not, we ought to build one, right?  Wikipedia discusses both CAs  
and ABMs:
   http://en.wikipedia.org/wiki/Cellular_automata
   http://en.wikipedia.org/wiki/Agent_based_model
.. as well as FSA:
   http://en.wikipedia.org/wiki/Finite_state_automata

Note that only the latter has a formal definition in the article.

     -- Owen