Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Backward_chaining> ?p ?o }
Showing triples 1 to 85 of
85
with 100 triples per page.
- Backward_chaining abstract "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. In chess, it is called retrograde analysis, and it is used to generate tablebases for chess endgames for computer chess.Backward chaining is implemented in logic programming by SLD resolution. Both rules are based on the modus ponens inference rule. It is one of the two most commonly used methods of reasoning with inference rules and logical implications – the other is forward chaining. Backward chaining systems usually employ a depth-first search strategy, e.g. Prolog.".
- Backward_chaining thumbnail Backward_Chaining_Frog_Color_Example.png?width=300.
- Backward_chaining wikiPageExternalLink forward-vs-backward-chaining.
- Backward_chaining wikiPageExternalLink node12.html.
- Backward_chaining wikiPageID "568967".
- Backward_chaining wikiPageLength "6088".
- Backward_chaining wikiPageOutDegree "47".
- Backward_chaining wikiPageRevisionID "647825529".
- Backward_chaining wikiPageWikiLink Affirming_the_consequent.
- Backward_chaining wikiPageWikiLink Antecedent_(logic).
- Backward_chaining wikiPageWikiLink Artificial_intelligence.
- Backward_chaining wikiPageWikiLink Automated_theorem_prover.
- Backward_chaining wikiPageWikiLink Automated_theorem_proving.
- Backward_chaining wikiPageWikiLink Backward_Chaining_(Applied_Behavior_Analysis).
- Backward_chaining wikiPageWikiLink Backward_induction.
- Backward_chaining wikiPageWikiLink Category:Artificial_intelligence.
- Backward_chaining wikiPageWikiLink Category:Expert_systems.
- Backward_chaining wikiPageWikiLink Category:Logic_in_computer_science.
- Backward_chaining wikiPageWikiLink Category:Reasoning.
- Backward_chaining wikiPageWikiLink Chess_endgame.
- Backward_chaining wikiPageWikiLink Computer_chess.
- Backward_chaining wikiPageWikiLink Consequent.
- Backward_chaining wikiPageWikiLink Data.
- Backward_chaining wikiPageWikiLink Data_driven.
- Backward_chaining wikiPageWikiLink Depth-first_search.
- Backward_chaining wikiPageWikiLink ECLiPSe.
- Backward_chaining wikiPageWikiLink Expert_system.
- Backward_chaining wikiPageWikiLink Expert_systems.
- Backward_chaining wikiPageWikiLink Forward_chaining.
- Backward_chaining wikiPageWikiLink Game_theory.
- Backward_chaining wikiPageWikiLink Goal.
- Backward_chaining wikiPageWikiLink Goal-oriented.
- Backward_chaining wikiPageWikiLink Goal_orientation.
- Backward_chaining wikiPageWikiLink Hypothesis.
- Backward_chaining wikiPageWikiLink Inference.
- Backward_chaining wikiPageWikiLink Inference_engine.
- Backward_chaining wikiPageWikiLink Inference_rule.
- Backward_chaining wikiPageWikiLink Knowledge_Machine.
- Backward_chaining wikiPageWikiLink Logic_programming.
- Backward_chaining wikiPageWikiLink Logical_consequence.
- Backward_chaining wikiPageWikiLink Modus_ponens.
- Backward_chaining wikiPageWikiLink Modus_tollens.
- Backward_chaining wikiPageWikiLink Opportunistic_reasoning.
- Backward_chaining wikiPageWikiLink Prolog.
- Backward_chaining wikiPageWikiLink Proof_assistant.
- Backward_chaining wikiPageWikiLink Reason.
- Backward_chaining wikiPageWikiLink Reasoning.
- Backward_chaining wikiPageWikiLink Retrograde_analysis.
- Backward_chaining wikiPageWikiLink Rule-based_system.
- Backward_chaining wikiPageWikiLink Rule_base.
- Backward_chaining wikiPageWikiLink Rule_of_inference.
- Backward_chaining wikiPageWikiLink SLD_resolution.
- Backward_chaining wikiPageWikiLink Subgame.
- Backward_chaining wikiPageWikiLink File:Backward_Chaining_Frog_Color_Example.png.
- Backward_chaining wikiPageWikiLinkText "Backward chaining".
- Backward_chaining wikiPageWikiLinkText "backward chaining".
- Backward_chaining wikiPageWikiLinkText "backward reasoning".
- Backward_chaining wikiPageWikiLinkText "backwards".
- Backward_chaining hasPhotoCollection Backward_chaining.
- Backward_chaining subject Category:Artificial_intelligence.
- Backward_chaining subject Category:Expert_systems.
- Backward_chaining subject Category:Logic_in_computer_science.
- Backward_chaining subject Category:Reasoning.
- Backward_chaining hypernym Method.
- Backward_chaining type Area.
- Backward_chaining type Article.
- Backward_chaining type Software.
- Backward_chaining type Application.
- Backward_chaining type Area.
- Backward_chaining type Article.
- 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.".
- Backward_chaining label "Backward chaining".
- Backward_chaining sameAs Rückwärtsverkettung.
- Backward_chaining sameAs زنجيرهسازی_عقبسو.
- Backward_chaining sameAs Chaînage_arrière.
- Backward_chaining sameAs 後向き連鎖.
- Backward_chaining sameAs 후방_추론.
- Backward_chaining sameAs Wnioskowanie_w_tył.
- Backward_chaining sameAs m.02q_3t.
- Backward_chaining sameAs Зворотний_вивід.
- Backward_chaining sameAs Q1141183.
- Backward_chaining sameAs Q1141183.
- Backward_chaining wasDerivedFrom Backward_chaining?oldid=647825529.
- Backward_chaining depiction Backward_Chaining_Frog_Color_Example.png.
- Backward_chaining isPrimaryTopicOf Backward_chaining.