Identifying Implicit Premises for Logical Reconstruction of Argument Graphs
A neuro-symbolic pipeline is proposed that uses large language models to generate intermediate implicit premises that are translated into logical formulae and used with logical formulae representing explicit premises and explicit claims to show the logical relationships between them (entailment, contradiction, or neutrality).
Xuyao Feng, Anthony Hunter
· 0 citations