Publications de l'Institut Mathématique, Nouvelle SérieVol. 90(105), pp. 13–22 (2011)
|
|
Publications de l'Institut Mathématique, Nouvelle Série Vol. 90(105), pp. 13–22 (2011) |
|
|
A LOGIC WITH BIG-STEPPED PROBABILITIES THAT CAN MODEL NONMONOTONIC REASONING OF SYSTEM PDragan DoderFaculty of Mechanical Engineering, University of Belgrade, Belgrade, SerbiaAbstract: 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. Classification (MSC2000): 03B48 Full text of the article: (for faster download, first choose a mirror)
Electronic fulltext finalized on: 16 Nov 2011. This page was last modified: 30 Nov 2011.
© 2011 Mathematical Institute of the Serbian Academy of Science and Arts
|