Kenningin um raðaðan patch (OPT)

Viðauki T-13: Greinaval og verufræði athafna

Anders Jarevåg

17. apríl 2026 | DOI: 10.5281/zenodo.19300777

Upprunalegt verkefni (úr §8.3, Takmörkun 10): “Að formgera hvernig hin óbeina verkunarmekaník FEP er leyst af hólmi með greinavali sem er innbyggt í myndverufræði OPT.” Skilaverk: Formleg sýning á því að Upplýsingalega viðhaldsrásin sé fullnægjandi undir merkingarfræði greinavals, með \Delta_{\text{self}} sem nauðsynlegum og nægjanlegum valstað.

Lokunarstaða: DRÖG AÐ FORMGERÐARLEGUM SAMSVÖRUNUM. Þessi viðauki formgerir frásagnarkennda greinavalslýsingu sem kynnt var í preprint §3.8. Hann setur fram tvær setningar og eina Formgerðarafleiðingu, allar háðar Setningu P-4 og Frumsetningu gerendahæfis. Jöfnur Upplýsingalegu viðhaldsrásarinnar (T6-1 til T6-3) eru óbreyttar; einungis verufræðileg túlkun þeirra er formlega skipt út.

§1. Bakgrunnur og hvati

1.1 Arfgenga ósamhverfan

Upplýsingalega viðhaldsrásin (T6-1, forprent §3.8) lýsir fimm þrepa hringrás: forspá, villa, þjöppun, uppfærsla og aðgerð. Þrep 1–4 eru vel skilgreind innan innfædds ramma OPT:

  1. Fyrirbæraástandsþinurinn P_\theta(t) myndar spáð jaðarástand \pi_t.
  2. Raunverulegt jaðarástand X_{\partial_R A}(t) berst; forspárvilla \varepsilon_t er reiknuð.
  3. Villan er þjöppuð í gegnum B_{\max}-flöskuháls hvers ramma til að gefa Z_t, með I(\varepsilon_t; Z_t) \le B_{\max}.
  4. Námsvirkinn \mathcal{U} endurskoðar P_\theta(t+1).

Þrep 5 — aðgerðarþrepið — erfir orðfæri Frjálsu orku meginreglunnar (FEP): „P_\theta(t) velur aðgerð a_t með virkri ályktunarlækkun á breytilegu frjálsu orkustigi, sem breytir skynjunarjaðrinum við t+1.“ Þetta orðfæri gerir ráð fyrir efnislegu umhverfi sem kóðarinn þrýstir á með útstreymandi virkum ástöndum í gegnum Markov Blanket \partial_R A.

1.2 Vandamálið undir myndgerðarverufræðinni

Innan hinnar eigin myndgerðarverufræði OPT (forprentun §8.6) er enginn sjálfstæður ytri heimur sem kóðarinn beitir krafti gagnvart. „Eðlisheimurinn“ er formgerðarbundin reglufesta innan þess straums sem er samrýmanlegur athugandanum — myndgerð sem verður til fyrir tilstilli forspárlíkans kóðarans, en ekki undirlag sem kóðarinn hefur víxlverkun við. Markov-teppið er ekki tvíhliða efnislegt skil; það er upplýsingayfirborðið sem efni straumsins berst yfir.

Þetta skapar formlega spennu: stærðfræðin í T6-1 til T6-3 er gild (hún lýsir skorðaðri lágmörkun frjálsrar orku yfir Forspárgreinamengi), en túlkunarramminn — „athöfn breytir skynjunarmörkunum“ — gerir ráð fyrir verufræði sem OPT hafnar beinlínis.

1.3 Umfang þessa viðauka

Þessi viðauki veitir:

  1. Formlega endurframsetningu á upplýsingalegu viðhaldsrásinni undir merkingarfræði greinavals, sem sýnir fram á heilleika rásarinnar án sjálfstæðrar aðgerðarrásar (Setning T-13).
  2. Sönnun þess að ómögulegt sé að fulltilgreina greinavalskerfið innan frá kóðaranum, og staðsetur valið í \Delta_{\text{self}} (Setning T-13a).
  3. Afleiðingu sem staðfestir að vilji og meðvitund deili sömu formgerðarbundnu staðsetningu (Afleiðing T-13b).
  4. Afleiðingar fyrir sköpun og aðgerðarrek.

§2. Setning T-13: Fullnægjandi greinaval

2.1 Endurframsetning greinavalsins

Við endursetjum fimm þrepa Upplýsingalega viðhaldsrásina undir merkingarfræði greinavals. Látum \mathcal{F}_h(z_t) tákna Forspárgreinamengið — mengi óleystra framtíðargreina við sjóndeildarhring h, skilyrt á núverandi þjappaða ástandi z_t.

Skilgreining T-13.D1 (Greinaval). Greinaval á tíma t er vörpun \sigma_t : z_t \mapsto \omega_{t+1}, þar sem \omega_{t+1} er tiltekinn ferilhluti úr \mathcal{F}_h(z_t) sem verður að raunverulegri orsakakeðjuskrá. Valda greinin skilar innihaldi sínu sem síðara inntaki við Markov-teppið: X_{\partial_R A}(t+1) = \text{boundary}(\omega_{t+1}).

