Probabilistic Label Algebra for the Logic of Plausible Reasoning
Bartłomiej Śnieżyński · 2002
This paper presents plausible algebra for the logic of plausible reasoning (LPR), which is defined as a labeled deductive system. Labels representing uncertainty of knowledge are defined in terms of probability. Examples of applying proof rules conclude the work.