A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics

This System Description paper describes the software framework PrASP (“Probabilistic Answer Set Programming”). PrASP is both an uncertainty reasoning and machine learning software and a probabilistic logic programming language based on Answer Set Programming (ASP). Besides serving as a research software platform for non-monotonic (inductive) probabilistic logic programming, our framework mainly targets applications in the area of uncertainty stream reasoning. PrASP programs can consist of ASP (AnsProlog) as well as First-Order Logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities or probability intervals. A number of alternative inference algorithms allow to attune the system to different task characteristics (e.g., whether or not independence assumptions can be made).

[1]  Alessandra Mileo,et al.  Probabilistic Inductive Logic Programming Based on Answer Set Programming , 2014, ArXiv.

[2]  V. S. Subrahmanian,et al.  Stable Semantics for Probabilistic Deductive Databases , 1994, Inf. Comput..

[3]  Joohyung Lee,et al.  Markov Logic Style Weighted Rules under the Stable Model Semantics , 2015, ICLP.

[4]  Maurice Bruynooghe,et al.  Logic programs with annotated disjunctions , 2004, NMR.

[5]  Lise Getoor,et al.  Learning Probabilistic Relational Models , 1999, IJCAI.

[6]  Stephen Muggleton,et al.  Learning Stochastic Logic Programs , 2000, Electron. Trans. Artif. Intell..

[7]  Fabio Gagliardi Cozman,et al.  Towards classifying propositional probabilistic logics , 2014, J. Appl. Log..

[8]  Joohyung Lee,et al.  System f2lp - Computing Answer Sets of First-Order Formulas , 2009, LPNMR.

[9]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[10]  James Cussens,et al.  Parameter Estimation in Stochastic Logic Programs , 2001, Machine Learning.

[11]  Luc De Raedt,et al.  Adaptive Bayesian Logic Programs , 2001, ILP.

[12]  Enrico Pontelli,et al.  Hybrid Probabilistic Logic Programs with Non-monotonic Negation , 2005, ICLP.

[13]  Wilhelm Rödder,et al.  Coherent Knowledge Processing at Maximum Entropy by SPIRIT , 1996, UAI.

[14]  Taisuke Sato,et al.  A Statistical Learning Method for Logic Programs with Distribution Semantics , 1995, ICLP.

[15]  Alessandra Mileo,et al.  Web Stream Reasoning Using Probabilistic Answer Set Programming , 2014, RR.

[16]  Luc De Raedt,et al.  ProbLog: A Probabilistic Prolog and its Application in Link Discovery , 2007, IJCAI.

[17]  J. Nelson Rushton,et al.  Probabilistic reasoning with answer sets , 2004, Theory and Practice of Logic Programming.

[18]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

[19]  T. Swift,et al.  Probabilistic Logic Programming Under the Distribution Semantics , 2014 .

[20]  Taisuke Sato,et al.  PRISM: A Language for Symbolic-Statistical Modeling , 1997, IJCAI.

[21]  Alessandra Mileo,et al.  A Hybrid Approach to Inference in Probabilistic Non-Monotonic Logic Programming , 2015, PLP@ICLP.

[22]  Katsumi Inoue,et al.  Probabilistic Rule Learning in Nonmonotonic Domains , 2011, CLIMA.

[23]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[24]  Luc De Raedt,et al.  Bayesian Logic Programs , 2001, ILP Work-in-progress reports.