Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

LPAR
2010
Springer

favoriteEmaildiscussreport

163views Automated Reasoning» more LPAR 2010»

Human and Unhuman Commonsense Reasoning

13 years 2 months ago

Human and Unhuman Commonsense Reasoning

Download www.cse.unsw.edu.au

Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We deﬁne 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

Real-time Traffic

Automated Reasoning | Defeasible Logic Fdl | Defeasible Logics | Human Non-monotonic Reasoning | LPAR 2010 |

claim paper

Related Content

» Verbosity a game for collecting commonsense facts

» Elaborating Sensor Data using Temporal and Spatial Commonsense Reasoning

» A goaloriented interface to consumer electronics using planning and commonsense reasoning

» Putting Peoples Common Sense into Knowledge Bases of Household Robots

» Recognizing Expressions of Commonsense Psychology in English Text

» A commonsense approach to predictive text entry

» Raconteur from intent to stories

» Learner a system for acquiring commonsense knowledge by analogy

» Collecting commonsense experiences

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	LPAR
Authors	Michael J. Maher

Comments (0)