Browse Prior Art Database

Backward Chaining at Compile Time Disclosure Number: IPCOM000037538D
Original Publication Date: 1989-Mar-01
Included in the Prior Art Database: 2005-Jan-29

Publishing Venue


Related People

Gallivan, HW Highland, FD Iwaskiw, CT Tani, JD [+details]


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.