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
net.sf.tweety.arg.aspic.writer

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	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	Description
DungTheory	DirectionalAspicReasoner.asRestrictedDungTheory(AspicArgumentationTheory<T> aat, boolean simplifyArgumentStructure, T conc)	Generate restricted AF based on given theory and conclusion.
abstract DungTheory	AbstractAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)	Computes the Dung theory from which the answer will be derived
DungTheory	DirectionalAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
DungTheory	ModuleBasedAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
DungTheory	RandomAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
DungTheory	SimpleAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
java.lang.Boolean	AbstractAspicReasoner.query(AspicArgumentationTheory<T> aat, T query)
java.lang.Boolean	AbstractAspicReasoner.query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode)	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	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	Description
static AspicArgumentationTheory<PlFormula>	RandomAspicArgumentationTheoryGenerator.next(int numPropositions, int numFormulas, int maxBodyLiterals, double probStrict)	Generates a random ASPIC argumentation theory with numPropositions and numFormulas formulas (inference rules).

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

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

Modifier and Type	Method	Description
void	AspicWriter.write(AspicArgumentationTheory<T> theory, java.io.File f)	Writes the given ASPIC+ theory to disk.