|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use tuffy.mln | |
---|---|
tuffy.db | Provides interfaces to the RDBMS. |
tuffy.ground | Provides facilities for grounding MLNs, including KBMC, SQL-based grounding, and MRF partitioning. |
tuffy.ground.partition | Data structures and algorithms for MRF partitioning. |
tuffy.helper | Misc functionalities to help develop MLN programs. |
tuffy.infer | Provides MLN inference algorithms. |
tuffy.main | Entrances to Tuffy. |
tuffy.mln | This package builds the data structure of MLN. |
tuffy.parse | Provides parsers for MLN input, config files, and command line options. |
tuffy.ra | Rich logic/relational constructs such as expressions and Datalog. |
tuffy.test | This package includes testing codes for tuffy. |
Classes in tuffy.mln used by tuffy.db | |
---|---|
Predicate
Predicate in First Order Logic. |
Classes in tuffy.mln used by tuffy.ground | |
---|---|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
MarkovLogicNetwork
An MLN. |
|
Predicate
Predicate in First Order Logic. |
|
Tuple
A tuple of constants/variables, represented as a transparent list of integers. |
Classes in tuffy.mln used by tuffy.ground.partition | |
---|---|
MarkovLogicNetwork
An MLN. |
Classes in tuffy.mln used by tuffy.helper | |
---|---|
Clause
A first-order logic clause, namely a disjunct of literals. |
Classes in tuffy.mln used by tuffy.infer | |
---|---|
MarkovLogicNetwork
An MLN. |
|
Predicate
Predicate in First Order Logic. |
Classes in tuffy.mln used by tuffy.main | |
---|---|
MarkovLogicNetwork
An MLN. |
Classes in tuffy.mln used by tuffy.mln | |
---|---|
Atom
An atomic formula. |
|
Atom.AtomType
Enumerated type of Atoms. |
|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
Clause.ClauseInstance
Class of an instance of a clause. |
|
Literal
A literal in first-order logic. |
|
Literal.VarClique
Clique of variables. |
|
MarkovLogicNetwork
An MLN. |
|
Predicate
Predicate in First Order Logic. |
|
Predicate.FunctionalDependency
TODO: look into the implications of FDs |
|
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 tuffy.mln used by tuffy.parse | |
---|---|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
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. |
Classes in tuffy.mln used by tuffy.ra | |
---|---|
Clause
A first-order logic clause, namely a disjunct of literals. |
|
Literal
A literal in first-order logic. |
|
Predicate
Predicate in First Order Logic. |
|
Type
A domain/type of constants; i.e., a subset of constants. |
Classes in tuffy.mln used by tuffy.test | |
---|---|
Predicate
Predicate in First Order Logic. |
|
Type
A domain/type of constants; i.e., a subset of constants. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |