Uses of Class
net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory

Packages that use AspicArgumentationTheory

Package	Description
net.sf.tweety.arg.aspic.parser
net.sf.tweety.arg.aspic.reasoner
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.aspic.util

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.parser

Methods in net.sf.tweety.arg.aspic.parser that return AspicArgumentationTheory

Modifier and Type	Method and Description
AspicArgumentationTheory<T>	AspicParser.parseBeliefBase(java.io.Reader reader)

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.reasoner

Methods in net.sf.tweety.arg.aspic.reasoner with parameters of type AspicArgumentationTheory

Modifier and Type	Method and Description
protected DungTheory	RandomAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, Formula query)
protected DungTheory	NaiveAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, Formula query)
protected abstract DungTheory	AbstractAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, Formula query) Computes the Dung theory from which the answer will be derived
protected DungTheory	ModuleBasedAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, Formula query)
java.lang.Boolean	AbstractAspicReasoner.query(AspicArgumentationTheory<T> aat, T query)
java.lang.Boolean	AbstractAspicReasoner.query(AspicArgumentationTheory<T> aat, T query, int inferenceType) Queries the given AspicArgumentationTheory for the given formula using the given inference type.

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.ruleformulagenerator

Methods in net.sf.tweety.arg.aspic.ruleformulagenerator with parameters of type AspicArgumentationTheory

Modifier and Type	Method and Description
DefeasibleInferenceRule<T>	RuleFormulaGenerator.getInferenceRule(T formula, AspicArgumentationTheory<T> kb) Transforms a formula of type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb

Uses of AspicArgumentationTheory in net.sf.tweety.arg.aspic.util

Methods in net.sf.tweety.arg.aspic.util that return AspicArgumentationTheory

Modifier and Type	Method and Description
static AspicArgumentationTheory<PropositionalFormula>	RandomAspicArgumentationTheoryGenerator.next(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict) Generates a random ASPIC argumentation theory with numPropositions and numFormulas formulas (inference rules).