Next: Pre-requisites Up: PPL 1.0 Propositional Probabilistic Previous: PPL overview   Contents

Downloading PPL

To get PPL, you have two options:

1. You can download the gzip/tar file PPL-1.0.tar.gz . You have to use the gunzip and tar utilities to obtain all the files.
2. You can download the zip file PPL-1.0.zip. You have to use one of the many utilities that read the zip format.

You can also download a manual (pdf or postscript).

Downloading and unpacking the PPL distribution should produce several directories and files:

-

A to_CNF directory, the package responsable for making the conversion to the conjuntive normal form.

-

A geracol directory, with the inference algorithm (for more information see section 7.1) used by PPL and two important files: ppl_file.txt and saida.txt. They are responsable for the comunication between PPL and Geracol (see section 7.2).

-

A Readme directory that contains this manual and miscellaneous information, such as list of changes and bugs

-

PPL.py

Important: If you download PPL, we ask you to notify us (andreteves@gmail.com or danillo_couto@yahoo.com.br) with a small email message. This software is experimental and will be evolving soon as we test it and kill bugs. We would like to know who has it so that we can send messages indicating patches and new versions. Even if you do not want to receive messages, send us a message indicating that you have the software but you do not want any messages. Thanks.

---

Next: Pre-requisites Up: PPL 1.0 Propositional Probabilistic Previous: PPL overview   Contents