Nonmonotonic Reasoning via Possibility Theory

TL;DR

This paper presents a possibility qualification operator for nonmonotonic reasoning, enabling representation of default knowledge and addressing classic problems like the Yale shooting problem within a possibility theory framework.

Contribution

It introduces a modal-like possibility qualification operator and explores its effectiveness in modeling default reasoning and solving prototypical nonmonotonic reasoning problems.

Findings

The approach can represent typical/default knowledge effectively.

It provides insights into the Yale shooting problem.

The method enhances the expressiveness of nonmonotonic reasoning models.

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.