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

Package-level declarations

Types

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

Attack

data class Attack(val attacker: Argument, val target: Argument, val type: AttackType? = null, val on: Argument? = null)

An attack of a graph: attacker attacks target, with its type (rebut, undermine, undercut, ...) and the sub-argument of the target it hits (on), when known

AttackType

typealias AttackType = String

Graph

data class Graph(val arguments: List<Argument>, val attacks: List<Attack>, val supports: List<Support>, val labellings: List<LabelledArgument> = emptyList())

An argumentation graph: its arguments, the attacks and the supports between them, and the label of each argument (labellings), in the labelling the graph was read in

Label

typealias Label = String

LabelledArgument