From ad9509f7f9154cb5635dc67c27859841b35008bf Mon Sep 17 00:00:00 2001 From: ocrampal Date: Thu, 12 Mar 2026 11:09:28 +0100 Subject: [PATCH] messo a posto template WTA e eliminato TUN-WTA per ora. Aggiunto BEH-WTA, da completare --- winnertakeall/BHE-WTA.md | 77 +++++++++++++++++++++++++++++++++- winnertakeall/TUN-WTA.md | 89 +--------------------------------------- winnertakeall/WTA.md | 23 ++++++----- 3 files changed, 89 insertions(+), 100 deletions(-) diff --git a/winnertakeall/BHE-WTA.md b/winnertakeall/BHE-WTA.md index 33adedf..16e98a9 100644 --- a/winnertakeall/BHE-WTA.md +++ b/winnertakeall/BHE-WTA.md @@ -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 +``` diff --git a/winnertakeall/TUN-WTA.md b/winnertakeall/TUN-WTA.md index 79bd1d8..0fb9797 100644 --- a/winnertakeall/TUN-WTA.md +++ b/winnertakeall/TUN-WTA.md @@ -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 diff --git a/winnertakeall/WTA.md b/winnertakeall/WTA.md index 63b4554..ac9c0cb 100644 --- a/winnertakeall/WTA.md +++ b/winnertakeall/WTA.md @@ -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), @ - ```