MT-PDCL: Un quadro teorico-misura per la programmazione logica probabilistica

Una recente pubblicazione su arXiv (2608.13018) presenta la logica a clausole definite probabilistiche basata sulla teoria della misura (MT-PDCL), un quadro fondamentale che amplia l'ambito della programmazione logica probabilistica a domini continui. I quadri tradizionali dipendono dalla conversione di programmi logici in forme proposizionali discrete, il che limita l'inferenza precisa a distribuzioni di probabilità finite e discrete. MT-PDCL supera questa limitazione definendo chiaramente variabili stocastiche all'interno di domini di indici limitati e incorporando σ-algebre di Borel standard nello spazio di interpretazione, consentendo alle variabili logiche di funzionare direttamente all'interno di spazi misurabili continui. Basandosi sulla semantica delle distribuzioni continue, MT-PDCL rappresenta le regole probabilistiche come eventi causali indipendenti. Invece di utilizzare circuiti booleani finiti per l'aggregazione, stabilisce l'implicazione dichiarativa attraverso l'integrazione di Lebesgue precisa. Questo articolo è una nuova sottomissione e può essere accessibile tramite l'URL fornito.