[an error occurred while processing this directive]
<h1>Basic Principles of Abstract Definitive Machine</h1>
<p>
The ADM is motivated by the following:
</p>
<ul><li>The computational model of EDEN is in some ways
unsatisfactory.  It includes features such as actions that describe
state by side-effect that can be easily abused.  Our motivation behind
the design of ADM is to address the question, "Is there a good abstract
model for "proper use" of EDEN?".  The ADM was then designed as a
computational model that is based upon definitive representation of
state.
</li>
<li>We need to develop a tool for animating the LSD specifiations. 
Under this heading, we need:
  <ul>
  <li>to represent concurrent action by parallel redefinition
  </li>
  <li>to reflect context dependence of agent actions by the use of
  scripts
  </li></ul>
</li></ul>

[an error occurred while processing this directive]