Uses of Class
org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram

Packages that use DefeasibleLogicProgram

Package	Description
org.tweetyproject.arg.delp.parser
org.tweetyproject.arg.delp.reasoner
org.tweetyproject.arg.delp.semantics
org.tweetyproject.arg.delp.syntax
org.tweetyproject.web.services.delp

Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.parser

Methods in org.tweetyproject.arg.delp.parser that return DefeasibleLogicProgram

Modifier and Type	Method	Description
DefeasibleLogicProgram	DelpParser.parseBeliefBase(Reader reader)	Parses a defeasible logic program from the given reader.
final DefeasibleLogicProgram	DelpParser.Theory(FolSignature signature)	Parses a defeasible logic program from a given signature.

Methods in org.tweetyproject.arg.delp.parser with parameters of type DefeasibleLogicProgram

Modifier and Type	Method	Description
final FolAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)	Parses an atom (predicate with optional terms) from the input.
final void	DelpParser.Expression(DefeasibleLogicProgram delp, FolSignature signature)	Parses an expression in the defeasible logic program.
final FolFormula	DelpParser.Literal(DefeasibleLogicProgram delp, FolSignature signature)	Parses a literal, which could be an atom or its negation.
final Term	DelpParser.Term(DefeasibleLogicProgram delp, FolSignature signature)	Parses a term (either a variable or a constant) from the input.

Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.reasoner

Methods in org.tweetyproject.arg.delp.reasoner with parameters of type DefeasibleLogicProgram

Modifier and Type	Method	Description
static Set<DelpArgument>	DelpReasoner.getArgumentsWithConclusion(DefeasibleLogicProgram delp, FolFormula f)	Returns all arguments with the given conclusion from the delp.
Set<DelpArgument>	DelpReasoner.getWarrants(DefeasibleLogicProgram delp)	Computes the subset of the arguments of this program, that are warrants.
DelpAnswer.Type	DelpReasoner.query(DefeasibleLogicProgram delp, FolFormula f)

Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.semantics

Methods in org.tweetyproject.arg.delp.semantics with parameters of type DefeasibleLogicProgram

Modifier and Type	Method	Description
abstract ComparisonCriterion.Result	ComparisonCriterion.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)	This method returns the relation of argument1 to argument2 given context.
ComparisonCriterion.Result	EmptyCriterion.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)
ComparisonCriterion.Result	GeneralizedSpecificity.compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)
Set<DialecticalTree>	DialecticalTree.getDefeaters(DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion)	Computes the set of arguments which are defeaters for the argument in this tree node and returns the corresponding dialectical tree nodes with these defeaters.
boolean	DialecticalTree.isAcceptable(DelpArgument argument, DefeasibleLogicProgram delp, ComparisonCriterion comparisonCriterion)	Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp

Uses of DefeasibleLogicProgram in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.arg.delp.syntax that return DefeasibleLogicProgram

Modifier and Type	Method	Description
DefeasibleLogicProgram	DefeasibleLogicProgram.ground()	In general, a delp comprises of rule schemes with variables.
DefeasibleLogicProgram	DefeasibleLogicProgram.ground(Set<Constant> constants)	In general, a delp comprises of rule schemes with variables.

Methods in org.tweetyproject.arg.delp.syntax with parameters of type DefeasibleLogicProgram

Modifier and Type	Method	Description
Set<FolFormula>	DelpArgument.getAttackOpportunities(DefeasibleLogicProgram delp)	Computes the set of literals that disagree with the conclusion of a subargument of this argument
DelpArgument	DelpArgument.getDisagreementSubargument(FolFormula lit, DefeasibleLogicProgram delp)	Computes the disagreement subargument of this argument for the given literal

Constructors in org.tweetyproject.arg.delp.syntax with parameters of type DefeasibleLogicProgram

Modifier	Constructor	Description
	DefeasibleLogicProgram(DefeasibleLogicProgram delp)	constructor; initializes this program with the given program

Uses of DefeasibleLogicProgram in org.tweetyproject.web.services.delp

Constructors in org.tweetyproject.web.services.delp with parameters of type DefeasibleLogicProgram

Modifier	Constructor	Description
	DeLPCallee(DefeasibleLogicProgram delp, DelpReasoner reasoner, Formula f)	Constructs a new DeLPCallee with the specified DefeasibleLogicProgram, DelpReasoner, and Formula.