varie

2026-05-08 15:45:02 +02:00
parent dc534024af
commit cbc1cd9d86
3 changed files with 106 additions and 24 deletions
@@ -0,0 +1,83 @@
+# excitation.md
+
+## EXCITATION: Container
+
+**Exhitatory Behavior**: 
+L'associazione PRESYNAPSE<->POSTSYNAPSE<->SYNSYNAPSE concettuale, che verra' trasformata in attuale dall'interprete/enliver. Questo container viene invocato da una riga di espansione in WINNERTAKEALL, quindi ha a disposizione AXON, DENDRITIC-BRANCH(x) o SOMA, e ASTROCYTE di riferimento. E quindi in enliving abbiamo a disposizione le PRESYNAPSE, POSTSYNAPSE e SYNAPSE attuali.
+
+**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  AXON da NEURON. Qui invece si deve esplicitamente dire che PRESYNAPSE, POSTSYNAPSE e ASTROCYTE sono intricati in maniera che possano interagire su NT.
+
+```Gen
+
+EXCITATION
+
+  type: tuner
+
+  tub_local: ??? (fullness: 50x, active: 0x, emptiness: 0x) 
+
+  tunes: 
+    - NEURON/AXON/expansion/PRESYNAPSE
+    - NEURON/DENDRITIC-BRANCH/expansion/POSTSYNASPE
+    - ASTROCYTE/expansion/SYNAPSE
+
+    - GoodTraces ( contained_by: -?? )
+    - BadTraces ( contained_by: -?? )
+
+  context_intricated:
+    - TunPossible ( contained_by: winnertakeall.md )
+```
+
+### CheckSynModification: contextor
+
+Qui devo capire queste tracce chi le lascia e se sono esclusive?
+
+```Gen
+CheckSynModification: ( active: 60x )
+
+  type: contextor
+  contained_by: EXCITATION
+
+  in_context: Fixed
+    condition: ( GoodTraces fullness ) AND NOT ( SYNAPSE full ) AND NOT ( PRESYNAPSE full ) AND NOT ( POSTSYNAPSE full)
+      out_context: ActivateSynPostPre_ctx
+
+    condition: ( BadTraces fullness )
+      out_context: DeActivateSynPostPre_ctx
+```
+
+### ActivateSynPostPre: binder
+
+Qui attiviamo la Syn collegando Pre e Post. Lo facciamo per tutte le relazioni fino a quando GoodTraces fullness
+
+```Gen
+ActivateSynPostPre: ( active: 6x )
+
+  type: binder
+  contained_by: EXCITATION
+
+  in_context: ActivateSynPostPre_ctx
+    hypothesis: ( GoodTraces fullness )
+        bind_intrication: [PRESYNAPSE increase, POSTSYNAPSE increase, SYNAPSE increase, GoodTraces decrease]
+        trace: None
+```
+
+### DeActivateSynPostPre: binder
+
+Qui deattiviamo la Syn
+
+```Gen
+DeActivateSynPostPre: ( active: 6x )
+
+  type: binder
+  contained_by: EXCITATION
+
+  # Devo essere sicuro di eliminare i 3 che sono collegati, non a caso.
+  in_context: DeActivateSynPostPre_ctx
+    hypothesis: (BadTraces  fullness)
+        bind_intrication: [PRESYNAPSE decrease, POSTSYNAPSE decrease, SYNAPSE decrease, GoodTraces decrease]
+        trace: None
+```
+
+### ClearTraces: accumulator
+
+deco capire dove eliminare le tracce bad e good.
@@ -18,7 +18,7 @@ A differenza di BD che espande PRE implicitamente e trattando PRE tutti allo ste
 - specifica che tipologia: excitation o inhibition
 - se inhibition il target e'SOMA, se excitation il target e' BDx
 - specifica il EXCITATION, ad esempio, che e' il comportamento di ciascuna riga espansiva. E serve a gestire l'accoppiamento atttuale fra NEU-x, NEU-y e AST-x.
