CSCI 446 |
Part 2: Inference in First Order LogicNo kitten, that loves fish, is unteachable. No kitten without a tail will play with a gorilla. Kittens with whiskers always love fish. No teachable kitten has green eyes. No kittens have tails unless they have whiskers.
Using three approaches, try to prove the following:My kitten who has green eyes does not love fish.
A. Forward Chaining. Use forward chaining to try to prove the previous assertion. Remember, that in order to use forward (or backward) chaining, the knowledge base must be in Horn form. So start by translating your KB into Horn clauses. Show your work in doing the translation, and then as you do the inference, show the logical progrssion so I can see how you did your reasoning.My kitten is unteachable.
Page last updated: August 17, 2018