# BEH-WTA.md

## BEH-WTA: Container

**WTA Behavior**: (directly observable, excluding TUN e DEV).

Questo e' il nuovo tipo di espansione che permette di specificare un "circuito" di possibilita'.
A differenza di BD che espande PRE implicitamente e trattando PRE tutti allo stesso modo. L'espansione:

- dichiara N1 e N2
- dichiara AST1
- collega un N1 con un N2
- specifica che tipologia: excitation o inhibition
- specifica dove avviene la excitation o inhibition (SOMA, BDx, eventalmente AXOx)

In questo modo abbiamo allargato il concetto di espansione. Problemi da risolvere:

- INC e OUT ora espongono il modulo WTA ad un'area cerebrale dove viene specificato l'intricazione fra moduli
- posso pensare di produrre il circuito in ambiente visuale tipo DrawIO, e avere un parser che me lo trasforma in questa sintassi.

---

**How intrication_type resolves in circuit**:

When parser sees:

- EXH-001: NEU-001, NEU-003, AST-001

Template lookup:

- EXH-001: {SRC}.AXO -[excites]-> {TGT}.BD(001) ~{AST}

Substitution:

- {SRC} = NEU-001
- {TGT} = NEU-003
- {AST} = AST-001

Result:

- NEU-001.AXO -[excites]-> NEU-003.BD(001) ~AST-001

**Conventions**:

- {SRC} — always the presynaptic neuron
- {TGT} — always the postsynaptic neuron
- {AST} — always the enveloping astrocyte
- @ — Astrocyte da definire dall'alto

---

```Gen
container: BEH-WTA

 structure:
 
  elements:
    NEU-001: BEH.N from N.md
    NEU-002: BEH.N from N.md
    NEU-003: BEH.N from N.md 
    NEU-004: BEH.N from N.md
    AST-001: AST from AST.md
    AST-002: AST from AST.md

  incoming:
    INC-001 # Neurone che sara' specificato piu' in "alto" perche' alla frontiera
    INC-002 

  outgoing: 
    OUT-001 # Neurone che sara' specificato piu' in "alto" perche' alla frontiera
    OUT-002

  template:
    EXH-001: {SRC}.BEH-AXO -[excites]-> {TGT}.BEH-BD({x}) ~{AST}
    INH-001: {SRC}.BEH-AXO -[inhibits]-> {TGT}.BEH-SOMA ~{AST}

  circuit:
    AREA-001:
      EXH-001: NEU-001, NEU-003.(1), AST-001
      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

    AREA-003:
      INH-001: INC-001, NEU-001.(1), @
      EXH-001: NEU-003, OUT-001.(2), @
```