Logic programming, probability, and two-system accounts of reasoning a rejoinder to Oaksford and Chater (2014)

This reply to Oaksford and Chater’s (O&C)’s critical discussion of our use of logic programming (LP) to model and predict patterns of conditional reasoning will frame the dispute in terms of the semantics of the conditional. We begin by outlining some common features of LP and probabilistic conditionals in knowledge-rich reasoning over long-term memory knowledge bases. For both, context determines causal strength; there are inferences from the absence of certain evidence; and both have analogues of the Ramsey test. Some current work shows how a combination of counting defeaters and statistics from network monitoring can provide the information for graded responses from LP reasoning. With this much introduction, we then respond to O&C’s specific criticisms and misunderstandings.