The Uncertainty in the Classical Logic and Its Supporting Degree
Qing Hong Zhou, Peng Cheng Wei · Chinese Journal of Computers · 2006
The existence of uncertainty of propositions in the classical logic is analyzed and a measurement method on the uncertainty of those propositions through deduction is proposed.The construction of a new logical system,URS,with uncertain reasoning function which is an extension of the classical logical system is described in details.The syntactic and the semantics of URS are given and the Completeness and Soundness Theorem for URS is proved.The paper concludes with a comprehensive comparison of our proposal with other methods in this field.