Soft Computing

, Volume 8, Issue 4, pp 247–255

Deduction from conditional knowledge


    • Space and Naval Warfare Systems Center(SPAWARSYSCEN) D44210 (PL-BK)
  • I. R. Goodman
    • Space and Naval Warfare Systems Center(SPAWARSYSCEN) D44210 (PL-BK)
  • H. T. Nguyen
    • Department of Mathematical SciencesNew Mexico State University

DOI: 10.1007/s00500-003-0268-0

Cite this article as:
Bamber, D., Goodman, I. & Nguyen, H. Soft Computing (2004) 8: 247. doi:10.1007/s00500-003-0268-0


We propose a Bayesian second-order probability approach to the problem of making inferences from conditional probability information. We present examples that, on the surface, appear to indicate a “disconnect” between logic and probability. These examples seem to indicate that conclusions that can be deduced when premises are completely reliable can no longer be deduced when the reliability of premises (as measured by their probability) is anything less than perfect. To overcome the resulting “deductive paralysis”, we present probabilistic forms of logic in which the goal is not to reach conclusions that are certain to be true, but rather to reach conclusions that are true “nearly always” or “on average”. In so doing, we reveal a hidden smooth connection between logic and probability. The use of fuzzy logic to model linguistic probabilities is also discussed.


Conditional events Conditional probability Dirichlet distributions Rule-based systems Second-order probability Linguistic probability Fuzzy logic

Copyright information

© Springer-Verlag Berlin Heidelberg 2003