Answer: Backward chaining (or backward reasoning) is an inference method taha
can be describe as working backward from the goal(s). It is used in automated
theorem provers, inference engines, proof assistant and other artificial
intelligence applications.
For example, suppose that the goal is to conclude
whether Tweety or Fritz is a frog, given information about each of them, and that
the rule base contains the following four rules:
An example of Backward Chaining.
1.
IF
X croaks and eats flies – Then X is a frog
2.
If
X chirps and sings – Then X is a canary
3.
If
X is a frog – Then X is green
4.
If
X is a canary – Then X is yellow
Post a Comment