This repository will convert the desired datasets from probablistic soft logic (PSL) into the other probablistic programming languages (PPL), run the desired datasets for each PPL, and provide results for analysis. Current PPLs supported:
-
Probablistic Soft Logic
- Website: https://psl.linqs.org
- Code: https://github.com/linqs
-
Tuffy
- Website and Code: http://i.stanford.edu/hazy/tuffy
-
PSL (https://psl.linqs.org)
-
Java virtual machine (https://www.java.com/en/download/manual.jsp)
-
PostgreSQL (https://www.postgresql.org/download/)
Running is broken into three phases: initialization, running, and evaluation.
First begin by creating a postgreSQL database and user for tuffy.
createuser -s tuffy
createdb tuffy --password
Use tuffy as the password.
The data is gathered from psl-examples (which is already in a PSL formatting) and converted into the other PPL's formatting. Since this repository converts psl examples into other frameworks, use the psl-example directory names to specify which examples you want to run:
./init <example name> ...
For example if you want to run cora from the psl-examples, use the following command:
./init cora
Now that the psl data has been gathered, it is now time to convert it to the other PPLs. For this a few data files are needed:
Three files are required for tuffy to run:
- predicates.txt - A helper file for converting PSL data. Tab separated formatting for the predicates:
Name Size Open/Closed Filename Prior Truth Force Target
Example:
Friends 2 open friends_target.txt 0.5 false true true
- prog.mln - A file containing the model in Tuffy syntax.
- query.db - A file specifying what are the target predicates.
These are required and should be put into their respective directories: ./tuffy-examples/[EXPERIMENT]/.
An example of the formatting for these files can be seen in ./scripts/tuffy/cora/. If these files exist in the repo they will automatically be coppied into the correct location.
As the final step in the initialization phase, data is convered from the PSL formatting to the other PPL's formatting:
./convert <example name> ...
For example if you want to run cora, use the following command:
./convert cora
During the running phase, the desired examples are run for the PPLs:
./run <example name> ...
For example if you want to run cora from the psl-examples, use the following command:
./run cora