Conditional inference in subjective logic
Audun Jøsang, Tyrone W. A. Grandison · 2003
The interpretations of conditionals and condi- tional inference are often disputed. The classic logic con- ditional called material implication can easily be proven to be invalid, and the conditional inference rule Modus Ponens reEresents a tautology that becomes invalid in the face of contrary evidence from realistic scenarios. The foundations of conditionals and conditional inference seem plagued with problems and also seem unable to realistically model causal relationships in the world around us. Now in- troduce the concepts of ignorance and uncertainty into the framework and it seems to get even fuzzier because the tra- ditional tools of logic or probabilistic conditional inference can no longer be applied. This paper introduces a condi- tional inference operator that explicitly incorporates igno- rance and uncertainty, thereby making it suitable in situa- tions of partial ignorance and impegect information.