e/Backward chaining

Information
has gloss	eng: Backward chaining (or backward reasoning) is an inference method used in automated theorem provers, proof assistants and other artificial intelligence applications. 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 is implemented in logic programming by SLD resolution. Both rules are based on the modus ponens inference rule.
lexicalization	eng: backward chaining
instance of	e/Expert system

Meaning
German
has gloss	deu: Eine Rückwärtsverkettung (engl.: backward chaining) bezeichnet in der Logik eine Inferenz- bzw. Schlussfolgerungs-Strategie der Form: wenn Bedingung, dann Faktum Das Gegenmodell ist die Vorwärtsverkettung. Bedeutung haben diese Verkettungen beispielsweise im Bereich der künstlichen Intelligenz für Inferenzmaschinen.
lexicalization	deu: Rückwärtsverkettung
Japanese
has gloss	jpn: 後向き連鎖（Backward chaining）は、（人工知能において）推論規則を使う時の二種類の主要な推論手法のひとつである。もう一方は前向き連鎖である。
lexicalization	jpn: 後向き連鎖
Korean
lexicalization	kor: 후방 추론
Polish
has gloss	pol: Wnioskowanie w tył - działanie regresywne (Modus Tollendo Tollens). Polega na tym, że wychodzimy od tego, co chcemy udowodnić i idziemy w kierunku aksjomatów.
lexicalization	pol: Wnioskowanie w tył