An approach to human-level Commonsense reasoning

Michael L. Anderson

Walid Gomaa

John Grant

Donald Perlis

pp. 201-222

in: Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli (eds), Paraconsistency, Berlin, Springer, 2013

Abstract

Commonsense reasoning has proven exceedingly difficult both to model and to implement in artificial reasoning systems. This paper discusses some of the features of human reasoning that may account for this difficulty, surveys a number of reasoning systems and formalisms, and offers an outline of active logic, a non-classical paraconsistent logic that may be of some use in implementing commonsense reasoning.