clj-psl.core — org.clojars.alexmemory/clj-psl 0.1.0

Functions for using PSL.

add-pred-constraint clj macro

(add-pred-constraint model predicate constraint-type cname)

Add a predicate constraint to the model.

add-predicate clj macro

(add-predicate model pred-name argmap)

Add the specified predicate to the model.

add-rule clj

(add-rule model formula weight squared name)

AND clj

(AND & args)

Return a PSL conjunction formula over given formulas.

close-db clj

(close-db database)

Close Database, catching an IllegalStateException if it is already closed.

close-open-dbs clj

(close-open-dbs datastore)

Close all open databases and returns their count.

default-inference clj

(default-inference model database config-bundle)

Return an app for MPE inference using the configuration.

default-reasoner clj

(default-reasoner config-bundle)

Return a reasoner for MPE inference using the configuration.

ground-kernels-by-name clj

(ground-kernels-by-name ground-kernels kernel-name)

Return all ground kernels from a given collection with the given name.

ground-kernels-by-name-sort clj

(ground-kernels-by-name-sort ground-kernels)

Return a list of ground kernels sorted by kernel name.

ground-kernels-print-summary clj

(ground-kernels-print-summary ground-kernels)

(ground-kernels-print-summary ground-kernels kernel-name)

Print a summary of ground kernels.

IMPL clj

(IMPL body head)

Return a PSL rule formula for the given body and head formulas.

model-new clj

(model-new data-store)

Return a new PSLModel associated with the given DataStore.

mpe-inference clj

(mpe-inference inference-app reasoner)

Call mpeInference on the inference app, providing the reasoner.

NOT clj

(NOT formula)

Return a PSL negation formula over the given formula.

open-db clj

(open-db datastore model parts-to-read)

(open-db datastore model parts-to-read part-to-write)

(open-db datastore model parts-to-read part-to-write preds-to-close)

Return an open PSL database.

OR clj

(OR & args)

Return a PSL disjunction formula over given formulas.

p clj

(p model pred-name)

Get a predicate object from the PSL model

partition-copy-atoms clj

(partition-copy-atoms datastore model part-from part-to preds)

Copy atoms of given predicates from one partition to another

partition-delete clj

(partition-delete datastore partition)

Delete the contents of the partition in the datastore.

partition-id-new clj

(partition-id-new)

Return an integer that is (probably!) unique within this session.

partition-id-next clj

partition-new clj

(partition-new)

Return a unique partition within this session.

partitions-delete clj

(partitions-delete datastore)

(partitions-delete datastore partitions)

Delete the contents of the partitions in the datastore.

psl-pred-append clj

(psl-pred-append database predicate dataset)

(psl-pred-append datastore write-partition predicate dataset)

Add ground atoms to PSL from a dataset. The dataset's columns must be ordered according to the order of arguments of the predicate. See psl-pred-col-ordered-dataset.

psl-pred-col-names clj

(psl-pred-col-names model pred-name)

Get column names for a given predicate as a list of keywords

psl-pred-col-ordered-dataset clj

(psl-pred-col-ordered-dataset dataset model predicate-name)

Reorder columns of a dataset according to the predicate's arguments.

psl-pred-col-sort-dataset clj

(psl-pred-col-sort-dataset dataset model predicate-name)

Sort the rows of a dataset by the first argument of the predicate, then the second, etc.

psl-pred-read clj

(psl-pred-read model db pred-name include-value)

(psl-pred-read model datastore parts-read pred-name include-value)

Read a table from the PSL DB

round-atoms clj

(round-atoms database model open-predicates)

Round atoms of open predicates using conditional probabilities, per Bach et al, 2015 and Goemans and D. P. Williamson., 1994.

to-variables clj

(to-variables args)

Wrap a list as a list of Variables.

uid clj

(uid datastore string)

Return a Unique ID from the provided DataStore.