Question

Use forward-chaining to show the assertion Car-OK from

1. Battery-OK Λ Bulbs-OK → Headlights-work
2. Battery-OK Λ Started-OK Λ ┐Empty-Gas-Tank → Engine-Starts
3. Engine-Starts Λ ┐Flat-Tire → Car-OK
4. Radio-Works → Battery-OK
5. ┐Headlights-Work
6. ┐Empty-Gas-Tank
7. Radio-Works
8. Starter-OK
9. ┐Flat-Tire

Answer 1

In forward chaining if the antecedent of the rule is satisfied, based on the rule a conclusion is made.

Here, first four lines are rules like rule1,rule2,rule3 and rule4

Base conditions: ┐Headlights-Work, ┐Empty-Gas-Tank, Radio-Works, Starter-OK, ┐Flat-Tire

Following lines are base conditions. So based on the base conditions and rules, a conclusion is drawn. This is called forward chaining.

----------------------------------------------------------------------------------------------------

Base condition: radio-Works  

and using rule4 (Radio-Works → Battery-OK)

conclution: battery-Ok

Base conditions:battery-Ok, starter-Ok and ┐Empty-Gas-Tank

and using rule2(Battery-OK Λ Started-OK Λ ┐Empty-Gas-Tank → Engine-Starts)

conclusion:Engine-Starts

Base conditions:Engine-Starts, ┐Flat-Tire

and using rule3(Engine-Starts Λ ┐Flat-Tire → Car-OK)

conclusion:Car-Ok