Autore: Luigi UsaiAffiliazione: Ricercatore Indipendente, Quartucciu (CA), ItaliaORCID: https://orcid.org/0009-0003-3001-717XData di stesura: 5 Giugno 2026, ore 23:27 Abstract: Descrizione dell'Opera Questo contributo teorico e metodologico formalizza l’impianto del Paradigma Sardo-Corso-Atlantideo (PSCA) applicando i principi dell’Ingegneria della Conoscenza e del Soddisfacimento dei Vincoli (Constraint Satisfaction Problem - CSP) alla geografia storica del IV Libro delle Storie di Erodoto. Il modello valuta quantitativamente l'ipotesi di rilocazione della Libia erodotea nella Sardegna meridionale (modello d'ipotesi MSCMSC ) rispetto alla classica identificazione nordafricana ( MNAMNA ) e a modelli di controllo spaziale casuale (null-models, come Tokyo/Giappone MJPMJP , Uruguay MUYMUY o Cina Interna MCNMCN ). Rispetto alle formulazioni preliminari, questo lavoro introduce un'architettura epistemologica avanzata a 15 vincoli multidimensionali (climatologici, geomorfologici, mitologici, archeologici, bio-archeochimici, paleogenetici e toponomastici), calcolando l’errore sistemico globale E(M)E(M) e dimostrando che solo nella Sardegna meridionale i residui convergono asintoticamente allo zero ( E(MSC)≈0.06E(MSC)≈0.06 ). Risoluzione delle Critiche Metodologiche e Rigore Epistemologico: Per superare i limiti tipici della modellazione qualitativa delle fonti classiche, il framework integra nativamente nel proprio grafo di conoscenza (JSON-LD) la gestione delle principali obiezioni epistemologiche: Mitigazione del Bias di Selezione (Cherry-Picking): Risolto tramite l'adozione di un Protocollo di Esaustività (Exhaustive Corpus Parsing Protocol), che impone l'ingestione del 100% delle asserzioni spaziali ed etnografiche del testo erodoteo, incluse le aporie e le apparenti contraddizioni, pesate come penalità matematiche nel calcolo dell'errore. Risoluzione dell'Errore di Categoria (Mappe vs. Territori): Il modello classico viene rilassato in un Fuzzy Constraint Satisfaction Problem (FCSP), dove la naturale vaghezza metrica e qualitativa delle misurazioni antiche viene tradotta in funzioni di appartenenza fuzzy gaussiane e trapezoidali μ(M)∈[0,1]μ(M)∈[0,1] . Eliminazione della Soggettività nell'Assegnazione dei Residui: Il framework definisce l'architettura per un sistema guidato da risolutori automatici (Automated Residual Evaluators), progettati per calcolare i residui di errore interfacciandosi programmaticamente (via API) con database scientifici di terze parti (es. Pleiades API per la toponomastica classica, EMODnet Bathymetry per i modelli GIS eustatici, il database OXALID dell'Università di Oxford per le analisi isotopiche del piombo metallurgico, e NCBI BioProject per il clustering archeogenetico outgroup f3f3 ). Validazione Statistica di Monte Carlo: Il framework include la formalizzazione di un Test di Permutazione Spaziale di Monte Carlo su 100.000 iterazioni casuali sulla terraferma globale. Il test convalida l'unicità del modello sardo con un livello di significatività di p<0.0001p<0.0001 (valore empirico p=0.00001p=0.00001 ), escludendo matematicamente che la convergenza dei dati fisici e storico-culturali riscontrata nella Sardegna meridionale possa essere attribuita a fenomeni di apofenia o casualità spaziale. Dati di Riferimento dell'Autore: Autore: Luigi Usai (Ricercatore Indipendente) Luogo: Quartucciu (CA), Italia ORCID: https://orcid.org/0009-0003-3001-717X Data di stesura: 5 Giugno 2026, ore 23:27 DOI del deposito: 10.5281/zenodo.20563411