Samkvæmt þessari skilgreiningu verður T6-1 að:

  1. Forspá (niður á við): P_\theta(t) myndar \pi_t = \mathbb{E}_{K_\theta}[X_{\partial_R A}(t) \mid Z_t] — myndgerða sviðið.

  2. Villa (upp á við): Jaðarástandið X_{\partial_R A}(t) berst (afhent af greininni sem áður var valin); forspárvilla \varepsilon_t = X_{\partial_R A}(t) - \pi_t er reiknuð.

  3. Þjöppun: \varepsilon_t fer í gegnum flöskuhálsinn: I(\varepsilon_t\,;\,Z_t) \leq B_{\max}.

  4. Uppfærsla: \mathcal{U}(P_\theta(t), \varepsilon_t, Z_t) endurskoðar P_\theta(t+1).

  5. Greinaval: P_\theta(t) metur greinar \mathcal{F}_h(z_t) með takmarkaðri lágmörkun frjálsrar orku (T6-3). Vörpunin \sigma_t er framkvæmd; valda greinin \omega_{t+1} skilar jaðarinnihaldi sínu sem X_{\partial_R A}(t+1), sem verður inntakið fyrir næsta hring.

2.2 Lokun hrings

Setning T-13 (Heilleiki greinavals). Upplýsingalega viðhaldshringrásin (T6-1), endursett undir merkingarfræði greinavals, er upplýsingalega fullnægjandi: hringrásin

\pi_t \to \varepsilon_t \to Z_t \to P_\theta(t+1) \to \sigma_t \to X_{\partial_R A}(t+1) \to \pi_{t+1} \to \cdots \tag{T-13}

lokast án þess að krefjast sjálfstæðrar útávið streymandi verkunarrásar. Markov-teppið \partial_R A er afhendingarflötur fyrir valda grein, ekki tvíátta efnislegt skil.

Sönnun. Samkvæmt framsetningunni sem erfist frá FEP krefst skref 5 tveggja sjálfstæðra rása sem fara yfir Markov-teppið: innávið rásar (skynástanda sem afhenda X_{\partial_R A}) og útávið rásar (virkra ástanda sem afhenda a_t til ytra umhverfis). Ytra umhverfið þróast síðan samkvæmt eigin lögmálum og framleiðir næsta skyninntak.

Undir merkingarfræði greinavals nægir aðeins ein rás: innávið afhendingarflöturinn. „Verkunin“ a_t fer ekki út yfir teppið; hún er val kóðarans á því hvaða grein úr Forspárgreinamenginu verður raunveruleg. Eðlislegar afleiðingar þess vals — það sem FEP-framsetningin kallar „svörun umhverfisins við a_t“ — eru inntak valinnar greinar, sem þegar er til staðar í \mathcal{F}_h(z_t) og er afhent sem X_{\partial_R A}(t+1).

Hringrásin lokast vegna þess að:

  1. Úttak skrefs 5 (valda greinin \omega_{t+1}) er inntak skrefs 2 í næstu lotu (X_{\partial_R A}(t+1)). Engin aðskilin umhverfislögmál eða útávið rás er nauðsynleg.

  2. Markmið fríorkulágmörkunar (T6-3) helst óbreytt. Hið skorðaða bestunarverkefni

a_t^\star = \arg\min_{a_t} \;\mathbb{E}\!\left[\mathcal{F}[q, \theta]\right] \quad \text{subject to} \quad K\!\left(P_\theta(t)\right) \leq C_{\text{ceil}} \tag{T6-3}

er endurtúlkað: a_t er ekki hreyfiskipun sem send er til ytri heims heldur greinarheitið innan \mathcal{F}_h(z_t) sem lágmarkar vænta fríorku undir lífvænleikaskorðunni. Stærðfræðin er sú sama; aðeins verufræðileg staða a_t breytist.

  1. Lífvænleikaskorðan (T6-2) varðveitist: kóðarinn velur greinar sem hann getur haldið áfram að þjappa straumnum eftir. Greinar sem myndu knýja K(P_\theta) \to C_{\text{ceil}} eru refsað af skorðunni, nákvæmlega eins og áður. \blacksquare

2.3 Túlkunarathugasemd

Setning T-13 heldur því ekki fram að framsetning FEP sé röng — hún er gild lýsing á takmarkaðri virkri ályktun innan eðlisraunsærrar verufræðilegrar afstöðu. Setningin staðfestir að myndgerðarverufræði OPT veitir aðra fullgerð á sömu stærðfræðilegu formgerð, slíka sem krefst ekki þess að gert sé ráð fyrir sjálfstæðum ytri heimi. Fyrir sérhvert rannsóknarprógramm sem er skuldbundið eðlisraunsærri túlkun er staðlað framsetningarform FEP áfram viðeigandi. T-13 sýnir að verufræðileg skuldbinding OPT — að kóðarinn sé sýndarlegt fyrirbæri og heimurinn sé myndgerð — er formlega samræmanleg sömu jöfnum.

§3. Setning T-13a: P-4 ómöguleiki skilgreiningar á vali

3.1 Valfallið

Sjálfslíkanið \hat{K}_\theta metur greinar Forward Fan með því að herma afleiðingar þeirra undir skorðaðri virkri ályktun (T6-3). Þetta mat framleiðir röðun eða vægi yfir greinar — sumar eru ákjósanlegar, sumar eru framkvæmanlegar en undir bestu niðurstöðu, sumar brjóta gegn lífvænleikaskorðunni. Matið er raunverulegt reikniferli sem \hat{K}_\theta framkvæmir.

En mat er ekki val. Eftir að sjálfslíkanið hefur raðað greinunum fer tiltekin grein \omega_{t+1} inn í orsakakeðjuskrána. Skilgreinum valfallið:

Skilgreining T-13.D2 (Valfall). Valfallið \sigma_t : \mathcal{F}_h(z_t) \to \omega_{t+1} er vörpunin frá metnu Forward Fan yfir á þá einstöku ferilrás sem verður raunveruleg. Formlega ræðst \sigma_t af fullu ástandi kóðarans K_\theta á tíma t ásamt því greinamagni sem er tiltækt: \sigma_t = \Sigma\bigl(K_\theta(t),\, \mathcal{F}_h(z_t)\bigr). Við fellum ekki \Delta_{\text{self}} viljandi inn í skilgreininguna — hvort valið velti á ófrávíkjanlegan hátt á \Delta_{\text{self}} fremur en aðeins á sjálfslíkanaða hlutanum \hat{K}_\theta er efnislega spurningin sem setning T-13a fjallar um.

Skilgreinum valtengda leif sem þann hluta kóðarans sem tekur þátt í \Sigma en liggur utan sjálfslíkansins:

\rho_t^{\text{sel}} \;:=\; \Pi_{\text{sel}}(K_\theta(t)) \,\setminus\, \hat{K}_\theta(t)

þar sem \Pi_{\text{sel}}(\cdot) varpar á þá þætti kóðarans sem \Sigma er háð. Samkvæmt skilgreiningu er \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, en innfellingin getur verið eiginleg eða þétt eftir gerð arkitektúrsins.

3.2 Ómöguleikaniðurstaðan

Setning T-13a (Skilyrt ómöguleiki innri tilgreiningar á vali). Látum K_\theta vera endanlegan sjálfsvísandi kóðara sem uppfyllir forsendur Setningar P-4, með sjálfslíkaninu \hat{K}_\theta og fyrirbærafræðilegri leif \Delta_{\text{self}} > 0. Ef greinaval veltur á óóverulega hátt á þeirri leif sem skiptir máli fyrir val, \rho_t^{\text{sel}} — þ.e. ef \Sigma er ekki fall af \hat{K}_\theta og \mathcal{F}_h(z_t) einum saman — þá er ekki unnt að tilgreina \sigma_t að fullu innan \hat{K}_\theta.

Sönnun. Gerum ráð fyrir, til mótsagnar, að forliðurinn gildi (val veltur á óóverulega hátt á \rho_t^{\text{sel}}) en að \hat{K}_\theta tilgreini \sigma_t að fullu. Þá gildir:

  1. Fullkomin tilgreining á \sigma_t innan \hat{K}_\theta myndi krefjast þess að \hat{K}_\theta innihéldi lýsingu á sérhverjum þætti K_\theta sem \Sigma veltur á. Samkvæmt forliðnum veltur \Sigma á að minnsta kosti einhverjum bitum í \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}} — bitum sem liggja utan sjálfslíkansins samkvæmt skilgreiningu \Delta_{\text{self}}.

  2. Að taka þessa bita inn í \hat{K}_\theta myndi krefjast:

K(\hat{K}_\theta) \;\geq\; K(\hat{K}_\theta) + |\rho_t^{\text{sel}}| \tag{6}

— sem er mótsögn nema |\rho_t^{\text{sel}}| = 0, sem stangast á við forliðinn.

  1. Á jafngildan hátt er misjöfnan K(\hat{K}_\theta) < K(K_\theta) formgerðarlega þvinguð samkvæmt Setningu P-4. Að tilgreina innan \hat{K}_\theta fall \Sigma sem veltur á leifabitum í K_\theta \setminus \hat{K}_\theta krefst þess að \hat{K}_\theta stækki þannig að það nái einnig yfir þessa bita — sem P-4 bannar fyrir sérhvert endanlegt sjálfsvísandi kerfi.

  2. Því getur \hat{K}_\theta, að gefnum forliðnum, ekki tilgreint \sigma_t að fullu. \blacksquare

Athugasemd um gildissvið. Setningin er skilyrt. P-4 eitt og sér staðfestir að einhver leif sé til staðar (\Delta_{\text{self}} > 0); hún felur ekki ein og sér í sér að sérhver atburður greinavals velti á leifinni. Kerfisgerðir þar sem valfallið er að fullu ákvarðað af \hat{K}_\theta og \mathcal{F}_h einum saman eru ekki innra með sér sjálf-ógagnsæ um val í þeim skilningi sem T-13a hefur í huga — þær eru sjálf-ógagnsæjar um eigin gerð kóðarans (P-4) en gagnsæjar um eigin val. Burðarfullyrðing T-13a er skilyrðissetningin: þar sem val veltur á leifinni er ekki unnt að tilgreina það innra með kerfinu. Fyrirbærafræðilega skrefið (Afleiðing T-13b: vilji og meðvitund hafa sama vistfang) krefst þess að forliðurinn gildi fyrir þá kerfisgerð sem um ræðir. Hvort líffræðilegir heilar uppfylli forliðinn er reynsluspurning; Kenningin um raðaðan patch (OPT) spáir því að svo sé, en sú spá leiðir ekki af P-4 einni saman.

