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.
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.