Question 4. Given the following KB, prove Thief (Ali) using backward chaining (draw the tree) A1: Delinquent (x)^ Sell (x, y, 2) A Honest (z) > Thief (x) . А2: Наs (GMС, Ahmed) . АЗ: Сar (GMC) . А4: Сar (y)Л Нas (у, 2) Sell (Ali, y,z) . А6: Delinquеnt (Ali) A7: Honest (Ahmed) Show transcribed image text Question 4. Given the following KB, prove Thief (Ali) using backward chaining (draw the tree) A1: Delinquent (x)^ Sell (x, y, 2) A Honest (z) > Thief (x) . А2: Наs (GMС, Ahmed) . АЗ: Сar (GMC) . А4: Сar (y)Л Нas (у, 2) Sell (Ali, y,z) . А6: Delinquеnt (Ali) A7: Honest (Ahmed)
Expert Answer
Answer to Question 4. Given the following KB, prove Thief (Ali) using backward chaining (draw the tree) A1: Delinquent (x)^ Sell (…