small updates

chenxuh2 · May 10, 2023 · 7835971 · 7835971
1 parent b25a5ed
commit 7835971
Show file tree

Hide file tree

Showing 9 changed files with 5,147 additions and 73 deletions.
diff --git a/sample-trace.txt b/sample-trace.txt
@@ -0,0 +1,135 @@
+    0.000   GOAL                   SET-BUFFER-CHUNK GOAL S1 NIL
+     0.000   PROCEDURAL             CONFLICT-RESOLUTION
+     0.050   PROCEDURAL             PRODUCTION-FIRED START
+CURRENTPHASE IS WATERBOILED
+     0.050   PROCEDURAL             CLEAR-BUFFER IMAGINAL
+     0.050   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.050   DECLARATIVE            start-retrieval
+     0.050   DECLARATIVE            RETRIEVED-CHUNK A1
+     0.050   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A1
+     0.050   PROCEDURAL             CONFLICT-RESOLUTION
+     0.250   IMAGINAL               SET-BUFFER-CHUNK-FROM-SPEC IMAGINAL
+#|Warning: Creating chunk WATERBOILED with no slots |#
+     0.250   PROCEDURAL             CONFLICT-RESOLUTION
+     0.300   PROCEDURAL             PRODUCTION-FIRED ITERATION
+PICKUP
+KETTLE
+     0.300   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.300   DECLARATIVE            start-retrieval
+     0.300   DECLARATIVE            RETRIEVED-CHUNK A2
+     0.300   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A2
+     0.300   PROCEDURAL             CONFLICT-RESOLUTION
+     0.350   PROCEDURAL             PRODUCTION-FIRED GET-PHASE
+     0.350   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.350   DECLARATIVE            start-retrieval
+     0.350   DECLARATIVE            RETRIEVED-CHUNK WATERINMUGSTEP1
+     0.350   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL WATERINMUGSTEP1
+     0.350   PROCEDURAL             CONFLICT-RESOLUTION
+     0.400   PROCEDURAL             PRODUCTION-FIRED UPDATE-SA-MIDPHASE
+PREDICTED ACTION IS POURWATER
+PREDICTED OBJECT IS CUP
+     0.400   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.400   DECLARATIVE            start-retrieval
+     0.400   DECLARATIVE            RETRIEVED-CHUNK A2
+     0.400   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A2
+     0.400   PROCEDURAL             CONFLICT-RESOLUTION
+     0.450   PROCEDURAL             PRODUCTION-FIRED ITERATION
+POURWATER
+CUP
+     0.450   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.450   DECLARATIVE            start-retrieval
+     0.450   DECLARATIVE            RETRIEVED-CHUNK A3
+     0.450   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A3
+     0.450   PROCEDURAL             CONFLICT-RESOLUTION
+     0.500   PROCEDURAL             PRODUCTION-FIRED GET-PHASE
+     0.500   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.500   DECLARATIVE            start-retrieval
+     0.500   DECLARATIVE            RETRIEVED-CHUNK WATERINMUGSTEP2
+     0.500   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL WATERINMUGSTEP2
+     0.500   PROCEDURAL             CONFLICT-RESOLUTION
+     0.550   PROCEDURAL             PRODUCTION-FIRED UPDATE-SA-MIDPHASE
+PREDICTED ACTION IS PUT
+PREDICTED OBJECT IS KETTLE
+     0.550   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.550   DECLARATIVE            start-retrieval
+     0.550   DECLARATIVE            RETRIEVED-CHUNK A3
+     0.550   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A3
+     0.550   PROCEDURAL             CONFLICT-RESOLUTION
+     0.600   PROCEDURAL             PRODUCTION-FIRED ITERATION
+PUT
+KETTLE
+     0.600   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.600   DECLARATIVE            start-retrieval
+     0.600   DECLARATIVE            RETRIEVED-CHUNK A4
+     0.600   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A4
+     0.600   PROCEDURAL             CONFLICT-RESOLUTION
+     0.650   PROCEDURAL             PRODUCTION-FIRED GET-PHASE
+     0.650   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.650   DECLARATIVE            start-retrieval
+     0.650   DECLARATIVE            RETRIEVED-CHUNK WATERINMUGSTEP3
+     0.650   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL WATERINMUGSTEP3
+     0.650   PROCEDURAL             CONFLICT-RESOLUTION
+     0.700   PROCEDURAL             PRODUCTION-FIRED UPDATE-SA-ENDPHASE-WATERINMUG
+SA UPDATED WATERINMUG COMPLETED
+     0.700   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.700   DECLARATIVE            start-retrieval
+     0.700   DECLARATIVE            RETRIEVED-CHUNK A4
+     0.700   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A4
+     0.700   PROCEDURAL             CONFLICT-RESOLUTION
+     0.750   PROCEDURAL             PRODUCTION-FIRED ITERATION
+TAKE
+TEA
+     0.750   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.750   DECLARATIVE            start-retrieval
+     0.750   DECLARATIVE            RETRIEVED-CHUNK A5
+     0.750   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A5
+     0.750   PROCEDURAL             CONFLICT-RESOLUTION
+     0.800   PROCEDURAL             PRODUCTION-FIRED GET-PHASE
+     0.800   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.800   DECLARATIVE            start-retrieval
+     0.800   DECLARATIVE            RETRIEVED-CHUNK TEAINMUGSTEP1
+     0.800   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL TEAINMUGSTEP1
+     0.800   PROCEDURAL             CONFLICT-RESOLUTION
+     0.850   PROCEDURAL             PRODUCTION-FIRED UPDATE-SA-MIDPHASE
+PREDICTED ACTION IS PUT
+PREDICTED OBJECT IS TEA
+     0.850   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.850   DECLARATIVE            start-retrieval
+     0.850   DECLARATIVE            RETRIEVED-CHUNK A5
+     0.850   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A5
+     0.850   PROCEDURAL             CONFLICT-RESOLUTION
+     0.900   PROCEDURAL             PRODUCTION-FIRED ITERATION
+PUT
+TEA
+     0.900   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.900   DECLARATIVE            start-retrieval
+     0.900   DECLARATIVE            RETRIEVED-CHUNK A6
+     0.900   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A6
+     0.900   PROCEDURAL             CONFLICT-RESOLUTION
+     0.950   PROCEDURAL             PRODUCTION-FIRED GET-PHASE
+     0.950   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     0.950   DECLARATIVE            start-retrieval
+     0.950   DECLARATIVE            RETRIEVED-CHUNK TEAINMUGSTEP2
+     0.950   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL TEAINMUGSTEP2
+     0.950   PROCEDURAL             CONFLICT-RESOLUTION
+     1.000   PROCEDURAL             PRODUCTION-FIRED UPDATE-SA-ENDPHASE-TEAINMUG
+SA UPDATED TEAINMUG COMPLETED
+     1.000   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     1.000   DECLARATIVE            start-retrieval
+     1.000   DECLARATIVE            RETRIEVED-CHUNK A6
+     1.000   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A6
+     1.000   PROCEDURAL             CONFLICT-RESOLUTION
+     1.050   PROCEDURAL             PRODUCTION-FIRED ITERATION
+PICKUP
+SPOON
+     1.050   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     1.050   DECLARATIVE            start-retrieval
+     1.050   DECLARATIVE            RETRIEVED-CHUNK A7
+     1.050   DECLARATIVE            SET-BUFFER-CHUNK RETRIEVAL A7
+     1.050   PROCEDURAL             CONFLICT-RESOLUTION
+     1.100   PROCEDURAL             PRODUCTION-FIRED GET-PHASE
+     1.100   PROCEDURAL             CLEAR-BUFFER RETRIEVAL
+     1.100   DECLARATIVE            start-retrieval
+     1.100   DECLARATIVE            RETRIEVAL-FAILURE
+     1.100   PROCEDURAL             CONFLICT-RESOLUTION
+     1.100   ------                 Stopped because no events left to process
diff --git a/sudo-code.txt b/sudo-code.txt
@@ -35,4 +35,15 @@ Fixed sequences
 - tea and water in mug before mixing tea  
 	water boiled, water in mug, tea in mug ---> drink tea or mix tea and then drink tea 
 - productions are dependent on situational awareness and incoming information;
-- productions that have a hierarchical structure: use high or low utility to achieve selection;   
+- productions that have a hierarchical structure: use high or low utility to achieve selection;
+------------------------------------------
+
+A simple way to construct the model:
+- situation awareness (sa):
+slot that keeps descriptions and states of the task
+- for each step of the data, update sa
+- then, given sa, we retrieve a chunk that represents the current phase and next phases
+- and then we return (model output) the next steps in that chunk
+- have additional bottom-up productions that do not change sa, but intervenes
+(e.g., take spoon--mix)
+- have bottom-up production that fires when a dangerous action is predicted