Uses of Class
org.tweetyproject.logics.rdl.syntax.DefaultTheory
-
Packages that use DefaultTheory Package Description org.tweetyproject.logics.rdl.parser org.tweetyproject.logics.rdl.reasoner org.tweetyproject.logics.rdl.semantics org.tweetyproject.logics.rdl.syntax -
-
Uses of DefaultTheory in org.tweetyproject.logics.rdl.parser
Methods in org.tweetyproject.logics.rdl.parser that return DefaultTheory Modifier and Type Method Description DefaultTheory
RdlParser. parseBeliefBase(java.io.Reader reader)
-
Uses of DefaultTheory in org.tweetyproject.logics.rdl.reasoner
Methods in org.tweetyproject.logics.rdl.reasoner with parameters of type DefaultTheory Modifier and Type Method Description Extension
SimpleDefaultReasoner. getModel(DefaultTheory bbase)
java.util.Collection<Extension>
SimpleDefaultReasoner. getModels(DefaultTheory bbase)
java.lang.Boolean
SimpleDefaultReasoner. query(DefaultTheory theory, FolFormula query)
java.lang.Boolean
SimpleDefaultReasoner. query(DefaultTheory theory, FolFormula query, InferenceMode inferenceMode)
Queries the given default theory for the given query using the given inference mode. -
Uses of DefaultTheory in org.tweetyproject.logics.rdl.semantics
Methods in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultTheory Modifier and Type Method Description boolean
DefaultSequence. isClosed(DefaultTheory t)
Tests wether all applicble defaukts from t have been appliedboolean
Extension. satisfies(DefaultTheory beliefBase)
Constructors in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultTheory Constructor Description DefaultProcessTree(DefaultTheory t)
constructs a default process tree out of the default theory tDefaultSequence(DefaultTheory dt)
constructs an empty sequence of defaults of the default theory dt -
Uses of DefaultTheory in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return DefaultTheory Modifier and Type Method Description DefaultTheory
DefaultTheory. ground()
Removes Variables by expanding formulasMethods in org.tweetyproject.logics.rdl.syntax with parameters of type DefaultTheory Modifier and Type Method Description boolean
DefaultRule. isNormal(DefaultTheory dt)
Tests, whether the default is normal normal ^= a:c/c
-