Matches in DBpedia 2015-10 for { ?s ?p "Backward chaining (or backward reasoning) is an inference method that can be described (in lay terms) as working backward from the goal(s). It is used in automated theorem provers, inference engines, proof assistants and other artificial intelligence applications.In game theory, its application to (simpler) subgames in order to find a solution to the game is called backward induction."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Backward_chaining comment "Backward chaining (or backward reasoning) is an inference method that can be described (in lay terms) as working backward from the goal(s). It is used in automated theorem provers, inference engines, proof assistants and other artificial intelligence applications.In game theory, its application to (simpler) subgames in order to find a solution to the game is called backward induction.".