code

; PLN deductive reasoning with confidence !(add-belief (Inheritance "Tweety" "Bird") (stv 0.95 0.9)) !(add-belief (Inheritance "Bird" "Animal") (stv 0.99 0.99)) ; Deductive inference !(pln-deduce (Inheritance "Tweety" "Animal")) ; => (stv 0.94 0.89)