An extended semantics for logic programs with annotated disjunctions and its efficient implementation

Fabrizio Riguzzi, Terrance Swift

Research output: Contribution to journalConference article

Abstract

Logic Programming with Annotated Disjunctions (LPADs) is a formalism for modeling probabilistic information that has recently received increased attention. The LPAD semantics, while being simple and clear, suffers from the requirement of having function free-programs, which is a strong limitation. In this paper we present an extension of the semantics that removes this restriction and allows us to write programs modeling infinite domains, such as Hidden Markov Models. We show that the semantics is well-defined for a large class of programs. Moreover, we present the algorithm "Probabilistic Inference with Tabling and Answer subsumption" (PITA) for computing the probability of queries to programs according to the extended semantics. Tabling and answer subsumption not only ensure the correctness of the algorithm with respect to the semantics but also make it very efficient on programs without function symbols. PITA has been implemented in XSB and tested on six domains: two with function symbols and four without. The execution times are compared with those of ProbLog, cplint and CVE. PITA was almost always able to solve larger problems in a shorter time on both type of domains.

Original languageEnglish (US)
JournalCEUR Workshop Proceedings
Volume598
StatePublished - Dec 1 2010
Event25th Italian Conference on Computational Logic, CILC 2010 - Rende, Italy
Duration: Jul 7 2010Jul 9 2010

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'An extended semantics for logic programs with annotated disjunctions and its efficient implementation'. Together they form a unique fingerprint.

  • Cite this