Uses of Class
org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
Package
Description
-
Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.parser
-
Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.reasoner
Modifier and TypeMethodDescriptionDirectionalAspicReasoner.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 derivedDirectionalAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
ModuleBasedAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
RandomAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
SimpleAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query)
AbstractAspicReasoner.query(AspicArgumentationTheory<T> aat, T query)
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
Modifier and TypeMethodDescriptionRuleFormulaGenerator.getInferenceRule(T formula, AspicArgumentationTheory<T> kb)
Transforms a formula of typeT
into a corresponding defeasible ASPIC inference rule form the knowledge basekb
-
Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.util
Modifier and TypeMethodDescriptionRandomAspicArgumentationTheoryGenerator.next()
Returns an ASPIC argumentation theory -
Uses of AspicArgumentationTheory in org.tweetyproject.arg.aspic.writer
Modifier and TypeMethodDescriptionvoid
AspicWriter.write(AspicArgumentationTheory<T> theory, File f)
Writes the given ASPIC+ theory to disk.