Programmazione Logica Probabilistica: Condizioni di Unicità dell'Ordine Causale

Un nuovo articolo su arXiv (2608.07230) affronta la sfida di determinare l'ordine causale nella programmazione logica probabilistica, un formalismo nell'ambito dell'intelligenza artificiale relazionale statistica. Gli autori derivano condizioni sotto le quali l'informazione probabilistica in un programma determina in modo univoco il suo ordine causale, sfruttando la relazione con le reti bayesiane. Inoltre, incorporano vincoli dalla struttura relazionale tramite simmetrie causali prescritte. Il metodo verifica quando il ragionamento interventistico è univoco.