Q1. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog,
Q1. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog, who is named Bob. Prove using Backward chaining Did Kamran kill the dog?
Q2. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog, who is named Bob. Prove using Forward chaining Did Kamran kill the dog?
Q3. Noman owns a parrot. Every parrot owner is an animal lover. No animal lover kills an animal. Either Noman or Kamran killed the dog, who is named Bob. Prove using Resolution Algorithm Did Kamran kill the dog?
Step by Step Solution
There are 3 Steps involved in it
Step: 1
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
Authors: Suad Alagic
1st Edition
354096276X, 978-3540962762
