Package | Description |
---|---|
net.sf.tweety.logics.cl | |
net.sf.tweety.logics.cl.parser | |
net.sf.tweety.logics.cl.test | |
net.sf.tweety.logics.translators.clnlp |
Modifier and Type | Field and Description |
---|---|
private ClBeliefSet |
RuleBasedCReasoner.beliefBase
the belief base that is reasoned on
|
private ClBeliefSet |
RelevanceReasoner.extension
The extension of the knowledgebase.
|
Modifier and Type | Method and Description |
---|---|
ClBeliefSet |
ClBeliefSet.clone() |
private ClBeliefSet |
RelevanceReasoner.computeExtension()
Computes the extended knowledge base this reasoner bases on.
|
ClBeliefSet |
RelevanceReasoner.getExtension()
Returns the extended knowledge base this reasoner bases on.
|
Modifier and Type | Method and Description |
---|---|
private java.util.ArrayList<ClBeliefSet> |
ZReasoner.partition(BeliefBase kb)
Returns a partitioning of a knowledge base into partitions containing all conditionals that
tolerate the remaining set of conditionals of a knowledge base.
|
Modifier and Type | Method and Description |
---|---|
private void |
BruteForceCReasoner.filter(java.util.ArrayList<PropositionalFormula> list,
ClBeliefSet beliefset) |
private boolean |
ZReasoner.isTolerated(Conditional f,
ClBeliefSet kb)
Checks whether or not the given formula is tolerated by the knowledge base,
i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A)
in the knowledge base (it satisfies the material implication A => B).
|
Constructor and Description |
---|
RuleBasedCReasoner(ClBeliefSet beliefBase) |
RuleBasedCReasoner(ClBeliefSet beliefBase,
boolean humanFriendly) |
Modifier and Type | Method and Description |
---|---|
ClBeliefSet |
ClParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Field and Description |
---|---|
private static ClBeliefSet[] |
ReasonerCompare.beliefSets |
Modifier and Type | Method and Description |
---|---|
private static void |
ReasonerCompare.test(ClBeliefSet beliefset) |
Modifier and Type | Method and Description |
---|---|
ClBeliefSet |
ClNLPTranslator.toCl(NLPProgram program)
Translate the given NLP-program into a conditional belief set.
|
Modifier and Type | Method and Description |
---|---|
NLPProgram |
ClNLPTranslator.toNLP(ClBeliefSet conditionals)
Translate the given conditional belief set into a NLP-program.
|