Backward chaining (or backward reasoning) is an inference method used in automated theorem provers, proof assistants and other artificial intelligence applications.
backward chaining a proof that starts with the conclusion and searches for rules or facts that support the conclusions, recursively.
Backward chaining starts with a list of goals and works backwards to see if there is data which will allow it to conclude any of these goals.
Occurs when a backward chaining process fails after a choice point. The system returns to mthe choice point and continues to test clauses.
The process used to prove goals by comparing the goals to the facts or rules.
Choice Point ...
On the contrary, in backward chaining, the system is initialized with a given hypothesis, and, then, the veracity of this hypothesis is proved by checking the rules within the domain.
6 Forward Chaining And Backward Chaining Inference Techniques
2.7 MEDIA ADVISOR: A Demonstration Rule-Based Expert System
2.8 Conflict Resolution
2.9 Advantages And Disadvantages Of Rule-Based Expert Systems
2.10 Summary
Questions For Review ...
The procedure of working backward from the conclusion the situation that would make the conclusion true is called backward chaining and is MYCIN's fundamental reasoning mechanism.
Backward chaining is one of the two main methods of reasoning when using inference rules. ... Fuzzy logic is derived from fuzzy set theory dealing with reasoning that is approximate rather than precisely deduced from classical predicate logic. ... ..
All inferences are done by backward chaining, with depth-first search. The order of search through the conjuncts of an antecedent is strictly left to right, and clauses in the knowledge base are applied in first-to-last order.
The system was actually an integration of a real-time forward chaining expert system and a backward chaining system as the Decision Support System framework using simulation models and Geographic Information Systems or GIS.
On rule activation, pattern parts are tested for matches in the knowledge base and when found the action part of the rule is triggered using variable values determined by the pattern. This production system operates on a backward chaining control ...
 See also: Knowledge, Inference, Artificial intelligence, Expert system, AI
  
|
RSS
