Uses of Class
org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory

Packages that use AspicArgumentationTheory

Package	Description
org.tweetyproject.arg.aspic.parser
org.tweetyproject.arg.aspic.reasoner
org.tweetyproject.arg.aspic.ruleformulagenerator
org.tweetyproject.arg.aspic.util
org.tweetyproject.arg.aspic.writer

Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.parser

Methods in org.tweetyproject.arg.aspic.parser that return AspicArgumentationTheory

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

Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.reasoner

Methods in org.tweetyproject.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 org.tweetyproject.arg.aspic.ruleformulagenerator

Methods in org.tweetyproject.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 org.tweetyproject.arg.aspic.util

Methods in org.tweetyproject.arg.aspic.util that return AspicArgumentationTheory

Modifier and Type	Method	Description
AspicArgumentationTheory<PlFormula>	RandomAspicArgumentationTheoryGenerator.next()	Returns an ASPIC argumentation theory

Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.writer

Methods in org.tweetyproject.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.