conflictArguments

Graph extensions · Kotlin object ConflictArgumentsModule · library prolog.argumentation.graph.conflicts

The arguments attacking through a conflict argument (module conflictArguments), with metaConflicts: conflicts are then conclusions of the theory, and an argument attacks through the conflicts its conclusion has with others only while their arguments stand.

For each argument for a conflict on the conclusion of an argument, a copy of that argument is made, with mc(ConflictId, Conflict) first among its rules: supported by the conflict argument (and by the supports of the original), it is defeated with it, and it attacks through its conflict only (see the module attackRelation). With metaConflicts only the copies attack.

• Calls: argument, graphStore
• Called by: ruleGraph, attackBuilder, attackRelation

buildAdditionalArguments/0

buildAdditionalArguments

With metaConflicts, the copies of the saved arguments for each argument for a conflict on their conclusion.

conflictOf/2

conflictOf(+Argument, -Conflict)

Argument is a copy made for an argument for Conflict.

canAttack/1

canAttack(+Argument)

Argument may attack others: with metaConflicts only the copies do.