[WEBINAR] Application Acceleration: Faster Performance for End Users

Backward Chaining

Definition - What does Backward Chaining mean?

Backward chaining is an inference method widely used in artificial intelligence, automated theorem provers and proof assistants. Backward chaining methodology can be described as working back from a goal. Many programming languages support backward chaining within their inference engines.Backward chaining is also referred to as backward reasoning.

Techopedia explains Backward Chaining

Backward chaining is used in logic programming through selective linear definite clause resolution. It's one of the most commonly used methods of reasoning with interference rules and logical implication. Backward chaining works backwards from a list of goals to determine whether there is any data to support them. An inference engine that uses backward chaining searches the inference rules until it finds a rule with a consequent that matches the desired goal. If the antecedent of this rule is not known to be true, the rule is added to the list of goals so that data can be found to confirm it.

Techopedia Deals

Connect with us

Techopedia on Linkedin
Techopedia on Linkedin
"Techopedia" on Twitter

Sign up for Techopedia's Free Newsletter!

Email Newsletter

Join thousands of others with our weekly newsletter

Free Whitepaper: The Path to Hybrid Cloud
Free Whitepaper: The Path to Hybrid Cloud:
The Path to Hybrid Cloud: Intelligent Bursting To Amazon Web Services & Microsoft Azure
Free E-Book: Public Cloud Guide
Free E-Book: Public Cloud Guide:
This white paper is for leaders of Operations, Engineering, or Infrastructure teams who are creating or executing an IT roadmap.
Free Tool: Virtual Health Monitor
Free Tool: Virtual Health Monitor:
Virtual Health Monitor is a free virtualization monitoring and reporting tool for VMware, Hyper-V, RHEV, and XenServer environments.
Free 30 Day Trial – Turbonomic
Free 30 Day Trial – Turbonomic:
Turbonomic delivers an autonomic platform where virtual and cloud environments self-manage in real-time to assure application performance.