Skip to Main Content
Table 1: 

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 
Close Modal

or Create an Account

Close Modal
Close Modal