You are given the following information in a KB R1 L G R2 G

You are given the following information in a KB:

R1: L G
R2: G I L
R3: I B
R4: A F B C

R5: A B

R6 : B G

Using Forward Chaining when adding facts F1-F3 (given below) in order, show the order of facts generated and added to the knowledge base. Show your work!

F1: F
F2: L

F3: A

Solution

we have following facts : (F, L, A)

from the knowledge base, from A-> B using R5, hence the fact will include (F, L, A, B),

next we have L-> G using R1, hence the facts will have (F, L, A, B,G),

finally when we will use Rule 4, using A ^ F ^ B -> C, hence the facts generated is (F, L, A, B, G, C)