Uses of Class
org.tweetyproject.logics.rdl.syntax.DefaultTheory
Package
Description
-
Uses of DefaultTheory in org.tweetyproject.logics.rdl.parser
-
Uses of DefaultTheory in org.tweetyproject.logics.rdl.reasoner
Modifier and TypeMethodDescriptionSimpleDefaultReasoner.getModel(DefaultTheory bbase)
SimpleDefaultReasoner.getModels(DefaultTheory bbase)
SimpleDefaultReasoner.query(DefaultTheory theory, FolFormula query)
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
Modifier and TypeMethodDescriptionboolean
DefaultSequence.isClosed(DefaultTheory t)
Tests wether all applicble defaukts from t have been appliedboolean
Extension.satisfies(DefaultTheory beliefBase)
ModifierConstructorDescriptionconstructs a default process tree out of the default theory tconstructs an empty sequence of defaults of the default theory dt -
Uses of DefaultTheory in org.tweetyproject.logics.rdl.syntax
Modifier and TypeMethodDescriptionboolean
DefaultRule.isNormal(DefaultTheory dt)
Tests, whether the default is normal normal ^= a:c/c