Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Backward_chaining> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items 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 wikiPageRevisionID "595222722".
- 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 type Artifact100021939.
- Backward_chaining type ExpertSystems.
- Backward_chaining type Instrumentality103575240.
- Backward_chaining type Object100002684.
- Backward_chaining type PhysicalEntity100001930.
- Backward_chaining type System104377057.
- Backward_chaining type Whole100003553.
- 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 label "Chaînage arrière".
- Backward_chaining label "Rückwärtsverkettung".
- Backward_chaining label "Wnioskowanie w tył".
- Backward_chaining label "後向き連鎖".
- Backward_chaining sameAs Rückwärtsverkettung.
- 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 Q1141183.
- Backward_chaining sameAs Q1141183.
- Backward_chaining sameAs Backward_chaining.
- Backward_chaining wasDerivedFrom Backward_chaining?oldid=595222722.
- Backward_chaining depiction Backward_Chaining_Frog_Color_Example.png.
- Backward_chaining isPrimaryTopicOf Backward_chaining.
