conflict
Language · Kotlin object ConflictModule · library prolog.argumentation.language.conflict
The conflicts between statements (module conflict). Without metaConflicts they are the built-in ones (a literal
and its negation, and those between obligations and permissions) and those the theory declares (conflict/2,3);
with metaConflicts they are only those concluded by an argument for conflict(A, B) or conflict(A, B, Guard).
The conflicts the languages of the theory state (graphLanguage) are kept in the context by the parser; with the conflict model declared (conflictModel), the built-in ones do not hold.
Statements are written as in the conclusions of arguments, [Claim]. A conflict may hold only under a guard, a
Prolog goal (or a term true or false) checked when the conflict is used.
- Calls: graphStore
- Called by: attackRelation, attackCandidates, bp_grounded_partial
- Flags:
conflictModel(see Flags)
| Predicate | Description |
|---|---|
between/2 | Statement conflicts with Other, the guard of the conflict holding |
stated/3 | Conflict, a conflict(A, B) or conflict(A, B, Guard) term, makes Statement ([A]) conflict with Other ([B]), its guard holding |
guarded/3 | Statement conflicts with Other when Guard holds |
unguarded/2 | Statement conflicts with Other, whatever holds |
statement/3 | With metaConflicts, the arguments for ConflictStatement make Statement conflict with Other |
between/2
between(?Statement, ?Other)Statement conflicts with Other, the guard of the conflict holding.
stated/3
stated(+Conflict, ?Statement, ?Other)Conflict, a conflict(A, B) or conflict(A, B, Guard) term, makes Statement ([A]) conflict with Other ([B]), its guard holding.
guarded/3
guarded(?Statement, ?Other, -Guard)Statement conflicts with Other when Guard holds.
unguarded/2
unguarded(?Statement, ?Other)Statement conflicts with Other, whatever holds.
statement/3
statement(?Statement, ?Other, -ConflictStatement)With metaConflicts, the arguments for ConflictStatement make Statement conflict with Other.