nCertainty factors [Shortliffe'76]
nBayes Network [Pearl'82, Jensen'96]
nIncidence calculus
[Bundy'85]
nProbabilistic Logic [Nilsson'86]
nFuzzy logic and possibility logic [Zadeh'75, Dubois/Lang/Prade'94]
nDempster-Shafer Theory [Dampster'68, Shafer'76]
nSubjective Logic
[Jøsang'01]