Applying the new implication operator to professional judgement in risk assessment | IEEE Conference Publication | IEEE Xplore