Does working code for Pengi 'running argument system' really exist?   
   Running argument system is described by Philip Agre in his thesis   
   "Dynamic Structure of Everyday Life" (1988)   
      
   In this work Agre describes a system that maintains dependencies with   
   rules accelerated by justifications records.   
   Propositions such as premises from sensors can (just once) trigger the   
   rules which then create justification records for these propositions.   
   When justification record is created rule does not need to fire   
   anymore for the given values of variables in the rule that   
   instantiated this justification record. Everything is stored in   
   proposition database.   
      
   In his thesis Agre writes that a running argument system (started in   
   1983) "provided a language called Life, for writing rules about the   
   critters and things in catoon world. ... initial goal was to animate   
   Aesop's fable of The Boy Who Cried Wolf."   
      
   I am trying to find Agre's running argument system implementation as   
   well as modern developments in this area.   
   Any ideas where to start looking for these?   
   Thanks!   
      
   [ comp.ai is moderated ... your article may take a while to appear. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)