Package | Description |
---|---|
net.sf.tweety.logics.rpcl.parser | |
net.sf.tweety.logics.rpcl.reasoner | |
net.sf.tweety.logics.rpcl.semantics | |
net.sf.tweety.logics.rpcl.syntax |
Modifier and Type | Method and Description |
---|---|
RpclBeliefSet |
RpclParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
RpclProbabilityDistribution<?> |
RpclMeReasoner.getModel(RpclBeliefSet bbase) |
RpclProbabilityDistribution<?> |
RpclMeReasoner.getModel(RpclBeliefSet kb,
FolSignature signature)
Determines the ME distribution of the given knowlege base
wrt.
|
java.util.Collection<RpclProbabilityDistribution<?>> |
RpclMeReasoner.getModels(RpclBeliefSet bbase) |
java.lang.Double |
RpclMeReasoner.query(RpclBeliefSet beliefbase,
FolFormula formula) |
java.lang.Double |
RpclMeReasoner.query(RpclBeliefSet beliefbase,
FolFormula query,
FolSignature signature)
Queries the knowledge base wrt.
|
Modifier and Type | Method and Description |
---|---|
boolean |
RpclProbabilityDistribution.satisfies(RpclBeliefSet kb) |
boolean |
CondensedProbabilityDistribution.satisfies(RpclBeliefSet beliefBase) |
Modifier and Type | Method and Description |
---|---|
RpclBeliefSet |
RpclBeliefSet.exchange(Term<?> a,
Term<?> b)
Exchanges every occurence of "a" by "b" and vice versa.
|