Question 3. Backward Chaining

One of your friends suggests that Malory might like Ozark, but you want to run

your backward chainer to help you prove whether or nor that statement is true.

You use the same initial assertions as in Question 2 plus a new assertion:

(Malory lives-in Miami)

You also use the same six rules as in your forward chaining system (Question

2) plus a new rule:

if (?x likes Your Honor) Then (?x likes BryanCranston)

You then ask your backward chainer to prove the following assertion:

(Ozark is-recommended-for Malory)

Question 2. Forward Chaining

You want to recommend Netflix shows to two of your friends using a forwardchaining

inspired recommender system.

Your rule based system or knowledge base is as follows:

The assertions are:

Alice lives-in Miami

Bob lives-in Boston

Alice likes crime-drama tv shows

Bob likes Bryan Cranston

Malory likes Your Honor

Bryan Cranston performs in Breaking Bad

Bryan Cranston performs in Sneaky Pete

Bryan Cranston performs in El Camino

The rules are:

1. if (?x likes BryanCranston) Then (?x likes crime-drama)

2. if (?x likes BreakingBad) Then (?x likes Thriller)

3. if (?x lives-in Boston) and (?x likes crime-drama) Then (?x likes Thriller)

4. if (?x lives in Miami) Then (?x likes politics)

5. if (?x likes politics) and (?x likes crime-drama) Then (House-of-Cards isrecommended-

for ?x)

6. if (?x likes Thriller) Then (Ozark is-recommended-for ?x)

Assume new assertions are added to the end of the assertion database. Terminate

when no further assertions can be made.