core/it.unibo.tuprolog.argumentation.core.model/Argument

Argument

data class Argument(val rules: List<RuleIdentifier>, val topRule: RuleIdentifier, val conclusion: Literal, val groundings: List<Literal> = emptyList(), val defeasibleRules: List<RuleIdentifier> = emptyList(), val defeasiblePremises: List<RuleIdentifier> = emptyList(), val lastDefeasibleRules: List<RuleIdentifier> = emptyList(), term: Term? = null)

An argument of a graph: the rules it is made of, its topRule (none for a premise) and its conclusion, with the arguments it is built on (supports), identified as A0, A1, ... in the graph (identifier); descriptor writes it as A2 : A0,r1 : c

Constructors

Argument

constructor(rules: List<RuleIdentifier>, topRule: RuleIdentifier, conclusion: Literal, groundings: List<Literal> = emptyList(), defeasibleRules: List<RuleIdentifier> = emptyList(), defeasiblePremises: List<RuleIdentifier> = emptyList(), lastDefeasibleRules: List<RuleIdentifier> = emptyList(), term: Term? = null)