Browse Prior Art Database

Backward Chaining at Compile Time

IP.com Disclosure Number: IPCOM000037538D
Original Publication Date: 1989-Mar-01
Included in the Prior Art Database: 2005-Jan-29

Publishing Venue

IBM

Related People

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

Abstract

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.