Why CNF is necessary? From the following facts, show that “Charlie is a mammal” using FOPL based resolution method. Cows, pigs and horses are mammals…
BIT Artificial Intelligence · 2079 · Solved Question with Answer
Why CNF is necessary? From the following facts, show that “Charlie is a mammal” using FOPL based resolution method.
- Cows, pigs and horses are mammals
- The child of a horse is a horse
- Bluebeard is a horse
- Bluebeard is Charlie’s father
- Child and father are inverse relations
- Every mammal has a father.