PSL rules. (S: statement, C: claim).
| Rules . | ||
|---|---|---|
| Factual Consist. | R1 | FactEntail(S, C) → Support(S, C) |
| R2 | FactContradict(S, C) → Attack(S, C) | |
| R3 | FactConflict(S, C) → Attack(S, C) | |
| Senti Cohe. | R4 | SentiConflict(S, C) → Attack(S, C) |
| R5 | SentiCoherent(S, C) → Support(S, C) | |
| CAUSE-TO-EFFECT REASONING | ||
| Causal Relation | R6 | Cause(S, C) → Support(S, C) |
| R7 | Obstruct(S, C) → Attack(S, C) | |
| EFFECT-TO-CAUSE REASONING | ||
| R8 | Cause(S, C) → Support(S, C) | |
| R9 | Obstruct(S, C) → Attack(S, C) | |
| ARGUMENT FROM CONSEQUENCES | ||
| Normative Relation | R10 | BackingConseq(S, C) → Support(S, C) |
| R11 | RefutingConseq(S, C) → Attack(S, C) | |
| PRACTICAL REASONING | ||
| R12 | BackingNorm(S, C) → Support(S, C) | |
| R13 | RefutingNorm(S, C) → Attack(S, C) | |
| Relation Chain | R14 | Support(S, I) ∧ Support(I, C) → Support(S, C) |
| R15 | Attack(S, I) ∧ Attack(I, C) → Support(S, C) | |
| R16 | Support(S, I) ∧ Attack(I, C) → Attack(S, C) | |
| R17 | Attack(S, I) ∧ Support(I, C) → Attack(S, C) | |
| Constraints | C1 | Neutral(S,C) = 1 |
| C2 | Support(S,C)+Attack(S,C)+Neutral(S,C) = 1 | |
| Rules . | ||
|---|---|---|
| Factual Consist. | R1 | FactEntail(S, C) → Support(S, C) |
| R2 | FactContradict(S, C) → Attack(S, C) | |
| R3 | FactConflict(S, C) → Attack(S, C) | |
| Senti Cohe. | R4 | SentiConflict(S, C) → Attack(S, C) |
| R5 | SentiCoherent(S, C) → Support(S, C) | |
| CAUSE-TO-EFFECT REASONING | ||
| Causal Relation | R6 | Cause(S, C) → Support(S, C) |
| R7 | Obstruct(S, C) → Attack(S, C) | |
| EFFECT-TO-CAUSE REASONING | ||
| R8 | Cause(S, C) → Support(S, C) | |
| R9 | Obstruct(S, C) → Attack(S, C) | |
| ARGUMENT FROM CONSEQUENCES | ||
| Normative Relation | R10 | BackingConseq(S, C) → Support(S, C) |
| R11 | RefutingConseq(S, C) → Attack(S, C) | |
| PRACTICAL REASONING | ||
| R12 | BackingNorm(S, C) → Support(S, C) | |
| R13 | RefutingNorm(S, C) → Attack(S, C) | |
| Relation Chain | R14 | Support(S, I) ∧ Support(I, C) → Support(S, C) |
| R15 | Attack(S, I) ∧ Attack(I, C) → Support(S, C) | |
| R16 | Support(S, I) ∧ Attack(I, C) → Attack(S, C) | |
| R17 | Attack(S, I) ∧ Support(I, C) → Attack(S, C) | |
| Constraints | C1 | Neutral(S,C) = 1 |
| C2 | Support(S,C)+Attack(S,C)+Neutral(S,C) = 1 | |