SoarGroup / Soar

Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
http://soar.eecs.umich.edu
Other
330 stars 71 forks source link

States that become LTI's can prevent chunk conditions from re-ordering #132

Closed ghost closed 8 years ago

ghost commented 10 years ago

From maz...@gmail.com on January 09, 2013 16:57:20

What steps will reproduce the problem? 1. Make S1 an LTI (for e.g., smem --add {( ^is S1)})

  1. Source the productions attached
  2. Step 3 times What is the expected output? What do you see instead? It should produce the same chunk that would have been produced if S1 was not an LTI. Instead, it says:

Error: in production chunk-1_d2_opnochange*1, The LHS has no roots.

Unable to reorder this chunk: (state @S1 ^top-struct ^operator ) ( ^name real-operator) --> ( ^operator +) ( ^name faux-operator +)

This error is likely caused by the reasons outlined section 4 of the Soar manual, subsection "revising the substructure of a previous result".

Check that the rules are not revising substructure of a result matched only through the local state.

System halted. Interrupt received.This Agent halted. An agent halted during the run.

Attachment: faux-operator-test.soar

Original issue: http://code.google.com/p/soar/issues/detail?id=131

mazina commented 8 years ago

Resolved with new model of smem