Package | Description |
---|---|
net.sf.tweety.logics.rdl.parser | |
net.sf.tweety.logics.rdl.reasoner | |
net.sf.tweety.logics.rdl.semantics | |
net.sf.tweety.logics.rdl.syntax |
Modifier and Type | Method and Description |
---|---|
DefaultTheory |
RdlParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
Extension |
NaiveDefaultReasoner.getModel(DefaultTheory bbase) |
java.util.Collection<Extension> |
NaiveDefaultReasoner.getModels(DefaultTheory bbase) |
java.lang.Boolean |
NaiveDefaultReasoner.query(DefaultTheory theory,
FolFormula query) |
Modifier and Type | Method and Description |
---|---|
boolean |
DefaultSequence.isClosed(DefaultTheory t)
Tests wether all applicble defaukts from t have been applied
|
boolean |
Extension.satisfies(DefaultTheory beliefBase) |
Constructor and Description |
---|
DefaultProcessTree(DefaultTheory t)
constructs a default process tree out of the default theory t
|
DefaultSequence(DefaultTheory dt)
constructs an empty sequence of defaults of the default theory dt
|
Modifier and Type | Method and Description |
---|---|
DefaultTheory |
DefaultTheory.ground()
Removes Variables by expanding formulas
|
Modifier and Type | Method and Description |
---|---|
boolean |
DefaultRule.isNormal(DefaultTheory dt)
Tests, whether the default is normal
normal ^= a:c/c
|