This package includes testing codes for tuffy. These tests are grouped into two
categories.
Testings in this group intend to test the basic data structure of Tuffy.
In Tuffy, the whole system is built upon classes referring to logic or
mathematical objects, e.g., Predicate, Atom, etc. All these objects are
associated with several operations, e.g., a Clause object can ``absorb''
another Clause object with the same pattern. Testings in this category
try to make sure such functionality works consistently with their definition
and designing goals.
Following classes belong to this category:
- AtomTest
- ClauseTest
- ConfigTest
- GAtomTest
- GClauseTest
- LiteralTest
- ParsingLoadingTest
- PredicateTest
- TermTest
- TupleTest
- TypeTest
Testings in this group intend to test the functionality of the whole Tuffy system.
While Unit Testing tested the blocks of building Tuffy, testings in this group
make them together. Two functions of Tuffy are tested here:
- Inference: Given MLN program, evidence and query, return the most possible
truth assignment for queries.
- Learning: Given MLN program, evidence (w/o training data) and query, return the
most possible clause weights.
Following classes belong to this category:
- ClauseTest
- GroundingTest
- LearnerTest