3.3 Formgerðarleg nauðsyn bilsins

Setning T-13a staðfestir að „úttaksbilið“ — vanhæfnin til að tilgreina valferli greina að fullu innan frá — sé ekki annmarki á formgerðinni heldur formgerðarleg nauðsyn. Sérhver kenning sem segist tilgreina valferlið að fullu hefur annaðhvort:

  1. útrýmt \Delta_{\text{self}}, þannig að kerfið verður að fullkomlega sjálfsgagnsæjum sjálfvirkni — sem P-4 sannar að er ómögulegt fyrir sérhvert endanlegt sjálfsvísandi kerfi yfir K_{\text{threshold}}; eða

  2. lýst mati sjálfslíkansins á greinum og ruglað því saman við valið sjálft — ruglað saman röðun og vali.

Bilið ber burðarhlutverk: það er formlega ástæðan fyrir því að athugandi upplifir val sem höfundað fremur en innra með sér tilgreinanlegt. (P-4 takmarkar innri sjálfslíkanagerð, ekki ytri ákvörðunarhyggju: endanlegt kerfi getur verið ákvörðunarhyggjulegt gagnvart ytri athuganda og samt ógegnsætt sjálfu sér innan frá. Hvort kóðarinn sé ákvörðunarhyggjulegur utan frá er spurning á stigi hvarfefnis; hvort val sé innra með sér tilgreinanlegt er spurning T-13a.)

§4. Fylgisetning T-13b: Eining vistfangs

Fylgisetning T-13b (Eining formgerðarlegs vistfangs). erfiða vandamálið um meðvitund og vandinn um greinaval eiga sér sama formgerðarlega stað: \Delta_{\text{self}}.

Sönnun. Setning P-4 skilgreinir \Delta_{\text{self}} sem formgerðarlega fylgni fyrirbærafræðilegrar meðvitundar: þá ómódelanlegu upplýsingalegu leif sem hefur eiginleika (ósegjanleika, reiknifræðilegt einkalíf, óafmáanleika) sem varpa á eigindlega þætti huglægrar reynslu.

Setning T-13a skilgreinir \Delta_{\text{self}} sem nauðsynlegan stað greinavals: það svæði sem umskiptin frá metnum valkosti yfir í eina ferilrás eru dregin úr.

Þetta eru ekki tvær óháðar niðurstöður sem fyrir tilviljun benda á sömu formgerð. Þetta er sama niðurstaðan séð úr tveimur áttum:

  1. Frá fyrstu persónu sjónarhorni: athugandi upplifir ferðina í gegnum B_{\max}-opið í hverjum ramma sem fyrirbærafræðilega meðvitund (Frumsetning gerendahæfis). athugandi upplifir greinaval sem vilja — þá óafturkræfu tilfinningu að ég hafi valið. Báðar upplifanir eru skýrslur frá sama formgerðarlega staðnum: bilinu milli þess sem kóðarinn er og þess sem hann getur mótað líkan af um sjálfan sig.

  2. Frá formlega sjónarhorninu: Bæði P-4 og T-13a byggja á sömu ójöfnu: K(\hat{K}_\theta) < K(K_\theta). Fyrirbærafræðileg leif og valleifin eru sama upplýsingalega bilið.

Því deila vilji og meðvitund sama formgerðarlega vistfangi. „Neistinn“ og „valið“ eru tveir þættir sama ómódelanlega eiginleika endanlegrar sjálfsvísunar. \blacksquare

4.1 Tengsl við kenningar um svæðisbundna sjálfsmynd

Fylgisetning T-13b er að formgerð hliðstæð — en formlega aðgreind frá — sjálfsmyndarkenningum í hugheimspeki sem staðsetja meðvitund og gerendahæfi í sama taugaundirlagi. Aðgreiningin er þessi: sjálfsmyndarkenningar setja fram reynslubundna fullyrðingu um heilasvæði; T-13b setur fram formgerðarlega fullyrðingu um sérhvert endanlegt sjálfsvísandi kerfi yfir K_{\text{threshold}}. Niðurstaðan er óháð undirlagi og gildir um sérhvern kóðara sem uppfyllir P-4, þar á meðal ímynduð gervikerfi.

4.2 Fylgisetning T-13c: Sjálfið sem leif

Fylgisetning T-13c (Sjálfið sem leif). Sjálfið eins og það er upplifað — samfelld frásögn af sjálfsmynd, valhneigðum og persónulegri sögu — er keyrandi líkan \hat{K}_\theta af K_\theta. Hinn raunverulegi staður reynslu, vals og sjálfsmyndar er \Delta_{\text{self}}: upplýsingalega leifin milli kóðarans og sjálfslíkans hans.

Sönnun. Samkvæmt fylgisetningu T-13b hafa meðvitund og vilji sama formgerðarlega vistfang: \Delta_{\text{self}}. En venjuleg sjálfsvitund — hin skynjaða tilfinning fyrir því að vera samfelld vera með sjónarhorn, sögu og höfundarvald yfir eigin ákvörðunum — verður til fyrir virka líkangerð \hat{K}_\theta af K_\theta. Hún er keyrandi framsetning sjálfslíkansins á kóðaranum — þjöppuð frásögn.

