CS340 Lab 5 - First-Order Logic

You will use the “First-Order Logic” module of the AI program to answer the following questions. In the module all variables start with “$”.

1. Create a knowledge-base with the following information:

· All mothers are parents

· All fathers are parents

· A parent of a parent is a grandparent

· Gerda is Peter’s mother

· Torsten is Peter’s father

· Peter is the father of Isabella and Juliet.

Ask the knowledge-base “Who is the grandparent of whom?”

Turn in the contents of your knowledge-base and your query with its result.

2. Create a knowledge-base with the following information:

• Mammals have fours legs and no arms or two arms and two legs.
• A horse is a mammal and a horse has no arms

Ask the knowledge-base “How many legs does a horse have?”

Turn in the contents of your knowledge-base and your query with its result.