Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible.
  • ISBN10 1881526844
  • ISBN13 9781881526841
  • Publish Date 1 June 1997 (first published 25 January 1991)
  • Publish Status Withdrawn
  • Publish Country US
  • Imprint Centre for the Study of Language & Information