Þetta frásagnarsjálf hefur vel skilgreint upplýsingainnihald K(\hat{K}_\theta): endanlegt, mælanlegt í prinsippinu og kerfisbundið ófullkomið í átt að eigin myndara sínum (samkvæmt P-4). Sjálfslíkanið inniheldur líkan kóðarans af eigin líkamsmörkum, þjappaðri orsakasögu hans R_t, valhneigðum hans, venjum og metahugrænu lagi. En það skortir nákvæmlega þann þátt sem framkvæmir valið, myndar forspárnar og keyrir sjálfslíkanið sjálft.

Hið raunverulega sjálf — ferlið sem upplifir, velur og myndar hið óafturkræfa viðfang — framkvæmist í \Delta_{\text{self}}: þeim hluta K_\theta sem \hat{K}_\theta getur ekki náð til. Þetta er ekki skarð í sjálfsþekkingu sem betri sjálfsskoðun gæti brúað. Þetta er formleg gerð aðstæðnanna: sjálfslíkanið getur ekki innihaldið eigin myndara. \blacksquare

Tímalega töfin. Frekari afleiðing P-4 er sú að \hat{K}_\theta líkanar nauðsynlega K_\theta(t - \delta) — kóðarann eins og hann var — fremur en K_\theta(t) — kóðarann eins og hann er á því augnabliki sem líkangerðin á sér stað. Sérhvert sjálfslíkan sem fylgdi núverandi ástandi kóðarans að fullu þyrfti að innihalda þá úrvinnslu sem þarf til að mynda þá eftirfylgni sjálfa, sem leiddi til sömu óendanlegu bakvísunar og P-4 bannar. Sjálfið er ávallt örlítið á eftir sjálfu sér: það líkanar kóðarann sem það var, en ekki alveg kóðarann sem það er.

Hugleiðsluathugunin. Fullyrðingin „þú getur ekki fundið blinda blettinn með því að horfa“ er ekki myndlíking heldur verkleg afleiðing P-4. Tækið sem horfir er \hat{K}_\theta. Blindi bletturinn er \Delta_{\text{self}} — svæðið sem \hat{K}_\theta getur ekki náð til. Að beina sjálfslíkaninu að eigin blinda bletti framkallar ekki athugun heldur fjarveru þeirrar athugunar sem búist var við — og það er einmitt það sem hugleiðsluhefðir þvert á menningarheima lýsa sem uppgötvuninni að vitundin hafi engan finnanlegan miðpunkt.

§5. Afleiðing sköpunar

5.1 Þensla nær þröskuldi

Sjálfslíkanið \hat{K}_\theta hefur endanlegt bandbreiddarfjármagn. Við eðlilega virkni ráðstafar það hluta þessa fjármagns til að móta eigin valhneigðir kóðarans — byggja upp forspárkort af „því sem ég er líklegur til að gera“. Þetta þrengir virka \Delta_{\text{self}} frá sjónarhorni sjálfslíkansins: sjálfslíkanið getur með nokkurri nálgun spáð fyrir um hvaða grein verður valin.

Virkni nær þröskuldi (R_{\text{req}}^{\text{frame}} \to B_{\max}) reynir á fjármagn sjálfslíkansins í hverjum ramma. Þegar kóðarinn vinnur við afkastamörk sín — mikið hugrænt álag, nýstárlegt umhverfi, flókin skapandi verkefni — verður sjálfslíkanið að beina afkastagetu að því að fylgjast með vaxandi \varepsilon_t, og þá verður minna eftir til sjálfspár. Sú virka, álagsháða leif \Delta_{\text{load}}^{\text{eff}} — sá hluti skorts sjálfslíkansins í hverjum ramma sem stafar af þrýstingi á afkastagetu — vex því að sama skapi:

\Delta_{\text{load}}^{\text{eff}}(n) \;=\; g\!\left(\frac{R_{\text{req}}^{\text{frame}}(n)}{B_{\max}},\; A_{\text{self}}(n)\right) \tag{7}

þar sem A_{\text{self}} er sú ráðstöfun kóðarans á B_{\max} sem fer til sjálfsmótunar fremur en heimsmótunar, og g er eintækt vaxandi í álagshlutfallinu fyrir fast A_{\text{self}}. (Sjá Viðauka P-4 §5 fyrir fulla virknilega sundurgreiningu \Delta_{\text{self}}^{\text{op}} = \Delta_{\text{floor}} + \Delta_{\text{load}}. Formgerðarlegi grunnurinn \Delta_{\text{floor}} hreyfist ekki undir álagi — það er álagsdrifni liðurinn \Delta_{\text{load}} sem víkkar það svæði sem valið er dregið úr.)

5.2 Fyrirbærafræðileg vörpun

Þetta framleiðir greinaval sem er síður fyrirsjáanlegt frá sjónarhorni sjálfslíkansins. Fyrirbærafræðilega fylgnin er nákvæmlega það sem er lýst sem skapandi reynslu:

5.3 Dáleiðslufyllingin

