Nonmonotonic Reasoning via Possibility Theory
arXiv:1304.2381
Abstract
We introduce the operation of possibility qualification and show how. this modal-like operator can be used to represent "typical" or default knowledge in a theory of nonmonotonic reasoning. We investigate the representational power of this approach by looking at a number of prototypical problems from the nonmonotonic reasoning literature. In particular we look at the so called Yale shooting problem and its relation to priority in default reasoning.
Appears in Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (UAI1988)