Human and Unhuman Commonsense Reasoning

Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logic, and in doing so identify some similarities and differences between Ford’s logic and existing defeasible logics. Several technical results about FDL are established, including its inference strength in relation to other defeasible logics.

• Type: Journal
• Year: 2010
• Where: LPAR
• Authors: Michael J. Maher
• Keywords: Automated Reasoning, Defeasible Logic Fdl, Defeasible Logics, Human Non-monotonic Reasoning, LPAR 2010