# ProbLog
ProbLog 2 is a **Probabilistic Logic Programming toolbox**.
It allows 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.
Probabilistic logic programs are **logic programs** in which some of the facts are annotated with **probabilities**.
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.
ProbLog 2.1 works out of the box on systems with Python. It has been
tested on *Mac OSX*, *Linux* and *Windows*.
## Installation
[![CircleCI](https://circleci.com/gh/ML-KULeuven/problog/tree/master.svg?style=svg)](https://circleci.com/gh/ML-KULeuven/problog/tree/master)
[![codecov](https://codecov.io/gh/ML-KULeuven/problog/branch/master/graph/badge.svg)](https://codecov.io/gh/ML-KULeuven/problog)
dev:
[![CircleCI](https://circleci.com/gh/ML-KULeuven/problog/tree/develop.svg?style=svg)](https://circleci.com/gh/ML-KULeuven/problog/tree/develop)
[![codecov](https://codecov.io/gh/ML-KULeuven/problog/branch/develop/graph/badge.svg)](https://codecov.io/gh/ML-KULeuven/problog)
ProbLog supports optional components which can be installed separately.
See the file [INSTALL](https://github.com/ML-KULeuven/problog/blob/develop/INSTALL) for detailed installation instructions.
### Python
To install ProbLog, you can use the [pip](https://pypi.org/project/pip/) with the following command:
```pip install problog```
#### Prerequisites
ProbLog 2.1 requires Python 3.6+.
*(Python 2.7+ support has been dropped since ProbLog 2.1.0.36.)*
### Online Editor
You can try out ProbLog without installing it with our [online editor](https://dtai.cs.kuleuven.be/problog/editor.html).
For example, enter the following [ProbLog program](https://dtai.cs.kuleuven.be/problog/editor.html#task=prob&hash=f8cdb15e6accf62ecaf706c230197ce1) for calculating the probability that at least one of two coins
(one of which is a bend/biased coin) is head.
```
% Probabilistic facts:
0.5::heads1.
0.6::heads2.
% Rules:
someHeads :- heads1.
someHeads :- heads2.
% Queries:
query(someHeads).
```
When you press evaluate, this will result in **0.8**,
because *P(someHeads) = 1 - (1-P(heads1)) (1-P(heads2)) = 1 - (1-0.5) (1-0.6) = 0.8*.
## Get Started with ProbLog
### Tutorial
To get started with ProbLog, follow the [ProbLog Tutorial](https://dtai.cs.kuleuven.be/problog/tutorial.html).
### Homepage
Visit the [ProbLog Homepage](https://dtai.cs.kuleuven.be/problog/).
### Documentation
Extensive documentation about ProbLog can be found on our
[ProbLog documentation](http://problog.readthedocs.org/en/latest/cli.html) on ReadTheDocs.
### Papers
You can consult the following paper to get an introduction to ProbLog:
[Inference and learning in probabilistic logic programs using weighted Boolean formulas](https://lirias.kuleuven.be/bitstream/123456789/392821/3/plp2cnf.pdf), Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, and Luc De Raedt. Theory and Practice of Logic Programming, 2015.
[ProbLog: A probabilistic Prolog and its application in link discovery](https://lirias.kuleuven.be/bitstream/123456789/146072/1/ijca), L. De Raedt, A. Kimmig, and H. Toivonen, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, pages 2462-2467, 2007.
Many other papers and information about ProbLog can be found in [our ProbLog publication list](https://dtai.cs.kuleuven.be/problog/publications.html).
## License
Copyright 2015 KU Leuven, DTAI Research Group
Licensed under the Apache License, Version 2.0 (the "License"); you may
not use this file except in compliance with the License. You may obtain
a copy of the License at [http://www.apache.org/licenses/LICENSE-2.0](http://www.apache.org/licenses/LICENSE-2.0)
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
没有合适的资源?快使用搜索试试~ 我知道了~
PyPI 官网下载 | problog-2.1.0.39.tar.gz
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 51 浏览量
2022-01-14
23:06:18
上传
评论
收藏 899KB GZ 举报
温馨提示
共113个文件
py:72个
pl:22个
txt:5个
资源来自pypi官网。 资源全名:problog-2.1.0.39.tar.gz
资源推荐
资源详情
资源评论
收起资源包目录
PyPI 官网下载 | problog-2.1.0.39.tar.gz (113个子文件)
maxsatz2009.c 96KB
setup.cfg 38B
cnf2dDNNF_wine 359B
libstdc++-6.dll 978KB
libgcc_s_dw2-1.dll 110KB
dsharp 203KB
dsharp 172KB
dsharp.exe 342KB
maxsatz.exe 114KB
problog_editor.js 18KB
maxsatz 58KB
README.md 5KB
PKG-INFO 819B
PKG-INFO 819B
multiset_constraints.pl 28KB
input_interface.pl 16KB
probabilistic_drawing.pl 12KB
static_setup.pl 11KB
ge_solver_sparse.pl 9KB
terms_to_predicates.pl 8KB
lists.pl 7KB
meta_prob.pl 5KB
constraints.pl 5KB
property_based_merging.pl 4KB
apply.pl 3KB
histograms.pl 3KB
setup_aux.pl 2KB
cut.pl 1KB
collect.pl 919B
aggregate.pl 819B
control.pl 725B
run_solver.pl 663B
scope.pl 457B
string.pl 386B
builtin.pl 72B
nlp4plp.pl 37B
engine_stack.py 86KB
formula.py 63KB
engine_builtin.py 56KB
parser.py 40KB
cpd.py 37KB
logic.py 35KB
sdd_formula.py 35KB
clausedb.py 33KB
lfi.py 30KB
forward.py 28KB
sample.py 26KB
dd_formula.py 21KB
engine.py 20KB
evaluator.py 20KB
util.py 20KB
program.py 19KB
server.py 17KB
sdd_formula_explicit.py 17KB
engine_unify.py 15KB
cnf_formula.py 13KB
probability.py 13KB
ddnnf_formula.py 12KB
constraint.py 11KB
extern.py 11KB
dtproblog.py 11KB
mpe.py 11KB
bayesnet.py 11KB
constraint.py 10KB
kbest.py 9KB
server_debug.py 9KB
debug.py 8KB
test_engine.py 8KB
core.py 8KB
bdd_formula_alt.py 7KB
test_system.py 7KB
shell.py 6KB
ground_yap.py 6KB
magic.py 6KB
ground.py 6KB
setup.py 5KB
cycles.py 5KB
bdd_formula.py 5KB
db.py 5KB
time1.py 4KB
record.py 4KB
setup.py 3KB
maxsat.py 3KB
errors.py 3KB
map.py 3KB
explain.py 3KB
__init__.py 3KB
test_bn.py 3KB
run_problog.py 3KB
aproblog.py 3KB
pypl.py 3KB
test_evaluator.py 2KB
run_learning.py 2KB
__init__.py 2KB
test_transformation.py 2KB
test_unify.py 2KB
test_interface.py 2KB
assert.py 993B
lists.py 785B
string.py 635B
共 113 条
- 1
- 2
资源评论
挣扎的蓝藻
- 粉丝: 13w+
- 资源: 15万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功