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.
Published Date: May 1999
Registration: ISBN 978-1-57735-080-4
Copyright: Published by The AAAI Press, Menlo Park, California.