Published:
May 1999
Proceedings:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
Volume
Issue:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
Track:
All Papers
Downloads:
Abstract:
This paper investigates how the rules of System P might be used in order to construct proofs for default rules which take into account the bounds on the probabilities of the consequents of the defaults. The paper defines a proof system, shows that it is sound, and then discusses at length the completeness of the system, and the kind of proofs that it can generate.
![](https://aaai.org/wp-content/uploads/2023/06/flairs99.jpg)
FLAIRS
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
ISBN 978-1-57735-080-4
Published by The AAAI Press, Menlo Park, California.