Обратен извод (backward chaining)

?-is_true(flies(tweety),Inference).

Is penguin(tweety) true (y/n): n.

Inference =

[ rule(if bird(tweety)and not penguin(tweety) then flies(tweety)),

rule(if has_feathers(tweety) and

lays_eggs(tweety) then bird(tweety)),

fact(has_feathers(tweety)),

fact(lays_eggs(tweety)),

not(penguin(tweety))]

Previous slide

Back to first slide

View graphic version