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:

 

 

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:

 

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.