Crossbar Memristivo Implementa Logica Ternaria per il Ragionamento

Uno studio recente pubblicato su arXiv propone l'implementazione di crossbar memristivi per applicazioni di logica ternaria anziché per l'archiviazione di pesi numerici. Ogni giunzione rappresenta un'asserzione logica specifica del dominio (vero/falso/indefinito) attraverso tre stati di resistenza. Gli autori creano una corrispondenza che preserva la struttura tra l'algebra del dominio e il design del crossbar: i domini diventano array isolati, la specializzazione è rappresentata da connessioni dirette, la tipizzazione delle relazioni governa i gate di ereditarietà, e le connessioni tra domini sono definite come registri espliciti. La disposizione fisica riflette l'algebra; le modifiche nel cablaggio alterano la semantica del ragionamento. Descrivono un chip per la classificazione delle malattie respiratorie ICD-11 con 1.247 entità e circa 136.000 giunzioni 1T1R, che facilita la delimitazione del dominio, la logica a tre valori, le cascate transitive, l'ereditarietà tipizzata e le query cross-asse. Simulazioni comportamentali (sigma_log=0,15, SNR=20dB) dimostrano un funzionamento impeccabile.