ora WTA si occupa di fare il TUN di PRE/POST/SYN

2026-03-10 11:48:11 +01:00
parent 47c8607c85
commit d372ce8de8
4 changed files with 106 additions and 94 deletions
@@ -29,93 +29,3 @@ context: IntegrateTunPossibility
 condition: NOT ( someTraces Empty )
  out_context: TunPossibile
 ```
-
-### TUN-AST-SYN: Modulator
-
-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.
-ATTENZIONE: In effetti devo fare un'associazione come ASTx in base alla dichiarazione in WTA: 
-
- NEU-001.AXO -[excites]-> NEU-003.BD-001 ~AST-001
-
-Quindi AST deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre. Lo devo pensare come un AST sovraintende a tante possibili SYN che pero' sono legate ad una dichiarazione specifica che guida quali accoppiamenti fare, poi AST dal proprio punto di vista controlla se ha abbastanza SYN possibili.
-
-```Gen
-
-modulator: TUN-AST-SYN
- contained_by: TUN-AST
-
- modulates: 
-  - AST/expansion/BEH-SYN
-  - N/BD/expansion/BEH-PRE
-  - N/BD/expansion/BEH-POST
-
- tub_modulation:
-  - fullSyn ( fullness: 500x, active: BEH-SYN/fullness, empty: 0x )
-  - actSyn ( indef, active: BEH-SYN/active, empty: 0x )
-
- tub_scope:
-  - preAst ( +[N/BEH-AXO/BEH-PRE] )
-  - postAst ( +[N/BEH-BD/BEH-POST] )
-  # 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
-```