A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from http://dtai.cs.kuleuven.be/problog below:

Introduction. — ProbLog: Probabilistic Programming

To aid in the interpretation of gene lists, PheNetic was built on top of ProbLog. More ...

Extract from video which blocks are magnetic. More ...

ProbLog is used to reason over heterogeneous data sources like the Helsinki Biomine database. More ...

ProbLog is used to reason over large probabilistic graphs. More ...

Introduction.¶

Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities.

ProbLog is a tool that allows you to intuitively build programs that do not only encode complex interactions between a large sets of heterogenous components but also the inherent uncertainties that are present in real-life situations.

The engine tackles several tasks such as computing the marginals given evidence and learning from (partial) interpretations. ProbLog is a suite of efficient algorithms for various inference tasks. It is based on a conversion of the program and the queries and evidence to a weighted Boolean formula. This allows us to reduce the inference tasks to well-studied tasks such as weighted model counting, which can be solved using state-of-the-art methods known from the graphical model and knowledge compilation literature.

ProbLog is a Python package and can be embedded in Python or Java. Its knowledge base can be represented as Prolog/Datalog facts, CSV-files, SQLite database tables, through functions implemented in the host environment or combinations hereof.

The Language. Probabilistic Logic Programming¶

ProbLog makes it easy to express complex, probabilistic models.

0.3::stress(X) :- person(X).
0.2::influences(X,Y) :- person(X), person(Y).

smokes(X) :- stress(X).
smokes(X) :- friend(X,Y), influences(Y,X), smokes(Y).

0.4::asthma(X) :- smokes(X).

person(angelika).
person(joris).
person(jonas).
person(dimitar).

friend(joris,jonas).
friend(joris,angelika).
friend(joris,dimitar).
friend(angelika,jonas).

Get to know the language using our interactive tutorial, check out our publications or try the above example directly in our online editor.

For an introduction, please consult the following papers

The Engine. Powerful inference.¶

ProbLog2 is our second generation engine to reason with the ProbLog language. The current engine builds on logic programming, knowledge compilation, the distribution semantics and probabilistic, graphical models. It allows you to:

Need help? Fire any question or report a bug to our team.¶

GitHub Issues

The ProbLog source code is available on https://github.com/ML-KULeuven/problog. You can check the issues there to see if your question has been asked before, or open a new issue for new questions or bug reports.

The ProbLog team.¶

ProbLog2 was developed in the DTAI group of KULeuven, by the following people (in alphabetical order).

Other people who contributed to ProbLog1 and 2 (in alphabetical order):


RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4