Regole Pesate Introdotte nella Semantica dei Modelli Stabili

Un nuovo articolo introduce regole pesate nell'ambito della semantica dei modelli stabili, basandosi sui modelli log-lineari della Logica di Markov. Questo approccio affronta la natura deterministica della semantica dei modelli stabili, consentendo la risoluzione di inconsistenze nei programmi answer set, la classificazione dei modelli stabili, l'assegnazione di probabilità e l'inferenza statistica per il calcolo di modelli stabili pesati. Il lavoro include confronti formali con programmi answer set, Logica di Markov, ProbLog e P-log. L'articolo è disponibile su arXiv.