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

Subclasses with type arguments of type DefaultTheory in org.tweetyproject.logics.rdl.parser

Modifier and Type	Class	Description
class	RdlParser	This class implements a parser for default logic.

Methods in org.tweetyproject.logics.rdl.parser that return DefaultTheory

Modifier and Type	Method	Description
DefaultTheory	RdlParser.parseBeliefBase(Reader reader)

Uses of DefaultTheory in org.tweetyproject.logics.rdl.reasoner

Classes in org.tweetyproject.logics.rdl.reasoner that implement interfaces with type arguments of type DefaultTheory

Modifier and Type	Class	Description
class	SimpleDefaultReasoner	Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.
class	SimpleDefaultReasoner	Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

Methods in org.tweetyproject.logics.rdl.reasoner with parameters of type DefaultTheory

Modifier and Type	Method	Description
Extension	SimpleDefaultReasoner.getModel(DefaultTheory bbase)
Collection<Extension>	SimpleDefaultReasoner.getModels(DefaultTheory bbase)
Boolean	SimpleDefaultReasoner.query(DefaultTheory theory, FolFormula query)
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

Subclasses with type arguments of type DefaultTheory in org.tweetyproject.logics.rdl.semantics

Modifier and Type	Class	Description
class	Extension	An extension of a default theory, i.e.

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 applied
boolean	Extension.satisfies(DefaultTheory beliefBase)

Constructors in org.tweetyproject.logics.rdl.semantics with parameters of type DefaultTheory

Modifier	Constructor	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

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 formulas

Methods 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