- specifica INC-x, OUT-x, @ che sono dei placeholders per neuroni e astrorcita che verranno specificati da un'espansione piu' in alto, tipo ORG.
+- specifica IN, OUT, @ che sono dei placeholders per neuroni e astrorcita che verranno specificati da un'espansione piu' in alto, tipo TECTUM.
 - posso pensare di produrre il circuito in ambiente visuale tipo DrawIO, e avere un parser che me lo trasforma in questa sintassi.


@@ -33,37 +33,36 @@ WINNERTAKEALL-BEH
      # i neuroni taggati come ad esempio INCOMING-EXC sono "messi a disposizione" agli organi che determinerranno le relazioni fra moduli come il winnertakeall. Allo stesso modo di come vengono messe a disposizione le POSTSINAPSI, PRESINAPSI e SYN nel caso di una relazione interna al winnetakeall.

      # Neurons
-      NEU-005: NEURON
-      NEU-006: NEURON
+      @NEU-005: NEURON
+      @NEU-006: NEURON

      # Astrocytes
-      AST-001: ASTRO
-      AST-002: ASTRO
+      @AST-001: ASTROCYTE
+      @AST-002: ASTROCYTE

    relations:
-      # Ciascuna riga determina una relazione possibile fra neuroni e con un astorcita. E' un constraint su come possono crearsi sinapsi. La possibile creazione e distruzione di sinapsi avviene nei container EXCITATION e INHIBITION. Queste relazioni valgono per i neuroni interni al winnertakeall, quelle INC e OUT vengono gestite da un organo che "relaziona" moduli come il winnertakeall.
+      # Ciascuna riga determina una relazione possibile fra neuroni e con un astrorcita. E' un constraint su come possono crearsi sinapsi. La possibile creazione e distruzione di sinapsi avviene nei container EXCITATION e INHIBITION. Queste relazioni valgono per i neuroni interni al winnertakeall, quelle INC e OUT vengono gestite da un organo che "relaziona" moduli come il winnertakeall.

-      # Area 1
-      EXCITATION [out: NEU-001.AXON, in: NEU-003.DENDRITIC-BRANCH(1), AST-001]
-      INHIBITION [out: NEU-002.AXON, in: NEU-003.SOMA, AST-002]
+      # Area xxx
+      @010: EXCITATION [out: @NEU-001.AXON, in: @NEU-003.DENDRITIC-BRANCH(1), @AST-001]
+      @012: INHIBITION [out: NEU-002.AXON, in: NEU-003.SOMA, @AST-001]

-      # Area 2
-      EXCITATION [out: NEU-003.AXON, in: NEU-004.DENDRITIC-BRANCH(3), AST-001]
-      EXCITATION [out: NEU-004.AXON, in: NEU-002.DENDRITIC-BRANCH(1), AST-002]
+      # Area yyy
+      @020: EXCITATION [out: @NEU-003.AXON, in: @NEU-004.DENDRITIC-BRANCH(3), @AST-002]
+      @022: EXCITATION [out: @NEU-004.AXON, in: @NEU-002.DENDRITIC-BRANCH(1), @AST-002]

    interfaces:
      # questi sono messi a disposizione di un organo che mette assieme moduli come winnertakeall
-      # devo tipizzare ...

-      AREA-001:
-        incoming-exc:
-          - NEU-001.DENDRITIC-BRANCH(2)
-          - NEU-002.DENDRITIC-BRANCH(2)
-        incoming-inh:
-          - NEU-003.SOMA
-        outgoing-exc:
-          - NEU-006.AXON
-          - NEU-007.AXON
-        outgoing-inh:
-          - NEU-005.AXON
+      @AREA-001:
+        incoming-excitation:
+          @NEU-001.DENDRITIC-BRANCH(2)
+          @NEU-002.DENDRITIC-BRANCH(2)
+        incoming-inhibition:
+          @NEU-003.SOMA
+        outgoing-excitation:
+          @NEU-006.AXON
+          @NEU-007.AXON
+        outgoing-inhibition:
+          @NEU-005.AXON
 ```