Sciweavers

Share
LPAR
2010
Springer

Human and Unhuman Commonsense Reasoning

8 years 3 months ago
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.
Michael J. Maher
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where LPAR
Authors Michael J. Maher
Comments (0)
books