APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE

Applications of Circumscription to Formalizing Common Sense Knowledge was first published in Artificial Intelligence in 1986. A preliminary version was given at the 1984 Mohonk conference on nonmonotonic reasoning. .dvi, .pdf and .ps versions are also available.

The formalsm of this paper mainly supersedes that of Circumscription - A Form of Nonmonotonic Reasoning. In particular this paper properly treats variables that are not minimized.

@article{McC86,
author = "John McCarthy",
title = "Applications of Circumscription to Formalizing Common Sense
Knowledge",
note = {Reprinted in \cite{McC90}},
journal = {Artificial Intelligence},
year = 1986,
volume = 28,
pages = "89--116"}

Up to: McCarthy home page

I welcome comments, and you can send them by clicking on .