Skip to search formSkip to main contentSkip to account menu

Backward chaining

Known as: Backwards reasoning, Chaining (disambiguation), Backward reasoning 
Backward chaining (or backward reasoning) is an inference method that can be described (in lay terms) as working backward from the goal(s). It is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

27 relations

Broader (2)

Artificial intelligenceLogic in computer science
Automated planning and schedulingBackward inductionBusiness rules engineComputer chess

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Product quality driven design of bakery operations using dynamic optimization
2004
2004
Preamble computation in automated test case generation using constraint logic programming
BZ‐Testing‐Tools (BZ‐TT) is a tool‐set for automated model‐based test case generation from B abstract machines and Z… 
2004
2004
Question Answering using Sentence Parsing and Semantic Network Matching
The paper describes a question answering system for German called InSicht. All documents in the system are analyzed by a… 
2004
2004
Distributed contextual diagnosis for very large systems
Review
2001
Review
2001
An Overview of Recent Algorithms for AI Planning
During the past several years, AI planning has made major steps forward in terms of the size and difficulty of problems that can… 
1997
1997
Computer-Aided Setup Planning and Fixture Design
ABSTRACTManufacturing planning makes a significant contribution to production cycle. This paper studies a feature analysis based… 
1991
1991
Emulating the Prospector Expert System with a raster GIS
1989
1989
Deduction Graphs: An Algorithm and Applications
  • C. Yang
  • IEEE Trans. Software Eng.
  • 1989
  • Corpus ID: 12587700
A deduction graph (DG) for logically deducing a new functional dependency (FD) or function-free Horn formula (extended from Horn… 
1982
1982
Salience: The Key to the Selection Problem in Natural Language Generation
We argue that in domains where a strong notion of salience can be defined, it can be used to provide: (1) an elegant solution to… 
1981
1981
Tuning of Search of the Problem Space for Geometry Proofs
In planning a proof, a student searches through a space of inferences leading forward from the givens of the problem and backward… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)