backward reasoning
1Backward chaining — (or backward reasoning) is an inference method used in artificial intelligence. It is one of two methods of reasoning that uses inference rules – the other is forward chaining, also known as modus ponens. Backward chaining is implemented in logic …
2Backward induction — is the process of reasoning backwards in time, from the end of a problem or situation, to determine a sequence of optimal actions. It proceeds by first considering the last time a decision might be made and choosing what to do in any situation at …
3backward — backward, retrograde, retrogressive, regressive all involve the idea of not moving or going ahead, or forward, or in advance. Only when applied to motion or a movement does backward imply the reverse of forward motion {a backward thrust of a… …
4reasoning backward — noun the reasoning involved when you assume the conclusion is true and reason backward to the evidence • Syn: ↑regress • Hypernyms: ↑reasoning, ↑logical thinking, ↑abstract thought …
5reasoning — I noun thinking that is coherent and logical (Freq. 5) • Syn: ↑logical thinking, ↑abstract thought • Derivationally related forms: ↑reason • Hypernyms: ↑th …
6backward induction — noun The process of reasoning backwards in time, from the end of a problem or situation, to determine a sequence of optimal actions …
7Opportunistic reasoning — is a method of selecting a suitable logical inference strategy within artificial intelligence applications. Specific reasoning methods may be used to draw conclusions from a set of given facts in a knowledge base, e.g. forward chaining versus… …
8Abductive reasoning — Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis that would, if true, best explain the relevant evidence. Abductive reasoning starts from a set of accepted facts and infers their most… …
9Working backward from the goal — is an application of the backward chaining strategy in artificial intelligence. When problem solving, working backward is one way to reach the goal of solving a problem. Use by primates Kanzi, a bonobo (pygmy chimpanzee, Pan paniscus )… …
10Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …
