|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use mln | |
---|---|
grounding | Provides facilities for grounding MLNs, including KBMC, SQL-based grounding, and MRF partitioning. |
infer | Provides MLN inference algorithms. |
mln | This package builds the data structure of MLN. |
parser | Provides parsers for MLN input, config files, and command line options. |
Classes in mln used by grounding | |
---|---|
MarkovLogicNetwork
An MLN. |
Classes in mln used by infer | |
---|---|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
GAtom
A ground atom. |
|
GClause
A ground clause. |
|
MarkovLogicNetwork
An MLN. |
Classes in mln used by mln | |
---|---|
Atom
An atomic formula. |
|
Atom.AtomType
Enumerated type of Atoms. |
|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
ConjunctiveQuery
A conjunctive query. |
|
Expression
An expression to a function is like a literal to a predicate. |
|
Function
Bool, numberic, and string functions; user-defined functions. |
|
GAtom
A ground atom. |
|
GClause
A ground clause. |
|
Literal
A literal in first-order logic. |
|
MarkovLogicNetwork
An MLN. |
|
Predicate
Predicate in First Order Logic. |
|
Term
A term in first-order logic; either a variable or a constant. |
|
Tuple
A tuple of constants/variables, represented as a transparent list of integers. |
|
Type
A domain/type of constants; i.e., a subset of constants. |
Classes in mln used by parser | |
---|---|
AtomEx
STILL IN DEVELOPMENT. |
|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
ConjunctiveQuery
A conjunctive query. |
|
Expression
An expression to a function is like a literal to a predicate. |
|
Literal
A literal in first-order logic. |
|
MarkovLogicNetwork
An MLN. |
|
Term
A term in first-order logic; either a variable or a constant. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |