A method of reasoning in which the program reasons toward a goal. It seeks to identify all rules whose "if" portions are true, and uses the "then" portions of those rules to find other rules that are also true.
|
A method of reasoning in which the program reasons toward a goal. It seeks to identify all rules whose "if" portions are true, and uses the "then" portions of those rules to find other rules that are also true.