Logica descrittiva TAPO per il comportamento informativo: OBox raffinati e semantica categoriale

È stata sviluppata una nuova e avanzata versione della logica descrittiva TAPO per studiare come le informazioni vengono elaborate. Questa struttura innovativa presenta tre livelli principali: il livello descrittivo statico chiamato TBox/ABox, il livello procedurale denominato PBox e il livello sensibile agli oracoli chiamato OBox. Inoltre, esiste un metalevel di giudizio di guardia che supervisiona come i processi si ramificano e iterano. Il sistema di inferenza centrale si concentra sul ragionamento all'interno di TBox/ABox, supervisiona le transizioni procedurali nel PBox e verifica le importazioni esterne nell'OBox. La semantica sottostante è spiegata utilizzando un raffinamento sheaf-teoretico. Gli esempi includono semplici funzionalità di ricerca e come le recensioni influenzano l'ordinazione in un ristorante di curry.