ABSTRACT
As discussed in Chapter 2, it is reasonable to model a good deal of human reasoning under certainty using logic. This model led to the development of rulebased systems that use the inference engines forward chaining and backward chaining. For example, it is reasonable to postulate that Mary the botanist has the following rule or item of knowledge stored in her personal data bank of knowledge:
IF stem is woody THEN type is tree.
