A Computational Logic Approach to the Suppression Task
Emmanuelle-Anna Dietz, Steffan Holldobler, Marco Ragni · eScholarship (California Digital Library) · 2012
A novel approach to human conditional reasoning based on the three-valued Łukasiewicz logic is presented.We will demonstrate that the Łukasiewicz logic overcomes problems the sofar proposed Fitting logic has in reasoning with the suppression task.While adequately solving the suppression task, the approach gives rise to a number of open questions concerning the use of Łukasiewicz logic, unique fixed points, completion versus weak completion, explanations, negation, and sceptical versus credulous approaches in human reasoning.