varie

winnertakeall/BEH-EXH.md

@@ -4,14 +4,15 @@
 
 **Exhitatory Behavior**: L'associazione PRE<->POST<->SYN concettuale, che verra' trasformata in attuale dall'interprete/enliver. Questo container viene invocato da una riga di espansione in BEH-WTA, quindi ha a disposizione BEH-AXO, BEH-BD e BEH-AST di riferimento. E quindi in enliving abbiamo a disposizione le BEH-PRE, BEH-POST e BEH-SYN attuali.
 
-**bind_elements**: questo dovrebbe dire all'enliver di mettere assieme gli elementi che sono citati. increase fa passare in actual qualcosa che era possible, perche' non si era raggiunto il fullness. E' una novita' perche' fin'ora avevamo fatto il bind in maniera implicita, in base alla espansione, quando ad esempio si espande  BEH-AXO da BEH-N. Qui invece si deve esplicitamente dire che BEH-PRE, BEH-POST e BEH-AXO sono intricati in maniera che possano scambiarsi gli NT.
+BEH-AST mette a disposizione BEH-SYN, BEH-AXO BEH-PRE e BEH-BD BEH-POST. Fare un'associazione significa che nessuno dei tre e' in fullness.
+
+**bind_elements**: questo deve dire all'enliver di mettere assieme gli elementi che sono citati. increase fa passare in actual qualcosa che era possible, perche' non si era raggiunto il fullness. E' una novita' perche' fin'ora avevamo fatto il bind in maniera implicita, in base alla espansione, quando ad esempio si espande  BEH-AXO da BEH-N. Qui invece si deve esplicitamente dire che BEH-PRE, BEH-POST e BEH-AXO sono intricati in maniera che possano scambiarsi gli NT.
 
 ```Gen
 
 container: BEH-EXH
 
- tub_local:
-  - ??? (fullness: 50x, active: 0x, emptiness: 0x) 
+ tub_local: ??? (fullness: 50x, active: 0x, emptiness: 0x) 
 
  tub_intricated:
   - BEH-PRE from N/BEH-N/BEH-AXO/BEH-PRE
@@ -25,12 +26,12 @@ container: BEH-EXH
   - TunPossible ( contained_by: WTA )
 ```
 
-### CheckDirection: Context
+### CheckSynModification: Context
 
 Qui devo capire queste tracce chi le lascia e se sono esclusive?
 
 ```Gen
-context: CheckDirection
+context: CheckSynModification
 
  contained_by: BEH-EXH
  in_context: Fixed
@@ -43,35 +44,39 @@ context: CheckDirection
   out_context: DeActivateSyn
 ```
 
-### ActivateSyn: Episode
+### Activate: Episode
 
-....
+Qui attiviamo la Syn collegando Pre e Post
 
 ```Gen
-episode: activateSyn
+episode: activate
   contained_by: BEH-EXH
 
   in_context: ActivateSyn
   rf: ( active: 6x )
 
-   bind_elements: # Novita'
-    hypothesis: ( GoodTraces Full ) AND NOT ( ??? full )
-      action: [BEH-PRE increase, BEH-POST increase, BEH-SYN increase, GoodTraces decrease]
+   
+  hypothesis: ( GoodTraces full ) AND NOT ( ??? full )
+    action:
+      bind_containers: # Novita'
+        [BEH-PRE increase, BEH-POST increase, BEH-SYN increase, GoodTraces decrease]
       trace: None
 ```
 
-### DeActivateSyn: Episode
+### DeActivate: Episode
 
-....
+Qui deattiviamo la Syn
 
 ```Gen
-episode: deActivateSyn
+episode: DeActivate
   contained_by: BEH-EXH
 
   in_context: DeActivateSyn
   rf: ( active: 6x )
 
-   hypothesis: NOT (?? empty)
-    action: [??? decrease]
-     trace: None
+    hypothesis: (BadTraces  full)
+      action:
+        bind_containers: # Devo essere sicuro di eliminare i 3 che sono collegati, non a caso.
+          [BEH-PRE decrease, BEH-POST decrease, BEH-SYN decrease, GoodTraces decrease]
+      trace: None
 ```

winnertakeall/WTA.md

@@ -2,7 +2,12 @@
 
 Qui comprendiamo il circuito WTA. Il behavior del WTA avviene di NIGHT dopo che DEV-SYN, DEV-POST e DEV-PRE hanno lavorato. E' un po' una novita' perche' avevo pensato che solo DEV avvenisse di NIGHT, ma ha senso, si tratta di un comportamento a livello di circuiti, e quindi riorganizzazione notturna.
 
-L'eventuale TUN o DEV di BEH-WTA, per ora non lo prendo in considerazione.
+L'eventuale TUN o DEV di BEH-WTA, per ora non lo prendo in considerazione. L'ipotesi e' che il DEV crei nuove possibilita':
+
+- allungando AXO, comportamento che va con N e AST
+- creando nuovi N e AST
+
+Per ora non mi e' chiaro il ruolo del TUN.
 
 ```Gen
 comprehension: WTA