![]() Backward chaining systems usually employ a depth-first search strategy, e.g. It is one of the two most commonly used methods of reasoning with inference rules and logical implications – the other is forward chaining. Both rules are based on the modus ponens inference rule. ![]() ![]() In chess, it is called retrograde analysis, and it is used to generate tablebases for chess endgames for computer chess.īackward chaining is implemented in logic programming by SLD resolution. In game theory, its application to (simpler) subgames in order to find a solution to the game is called backward induction. It is used in automated theorem provers, inference engines, proof assistants and other artificial intelligence applications. Not to be confused with Backward Chaining (Applied Behavior Analysis).īackward chaining (or backward reasoning) is an inference method that can be described (in lay terms) as working backward from the goal(s).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |