Package | Description |
---|---|
net.sf.tweety.arg.deductive.semantics | |
net.sf.tweety.arg.prob.test.deductive |
Constructor and Description |
---|
Compilation(DeductiveKnowledgeBase kb)
Creates the compilation of the given knowledge base.
|
Modifier and Type | Field and Description |
---|---|
private DeductiveKnowledgeBase |
DeductiveProbabilisticKnowledgebase.kb
The deductive knowledge base.
|
Modifier and Type | Method and Description |
---|---|
DeductiveKnowledgeBase |
DeductiveProbabilisticKnowledgebase.getKb()
Returns the deductive knowledge base
|
Constructor and Description |
---|
DeductiveProbabilisticKnowledgebase(DeductiveKnowledgeBase kb,
java.util.Map<PropositionalFormula,Probability> probabilityAssignments)
Creates a new probabilistic knowledge base from the given parameters.
|