CSC 411: Artificial Intelligence

(Fall 2006)

Programming Project 3: Knowledge Representation

Due by December 7, Thursday, 2006

 Write Prolog programs for the following knowledge representation systems:

1. Frame system: Your frame system should have the following properties of inheritance that supports the definition of three kinds of slots:

· Properties of a class that may be inherited by subclasses;

· Properties that are inherited by instances of the class but not by subclasses;

· Properties of the class and its subclasses that are not inherited by instances (class properties).

2. Conceptual graphs: Take the conceptual graphs used to describe the “dogs world” of Section 7.2.

· Translate each of the graphs used into Prolog notation;

· Create a list of the propositions whose conjunction make up a graph;

· Accomplish the operations on the graphs by manipulations of these lists;

· Design Prolog rules for the restrict, join, and simplify operations.