A GENERALIZED VIEW OF NONMONOTONIC KNOWLEDGE: A SET OF THEORETIC PERSPECTIVE
Ronald R. Yager · International Journal of General Systems · 1988
We provide a set theoretic framework for looking at the classical logical inference problem. We then introduce within this framework a new class of propositions, called second order propositions, which provide a prototypical characterization of nonmonotonic type default knowledge. We study the properties of this new class of propositions.