98 lines
2.0 KiB
Markdown
98 lines
2.0 KiB
Markdown
# TUN-WTA.md
|
|
|
|
## TUN-WTA: Modulator
|
|
|
|
```Gen
|
|
modulator: TUN-WTA
|
|
contained_by: 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:
|
|
- WTA/expansion/BEH-WTA
|
|
|
|
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
|