Backward Chaining at Compile Time
Original Publication Date: 1989-Mar-01
Included in the Prior Art Database: 2005-Jan-29
This article discloses a technique for performing backward chaining reasoning with a forward chaining inferencing mechanism for the development of knowledge based systems applications. In inference engines, there are primarly two methods of reasoning: backward chaining, which is a goal-driven mechanism, and forward chaining, which is fact-driven.