messo a posto template WTA e eliminato TUN-WTA per ora. Aggiunto BEH-WTA, da completare

2026-03-12 11:09:28 +01:00
parent 0c2c9dc6ae
commit ad9509f7f9
3 changed files with 89 additions and 100 deletions
@@ -4,4 +4,79 @@

 **WTA Behavior**: (directly observable, excluding TUN e DEV).

-Da capire cosa e se serve mettere qualcosa qui dentro, visto che fa tutto l'espansione per ora.
+Qui devo fare la distinzione fra il behavior su exhitation e inhibition (SOMA)
+
+L'associazione PRE<->POST fatta con SYN dall'interprete/enliver, e' possibile perche' in POST e PRE si fa riferimento a NT che vengono immessi in SYN. Ovviamente tutto concettuale, ma in enliving il concettuale viene attualizzato.
+
+Quindi deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre.
+
+```Gen
+
+container: BEH-WTA
+ contained_by: WTA
+
+ tub_local:
+  - ??? (fullness: 50x, active: 0x, emptiness: 0x) 
+
+ tub_intricated:
+  - GoodTraces ( contained_by: BEH-?? )
+  - BadTraces ( contained_by: BEH-?? )
+  - pre
+  - post
+  - syn 
+  # qui vanno tutte le pre e post che fanno capo ad una Ast nella dichiarazione di relazione fatta in WTA
+
+  context_intricated:
+  - TunPossible ( contained_by: WTA )
+
+```
+
+### CheckDirection: Context
+
+Qui devo capire queste tracce chi le lascia e se sono esclusive?
+
+```Gen
+context: CheckDirection
+
+ contained_by: TUN-AST-SYN
+ in_context: TunPossible
+ rf: 60x
+
+ condition: ( GoodTraces Full ) AND NOT ( fullSyn full )
+  out_context: ActivateSyn
+
+ condition: ( BadTraces Full )
+  out_context: DeActivateSyn
+```
+
+### ActivateSyn: Episode
+
+....
+
+```Gen
+episode: activateSyn
+  contained_by: TUN-AST-SYN
+
+  in_context: TunPossible
+  rf: ( active: 6x )
+
+   hypothesis: ( GoodTraces Full ) AND NOT ( fullSyn full )
+    action: [GoodTraces decrease, ]
+     trace: None
+```
+
+### DeActivateSyn: Episode
+
+....
+
+```Gen
+episode: deActivateSyn
+  contained_by: TUN-AST-SYN
+
+  in_context: ???
+  rf: ( active: 6x )
+
+   hypothesis: NOT (?? empty)
+    action: [??? decrease]
+     trace: None
+```
@@ -1,6 +1,6 @@
 # TUN-WTA.md

-Forse questo va in BEH-WTA e lo consideriamo di notte, dopo anche il DEV SYN.
+Non credo ci sia bisogno del TUN del WTA, almeno in prima battuta.

 ## TUN-WTA: Modulator

@@ -11,90 +11,3 @@ modulator: TUN-WTA
 tub_local:
  - SomeTraces (fullness: 50x, active: 0x, emptiness: 0x) 
 ```
-
-### TUN-WTA-PRE-POST: Modulator
-
-IL TUN e' fatto sull'expansion_template. Anche se poi i collegamenti sono fatti specificamente fra PRE, POST e AST.
-
-L'associazione PRE<->POST fatta con SYN dall'interprete/enliver, e' possibile perche' in POST e PRE si fa riferimento a NT che vengono immessi in SYN. Ovviamente tutto concettuale, ma in enliving il concettuale viene attualizzato.
-
-Quindi TUN-WTA-PRE-POST deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre.
-
-```Gen
-
-modulator: TUN-WTA-PRE-POST
- contained_by: TUN-WTA
-
- modulates: 
-  - BEH-PRE. BEH-POST. BEH-SYN from WTA/expansion/template/EXH-001 
-    # Questo per dire che deve modulare tutti quelli che vengono creati tramite questo template
-
- tub_modulation:
-  - pre
-  - post
-  - syn 
-  # qui vanno tutte le pre e post che fanno capo ad una Ast nella dichiarazione di relazione fatta in WTA
-
- tub_local:
-  - ??? (fullness: 50x, active: 0x, emptiness: 0x) 
-
- tub_intricated:
-  - GoodTraces ( contained_by: BEH-?? )
-  - BadTraces ( contained_by: BEH-?? )
-
-  context_intricated:
-  - TunPossible ( contained_by: TUN-AST )
-
-```
-
-### CheckDirection: Context
-
-Qui devo capire queste tracce chi le lascia e se sono esclusive?
-
-```Gen
-context: CheckDirection
-
- contained_by: TUN-AST-SYN
- in_context: TunPossible
- rf: 60x
-
- condition: ( GoodTraces Full ) AND NOT ( fullSyn full )
-  out_context: ActivateSyn
-
- condition: ( BadTraces Full )
-  out_context: DeActivateSyn
-```
-
-### ActivateSyn: Episode
-
-....
-
-```Gen
-episode: activateSyn
-  contained_by: TUN-AST-SYN
-
-  in_context: TunPossible
-  rf: ( active: 6x )
-
-   hypothesis: ( GoodTraces Full ) AND NOT ( fullSyn full )
-    action: [GoodTraces decrease, ]
-     trace: None
-```
-
-### DeActivateSyn: Episode
-
-....
-
-```Gen
-episode: deActivateSyn
-  contained_by: TUN-AST-SYN
-
-  in_context: ???
-  rf: ( active: 6x )
-
-   hypothesis: NOT (?? empty)
-    action: [??? decrease]
-     trace: None
-```
-
-### TUN-WTA-PRE-SOMA: Modulator
@@ -22,21 +22,22 @@ In questo modo abbiamo allargato il concetto di espansione. Problemi da risolver

 When parser sees:

- EXH-001: NEU-001, NEU-003, AST-001
+- INH-001: INC-001, NEU-001.(1), @

 Template lookup:

- EXH-001: {SRC}.AXO -[excites]-> {TGT}.BD(001) ~{AST}
+- INH-001: {SRC}.BEH-AXO -[inhibits]-> {TGT}.BEH-SOMA ~{AST}

 Substitution:

- {SRC} = NEU-001
- {TGT} = NEU-003
- {AST} = AST-001
+- {SRC} = INC-001          # incoming port
+- {TGT} = NEU-001
+- {x}   = 1                # ignored — INH-001 targets SOMA, no {x}
+- {AST} = @                # unknown, specified from above

 Result:

- NEU-001.AXO -[excites]-> NEU-003.BD(001) ~AST-001
+- INC-001.BEH-AXO -[inhibits]-> NEU-001.BEH-SOMA ~@

 **Conventions**:

@@ -51,8 +52,8 @@ Result:
 comprehension: WTA

  include:
-    # BEH-WTA.md
-    TUN-WTA.md
+    BEH-WTA.md
+    # TUN-WTA.md

  expansion:

@@ -86,11 +87,11 @@ comprehension: WTA
          INH-001: NEU-002, NEU-003.(2), AST-002

        AREA-002:
-          EXH-001: NEU-003, NEU-003.(3), AST-001
-          EXH-001: NEU-004, NEU-003.(1), AST-002
+          EXH-001:
+            - NEU-003, NEU-003.(3), AST-001
+            - NEU-004, NEU-003.(1), AST-002

        AREA-003:
          INH-001: INC-001, NEU-001.(1), @
          EXH-001: NEU-003, OUT-001.(2), @
-
 ```