to edit and comment
CONCEPT
backward chaining
an inference method used in automated theorem provers, proof assistants and other artificial intelligence applications. Backward chaining starts with a list of goals (or a hypothesis) and works backwards from the consequent to the antecedent to see if there is data available that will support any of these consequents.

Definition contributed by BGregory about nine months ago.

  • no associations
divider
are kinds of
divider backward chaining divider
is a kind of
divider
  • no associations
           
  • no associations
divider
are parts of
is a part of
divider
  • no associations

backward chaining
is a kind of

No associations

backward chaining
is a part of

No associations

kinds of
backward chaining

No associations

parts of
backward chaining

No associations


Log in to add and edit tasks.
No tasks have yet been added.
0 colormap legend 347

NPicchetti Initial definition retrieved from http://psychology.wikia.com/wiki/Chaining
about nine months ago


Revision 2

Definition contributed by BGregory about one year ago:

an inference method used in automated theorem provers, proof assistants and other artificial intelligence applications. Backward chaining starts with a list of goals (or a hypothesis) and works backwards from the consequent to the antecedent to see if there is data available that will support any of these consequents. (from psychology.wikia.com)

Revision 1

Definition contributed by SAdministrator about two years ago:

No definition submitted yet

View Term Event Log
No studies have been associated with this concept yet.



Also available as: