ON PROOFS IN SYSTEM P
Simon Parsons, Rachel A. Bourne · International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 2000
This paper investigates how the rules of System P might be used in order to construct proofs for default consequences which take into account the bounds on the probabilities of the consequents of the defaults. Using a knowledge base of default rules which are considered to be constraints on a probability distribution, the result of applying the rules of P gives us new constraints that were implicit in the knowledge base and their associated lower bounds. The paper defines a proof system for such constraints, shows that it is sound, and then discusses at length the completeness of the system and the kind of proofs that it can generate.