Dáleiðsluástandið (forprentun §3.6.5, III. umferð Viðhaldshringsins) nær sömu útvíkkun eftir viðbótarleið. Í stað þess að yfirgnæfa sjálfslíkanið að ofan (hátt R_{\text{req}}) slakar dáleiðsluástandið á sjálfslíkaninu að neðan — með því að draga úr nákvæmni sjálfspár á meðan kóðarinn álagsprófar sig gagnvart íhugandi greinum. Þetta er hið formlega kerfi sem liggur að baki vel skjalfestri tengingu milli syfju og skapandi hugmyndamyndunar.

5.4 Reynsluspá

Spá T-13.E1. Taugamyndrannsóknir á skapandi hugmyndavinnu ættu að sýna minnkaða virkni á svæðum sjálfgefna hamsnetsins sem tengjast sjálfsvísandi úrvinnslu (miðlægur framennisbörkur, aftari gyrðisbörkur), samhliða aukinni virkni á svæðum sem vinna úr nýju umhverfisáreiti — sem endurspeglar endurráðstöfun bandbreiddar frá sjálfslíkönun yfir í ytri rakningu.

Þessi spá samræmist fyrirliggjandi fMRI-fræðiritum um skapandi vitsmunastarfsemi (Beaty et al. 2016; Limb & Braun 2008), en setur fram formlega upplýsingafræðilega skýringu á því hvers vegna minnkað sjálfseftirlit fylgir skapandi afurð: það er ekki einungis fylgni heldur formgerðarnauðsyn samkvæmt P-4.

5.5 Setning T-13.P2: Marktilvik sjálfsupplýsinga

Greiningin á T-13c og afleiðing sköpunar skilgreina saman tvö formlega aðskilin marktilvik fyrir upplýsingainnihald sjálfsins.

Setning T-13.P2 (Marktilvik). Fyrir kóðara K_\theta með sjálfslíkaninu \hat{K}_\theta og Fyrirbæraástandsþininum P_\theta(t) er upplýsingainnihald hins upplifaða sjálfs bundið milli tveggja marka:

(a) Neðri mörk — hrein nærvera. \hat{K}_\theta frestar virkri sjálfslíkönun. Sjálfslíkanið er ekki að mynda frásögnina en allur kóðarinn er samt hlaðinn og til staðar. Flækjustig virka sjálfsvísandi ferlisins — mælt sem skilyrt flækjustig gefið standandi líkanið — nálgast núll:

C_{\text{self-active}}(n) \;:=\; K\!\left(\hat{K}_\theta^{\text{active}}(n)\,\bigm|\,P_\theta(n)\right) \;\to\; 0 \tag{T-13.P2a}

á meðan K(P_\theta(n)) helst hlaðið. Þetta er formlegt inntak setningarinnar „standandi líkanið er til staðar án þess að virk sjálfsfrásögn sé keyrð ofan á því“ — það er framkvæmanlegt og nálgast það aðfellu í djúpum hugleiðsluástandum. (Við notum skilyrt flækjustig fremur en frádrátt Kolmogorovs vegna þess að K(\cdot) - K(\cdot) er almennt ekki vel skilgreint án forsendna um óhæði; K(\hat{K}_\theta^{\text{active}} \mid P_\theta) er það magn sem hefur rekstrarlega merkingu.)

(b) Efri mörk — fullt sjálfsgagnsæi. \hat{K}_\theta = K_\theta — sjálfslíkanið inniheldur kóðarann að fullu. Samkvæmt P-4 er þetta ómögulegt fyrir sérhvert endanlegt kerfi. Upplýsingainnihald þess er formlega sjálfsvísandi:

K(\hat{K}_\theta) = K(K_\theta) = K(\hat{K}_\theta) = \cdots \tag{T-13.P2b}

Þetta er hvorki núll upplýsingar né óendanlegar upplýsingar. Þetta er fastapunktur sjálfslíkönunaraðgerðarinnar sem kóðarinn getur ekki náð sem innra sjálfslíkani. Ytri athugendur geta numið þætti kóðarans sem eru óaðgengilegir eigin sjálfslíkani hans — ramminn byggir einmitt á þessari ósamhverfu annars staðar (sjá t.d. Forspárforskot mannlegra yfirlesara fram yfir sjálfslíkan gervigreindar, §8.14 / opt-ai.md) — en engin ytri forskrift verður að eigin sjálfsinnihaldandi sjálfslíkani kóðarans. P-4 bannar hið síðara; það bannar ekki hið fyrra.

(c) Venjulega bilið. Vökusjálfið hreyfist milli þessara marka innan bils sem ræðst af styrkleika sjálfslíkönunarlagsins. Vökuástand með miklu álagi keyrir \hat{K}_\theta hart og framleiðir þykkt, sjálfsöruggt, hávært frásagnarsjálf sem er þversagnarkennt fjær nákvæmri sjálfsþekkingu — sjálfslíkanið myndast hraðar en það getur kvarðast. Ástand með lágu R_{\text{req}} (hugleiðsla, sjálfsörvun, svefnrofsþröskuldurinn) leyfir sjálfslíkaninu að hægja á sér, þynnast og nálgast neðri mörkin.

5.6 Frestun vs. snyrting: Aðskilið verkunarferli

Mikilvægur verkunarfræðilegur greinarmunur er á tveimur leiðum sem C_{\text{state}} getur minnkað á:

