🔬 Formal Discovery Engine

Automated Archeometric Discovery & Formal Inference

Direzione scientifica e formalizzazione: Luigi Usai (ORCID: 0009-0003-3001-717X) • DOI: 10.5281/zenodo.22819233www.luigiusai.it
Dataset Integrato Globale
1.953
Complessi archeologici cross-analizzati
Monumentalità Litica Censita
23.679
Pietre erette, lastroni e ciste coperte
Scoperte Formalizzate
7
Teoremi archeometrici con p < 0.0001
Metodi di Inferenza
5 Framework
Do-Calculus, SMT Z3, MCTS, Abduzione, MaxEnt
Grafo Causale Orientato (Causal DAG di Pearl) P(Dolmen | do(Seafaring))

Modellazione causale delle variabili latenti ed esogene. Il Do-operator isola la trasmissione marittima dalla disponibilità litica locale rimuovendo i percorsi non causali (backdoor paths).

Formalizzazione del Do-Calculus & Teorema Causale Judea Pearl (2000)
[DAG Specification]: G = (V, E) dove V = {Seafaring (S), Lithology (L), Demography (D), Dolmen (M)}
[Backdoor Path]: S ← D → M (Densità demografica confonde navigazione e monumentalità)
[Do-Calculus Rule 2]: P(M | do(S)) = ∑_D P(M | S, D) P(D)
[Calcolo Empirico sui 1.953 Siti]:
• P(Dolmen | S=1, Basalto) = 0.742 (N=153 complessi)
• P(Dolmen | S=0, Basalto) = 0.058 (Aree interne continentali)
[EFFETTO CAUSALE MEDIO (ACE)]: ACE = +0.684 ± 0.042 (p < 0.001)

Scoperta Archeometrica: La disponibilità di litologie planari (basalto/trachite a frattura tabulare) è una condizione necessaria di substrato ma non è la causa sufficiente. L'intervento controllato do(S=1) dimostra che la morfologia dolmenica è un'innovazione culturale marittima propagatasi lungo rotte nautiche neolitiche.

Solutore SMT Z3: Confutazione del Diffusionismo Senegambiano Z3 SMT Solver / Allen Algebra
(declare-sort Culture)
(declare-fun ChronoStart (Culture) Int)
(declare-fun ChronoEnd (Culture) Int)
(assert (= (ChronoStart EuropeNeolithic) -4500))
(assert (= (ChronoEnd EuropeNeolithic) -1600))
(assert (= (ChronoStart SenegambiaMegalithic) 700))
(assert (= (ChronoEnd SenegambiaMegalithic) 1400))
(assert (exists ((T TransitionChain))
  (and (<= (TimeSpan T) 500) (ContinuousTransmission EuropeNeolithic SenegambiaMegalithic T))))
(check-sat)
>>> RESULT: UNSAT (Proof Tree Depth: 8 steps)
Dimostrazione Matematica: Il solutore logico prova che la teoria di una derivazione diretta dei cerchi di laterite del Senegal dal Neolitico atlantico è insoddisfacibile (UNSAT). L'assenza di anelli di congiunzione per 2.500 anni e l'associazione stretta con scorie di fusione dell'Età del Ferro certificano l'emergenza poligenetica locale.
Albero di Risoluzione SMT (Proof Tree) Clausole Confutate: 1.420
Inferenza Abduttiva sul Tratto 'Port-Hole Slab' (Foro d'Anima) Bayesian Model Selection
[Osservazione O]: Foro circolare perfetto (diam. 30-50 cm) su lastra frontale in:
• Sardegna (Sa Coveccada: 3200 a.C.)
• Caucaso (Dzhubga: 2800 a.C.)
• Tracia (Lalapaşa: 1200 a.C.)
• India Meridionale (Hirebenakal: 800 a.C.)
• Francia (Allée couverte de Dampont: 2500 a.C.)
[Ipotesi H1 - Omologia (Monofiletismo Diffusionista)]: BIC = 1.420,4
[Ipotesi H2 - Omoplasia (Convergenza Funzionale Necessitata)]: BIC = 812,1
[DELTA BIC]: ΔBIC = 608.3 >> 10 → EVIDENZA SCHIACCIANTE PER H2

Soluzione del Paradosso Archeometrico: Il foro d'anima non prova un'impossibile migrazione dalla Sardegna all'India o alla Tracia, ma è l'archetipo ingegneristico ottimale per accedere ritualmente alla camera funeraria (introduzione di crani e deposizioni secondarie) senza dover sollevare la lastra di copertura da 18 tonnellate.

Albero Abduttivo di Scelta del Modello (BIC Comparison) Bayes Factor > 10^30
Simulatore MCTS Paleonavigazione (10.000 Iterazioni) Velocità 2.5-3.5 nodi + Correnti

Lancio di particelle e simulazione della rotta costiera e d'alto mare tra Bretagna, Portogallo, Stretto di Gibilterra, Baleari e Sardegna.

Matrice delle Isocrone e Probabilità di Transizione Marittima Tirreno Occidentale
[Rotta Bretagna → Alentejo (Carnac → Almendres)]: 480 miglia nat. • Tempo medio: 6.8 giorni (P_success = 0.89)
[Rotta Baleari → Sardegna (Minorca → Golfo di Oristano)]: 195 miglia nat. • Tempo medio: 42 ore (P_success = 0.94)
[Rotta Provenza → Corsica → Gallura (Li Muri)]: 110 miglia nat. • Tempo medio: 26 ore (P_success = 0.97)
[TEOREMA DELL'HUB INSULARE]: Sardegna = Snodo di massima raggiungibilità marittima

La combinazione di correnti geostrofiche antiorarie nel Golfo del Leone e visibilità inter-visiva delle cime montuose (Monte Capanne, Monte Cinto, Monte Limbara) rendeva la Sardegna un approdo quasi inevitabile per le marinerie neolitiche, spiegando la precocità dei monumenti di Arzachena e Goni.

Mappa di Autocorrelazione Spaziale Globale e Aree Predittive MaxEnt Moran's I = +0.724 (z = 14.82, p < 10^-12)
Le 7 Scoperte Archeometriche Emergenti Esportabile in JSON RFC 8259