A LOGIC WITH BIG-STEPPED PROBABILITIES THAT CAN MODEL NONMONOTONIC REASONING OF SYSTEM P


Dragan Doder




We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic presented here.