We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Proofs in System P.
- Authors
Parsons, Simon; Bourne, Rachel A.
- Abstract
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.
- Subjects
DEFAULT reasoning; PROBABILITY theory
- Publication
International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2000, Vol 8, Issue 2, p203
- ISSN
0218-4885
- Publication type
Article
- DOI
10.1142/S0218488500000149