Rilevamento di Eventi Basato sulla Logica da Dati Medici con Timestamp

Un nuovo quadro basato sulla logica identifica eventi complessi e temporalmente estesi a partire da informazioni timestampate e conoscenze contestuali. Applicando regole logiche, definisce i criteri di inizio e fine per eventi temporali di base, che vengono poi integrati in meta-eventi. In campo medico, episodi di malattia e trattamenti vengono derivati da dati clinici come diagnosi e registrazioni di farmaci, successivamente fusi in eventi patologici più completi. Un meccanismo di correzione identifica gli insiemi di eventi più coerenti quando vengono rilevati quelli errati. Sebbene il ragionamento completo sia impraticabile, vincoli specifici consentono una complessità dei dati in tempo polinomiale. È stato sviluppato un sistema prototipo per implementare componenti essenziali utilizzando la programmazione con insiemi di risposta.