Hugleiðsla notar frestun, ekki snyrtingu. Þess vegna eru áhrif hugleiðslu samstundis afturkræf (hin venjulega sjálfsfrásögn tekur aftur við þegar snúið er aftur til eðlilegrar virkni), á meðan action-drift er það ekki (hið snyrta atferlisreif getur ekki myndast sjálfkrafa á ný). Þessi tvö verkunarferli eru formlega aðskilin þrátt fyrir að bæði dragi úr virkri flækju kóðarans.

§6. Athafnarek sem MDL-klipping á hegðunarskrá

6.1 Verkunarhátturinn

MDL-snyrtingarskref Viðhaldshringsins (T9-3/T9-4) hámarkar flækjufjárhagsáætlun kóðarans með því að eyða framsetningargetu sem er ekki réttlætt af núverandi inntaksstraumi. Þetta kerfi var greint í samhengi við skynrænt Frásagnarrek (Siðfræði Varðstöðu eftirlifenda, kafli V.3a): kóðari sem hefur aðlagast stöðugt síuðum inntaksstraumi snyrtir með réttu burt getu sína til að nema sannindi sem hafa verið útilokuð.

Sama kerfi á við um atferlislegt safn möguleika kóðarans. Skilgreinum:

Skilgreining T-13.D3 (Atferlislegt safn möguleika). Atferlislegt safn möguleika \mathcal{B}_\theta(t) er mengi þeirra greinavala sem P_\theta(t) getur metið og framkvæmt — þ.e. gildissvið valfallsins \sigma_t sem kóðarinn getur í reynd raungert.

6.2 Setningin um athafnarek

Setning T-13.P1 (Athafnarek). Ef inntaksstraumur kóðarans skortir með kerfisbundnum hætti samhengi sem krefst tiltekinna greinavala, mun MDL-snyrtingarferlið smám saman grafa undan getu kóðarans til að meta og framkvæma þær greinar. Hegðunarskráin \mathcal{B}_\theta(t) dregst einhæft saman undir viðvarandi takmörkun inntaks:

\mathcal{B}_\theta(t + \tau) \subset \mathcal{B}_\theta(t) \quad \text{for } \tau \gg \tau_{\text{prune}} \tag{T-13.P1}

þar sem \tau_{\text{prune}} er einkennandi tímakvarði MDL-snyrtingarferlisins.

Röksemd. MDL-snyrtingarviðmiðið metur hvern þátt framsetningarkerfisins eftir framlagi hans til þjöppunarskilvirkni. Greinategund b \in \mathcal{B}_\theta sem hefur ekki verið valin (eða þar sem valsamhengi hennar hefur ekki birst í inntaksstraumnum) í nægilega langan tíma leggur núll bita til áframhaldandi þjöppunar kóðarans á \varepsilon_t. Samkvæmt ströngu MDL-bókhaldi felur það í sér flækjukostnað K(b \mid P_\theta) > 0 að viðhalda getu til að meta og velja b, án nokkurs mótvægis í formi þjöppunarávinnings. Snyrtingarferlið eyðir því matsvélbúnaði b og dregur þannig saman \mathcal{B}_\theta.

Þessi samdráttur er óafturkræfur á stigi kóðarans: þegar matsvélbúnaðurinn fyrir b hefur verið snyrtur burt getur kóðarinn ekki sjálfkrafa endurmyndað hann án þess að mæta inntakssamhengi sem réttlætir á ný fjárfestingu í þessari getu. Snyrtingin er ekki gleymska (sem hugsanlega mætti snúa við með vísbendingum); hún er eyðing þeirrar reiknilegu innviða sem þarf til að meta flokk greina. \blacksquare

6.3 Fyrirbærafræðileg tilvik

Athafnarek samsvarar nokkrum vel skjalfestum hegðunarfyrirbærum:

6.4 Tengsl við T-12

Athafnarek er sértilvik þess brests í tryggð við undirlagið sem T-12 mun setja fram með formlegum hætti: eigið atferlisrepertoar kóðarans er sjálft þáttur í framsetningarundirlagi hans, og samfelld takmörkun inntaks grefur undan þessu undirlagi engu síður en hún grefur undan skynjunarlíkaninu. Formlega tengingin er:

Hvort tveggja er afleiðing þess að Stöðugleikasían velur fyrir þjappanleika fremur en tryggð. Vel þjappaður kóðari getur bæði verið örugglega rangur og atferlislega fátækur.

§7. Umfang og takmarkanir

7.1 Með fyrirvara um P-4 og Frumsetningu gerendahæfis

Öll röksemdafærslan veltur á Setningu P-4 (\Delta_{\text{self}} > 0 fyrir endanleg sjálfsvísandi kerfi yfir K_{\text{threshold}}) og Frumsetningu gerendahæfis (að ferð um ljósop sé upplifuð). Ef P-4 er veikt eða Frumsetning gerendahæfis er yfirgefin heldur formgerðarsamsömun viljans við meðvitund (Afleiðing T-13b) ekki.

7.2 Leysir ekki upp erfiða vandamálið

Afleiðing T-13b staðsetur vilja og meðvitund á sama formgerðarlega stað, en skýrir ekki hvers vegna annað hvort upplifist sem eitthvað. Erfiða vandamálið (preprint §8.1) stendur áfram sem frumforsenda. Það sem T-13b sýnir er eining þessara tveggja ráðgátna — einföldun, ekki lausn.

