UB CSE4/572 Sp 2000 Project4

CSE472/572 KNOWLEDGE-BASED ARTIFICIAL INTELLIGENCE
Spring, 2000

Project 4
Knowledge Engineering in Prolog
Due: Thursday, April 27, 2000
in Lecture

For this project, you are to do Exercise 8.15 on page 263-4 of the text in Prolog. That is, you are to create a Prolog file containing the information in the sentence

Yesterday John went to the North Berkeley Safeway and bought two pounds of tomatoes and a pound of ground beef.

as well as sufficient background commonsense knowledge to answer questions a-i on page 264. Follow the advice of the text (pages 263-4) in deciding what background knowledge to represent. Here's some more advice:

You should not have any knowledge fact that is just an instance of one of the questions.
Each question should require at least two rule firings.
Background knowledge should be in terms of general categories in which individuals mentioned in the input sentence, "Yesterday John went...", are.
Your background knowledge need not be strictly true, but generally reasonable and appropriate for answering the questions.

Prolog links:

Phil Ventura's Prolog links
Carl Alphonce's Prolog links
Prolog for Software Engineering, a Prolog tutorial by Peter B. Reintjes.

The paper should discuss and justify your representation and rules, show your program answering questions a-i at the end of Exercise 8.15, and satisfy all the course requirements for a project paper.

You are to submit your file by 1:30 PM, Thursday, April 27, 2000, and then turn in your paper at the start of lecture on that same day, Thursday, April 27, 2000.

Back to CSE4/572 Syllabus.

Stuart C. Shapiro <shapiro@cse.buffalo.edu>