Odyssey: Weryfikowalne modele fundamentalne zachowujące lokalną prawdę

Przedstawiono kategoryczną architekturę ODYSSEY do budowy weryfikowalnych modeli fundamentalnych z lokalnym zachowaniem prawdy, opartą na koncepcji snopów wiedzy i składników argumentacyjnych. System umożliwia zmodularyzowaną konstrukcję poprzez różne typy 'foundries' (kuźnie) specjalizujące się w różnych kontekstach.