EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 90(105), pp. 13–22 (2011)

Previous Article

Next Article

Contents of this Issue

Other Issues


ELibM Journals

ELibM Home

EMIS Home


Pick a mirror

 

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

Dragan Doder

Faculty of Mechanical Engineering, University of Belgrade, Belgrade, Serbia

Abstract: 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
© 2011 FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition