Обратен извод (backward chaining)
Правила
if gives_milk(X) then mammal(X).
if has_feathers(X) and lays_eggs(X)then bird(X).
if has_gills(X) and lays_eggs(X) then fish(X).
if bird(X) and not penguin(X)
then flies(X).
...
flies(tweety)
Факти
fact(has_feathers(tweety)).
fact(lays_eggs(tweety)).
fact(gives_milk(milka)).
...
fact(flies(tweety))
Previous slide
Next slide
Back to first slide
View graphic version