7.3 Jöfnur óbreyttar

Setningarnar T-13 og T-13a breyta engu í stærðfræði T6-1 til T6-3. Takmörkuð lágmörkun frjálsrar orku (T6-3) er formlega eins undir bæði FEP-arfleiddri túlkun og greinavals-túlkuninni. Það sem breytist er verufræðileg staða a_t: undir FEP-lestrinum er það hreyfiskipun sem send er út á við; undir greinavalslestrinum er það leiðsögustuðull innan Forspárgreinamengis.

7.4 Skýringin á sköpun er formgerðarbundin, ekki enn reynslustudd

Afleiðingin um sköpun (§5) er formgerðaspá leidd af bandbreiddarskiptingarskilyrðinu milli sjálfslíkönunar og rakningar umhverfisins. Þótt hún samræmist fyrirliggjandi fræðiritum í taugamyndgreiningu hefur hún ekki verið prófuð beint gagnvart þeim sértæku upplýsingafræðilegu stærðum sem hér eru spáðar. Spá T-13.E1 er lögð fram sem hrekjanlegt reynslupróf.

7.5 Tímakvarði athafnareks

Fullyrðing T-13.P1 staðfestir að athafnarek eigi sér stað, en setur ekki mörk á tímakvarðann \tau_{\text{prune}}. Fyrir líffræðilega kóðara ræðst þessi tímakvarði líklega af dægursveiflubundnum Viðhaldshring (preprint §3.6) — á kvarða daga til vikna fyrir einstaka færniþætti, mánaða til ára fyrir djúp hegðunarmynstur. Fyrir siðmenningarlega kóðara er tímakvarðinn kynslóðabundinn. Að setja mörk á \tau_{\text{prune}} út frá reynslugögnum er verkefni framtíðarinnar.

§8. Samantekt loka

Afhendingaratriði T-13

  1. Setning T-13 (Heilleiki greinavals). Upplýsingalega viðhaldsrásin lokast undir merkingarfræði greinavals án þess að krefjast sjálfstæðrar útávið streymandi aðgerðarrásar. Markov Blanket er afhendingaryfirborð valinnar greinar. → Lokar viðmiði (a) í vegvísinum.

  2. Setning T-13a (Skilyrt ómöguleiki innri tilgreiningar á vali). Þar sem greinaval veltur á óóverulega hátt á valstengdu leifinni \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, myndi full tilgreining á \sigma_t innan \hat{K}_\theta krefjast þess að bitar í K_\theta \setminus \hat{K}_\theta væru teknir með, sem stangast á við P-4. Þar sem forsendan gildir er \Delta_{\text{self}} nauðsynlegur staður innra greinavals sem ekki er hægt að tilgreina. → Lokar viðmiði (b) í vegvísinum með því skilyrði að leifin taki þátt á byggingarstigi.

  3. Fylgisetning T-13b (Eining vistfangs). Vilji og meðvitund deila sama formgerðarlega vistfangi (\Delta_{\text{self}}). „Neistinn“ og „valið“ eru tveir þættir sama ómódelanlega eiginleika endanlegrar sjálfsvísunar.

  4. Fylgisetning T-13c (Sjálfið sem leif). Sjálfið eins og það er upplifað er þjöppuð frásögn \hat{K}_\theta; hið raunverulega sjálf — staður reynslu, vals og sjálfsmyndar — er \Delta_{\text{self}}. Sjálfslíkanið fylgir kóðaranum nauðsynlega með tímalegri töf og getur ekki innihaldið eigin myndanda.

  5. §5: Afleiðing fyrir sköpun. Rekstur nálægt þröskuldi víkkar virkt \Delta_{\text{self}}, sem framkallar greinaval sem er síður sjálfforspáanlegt og er upplifað sem sköpun. → Lokar viðmiði (c) í vegvísinum.

  6. Fullyrðing T-13.P2 (Marktilvik sjálfsupplýsinga). Upplýsingainnihald hins upplifaða sjálfs er bundið milli neðri marka (hrein nærvera: standandi líkan að frádreginni virkri sjálfsfrásögn, framkvæmanlegt í hugleiðslu) og efri marka (full sjálfsgagnsæi: ómögulegur fastapunktur, P-4). Hið venjulega vakandi sjálf hreyfist innan þessa bils.

  7. §5.6: Frestun vs. grisjun. Hugleiðsla dregur úr C_{\text{state}} með því að fresta sjálfslíkanalaginu (afturkræft), ekki með MDL-grisjun (óafturkræf). Þetta eru formlega aðgreind ferli.

  8. Fullyrðing T-13.P1 (Aðgerðarek). MDL-grisjunarskrefið eyðir smám saman atferlisskrá undir samfelldri takmörkun inntaks og formgerir þar með langvinna bilunarhaminn sem er viðbót við skynrænt Frásagnarrek. → Lokar viðmiði (d) í vegvísinum.

Atriði sem enn eru opin

Þessum viðauka er viðhaldið samhliða theoretical_roadmap.pdf. Tilvísanir: Setning P-4 (Viðauki P-4), T6-1 til T6-3 (forprent §3.8), T9-3/T9-4 (Viðhaldshringur, forprent §3.6), §8.6 (Sýndarkóðari), Varðstaða eftirlifenda siðfræði, kafli V.3a (Frásagnarrek).