Formal Logic For Expert Systems
The machinery of an expert system essentially consists of a representation language and an inference method (Luger and Stubblefield 1989). The representation language commonly used is that of production rules, simple if-then constructs which specify the conditions under which a conclusion can be said to follow. The inference method links sequences of these rules together by means of backward or forward chaining to extrapolate conclusions from the knowledge base.
KeywordsExpert System Classical Logic Production Rule Theorem Prover Inference Method
Unable to display preview. Download preview PDF.