Next:
Contents
Contents
PPL 1.0
Propositional Probabilistic Logic Package
User Manual
André da Costa Teves, Danillo Paulo Couto
Paulo S. de S. Andrade, Fabio G. Cozman
Contents
Introduction
A little bit of history ...
Background
PPL overview
Downloading PPL
Pre-requisites
ANSI C
Python
Linear Programming tool
Installation
Creating the environment variables
Compiling Geracol
with GLPK
with CPLEX
Using PPL
Starting off
Sintax
The function p
Inserting sentences and probabilities
Inference
Examples
The Consistency Checker
The algorithm
Comunication with PPL
Format Manual: PPL
Geracol
Format Manual: Geracol
PPL
Acknowledgements
Bibliography
About this document ...
Andre da Costa Teves 2007-08-11
