Reasoning is an integral part of human lives. It is well-documented that human reasoning fails to conform to the prescriptions of classical logics, such as propositional logic. An important question in the artificial intelligence community has been to accurately represent human reasoning. Non-classical or non-monotonic logic is flexible by nature and non-monotonic reasoning approaches have been developed to model human reasoning. The problem, however, is that non-monotonic reasoning schemes have been developed for and tested on computers, but not on humans. We propose to determine the extent to which forms of non-montonic reasoning correspond with human reasoning.
To download our project proposal, click on the link below.
To download our project poster, click on the link below.