20CS633 AI – I
20CS5133/20CS6033 AI – I
Fall 2016
Instructor: Anca Ralescu
Homework Assignment #3
Assigned on September 26, 2016
Due on Blackboard: Sunday October 10, 2016, 11:59PM
30 points
This is a constraints satisfaction problem. Consider the following logic puzzle: In five houses, each of a different color, live five persons, each of a different nationality, each of whom prefers a different brand of candy, a different kind of pet, and a different drink. We are given the following knowledge base:
The Englishman lives in the red house.
The Spaniard owns the dog.
The Norwegian lives in the first house on the left.
The green house is immediately to the right of the ivory house.
The man who eats Hershey-bars lives in the house next to the man with the fox.
Kit-Kats are eaten in the yellow house.
The Norwegian lives next to the blue house.
The Smarties eater owns snails.
The Snickers eater drinks orange juice.
The Ukrainian drinks tea.
The Japanese eats Milky-Ways.
Kit-Kats are eaten in a house next to the house where the horse is kept.
Coffee is drunk in the green house.
Milk is drunk in the middle house.
Write a FRIL program which would allow you to implement this KB and allow you to answer various questions such as:
What color is the house in which the Norwegian lives?
What color is the house in which the zebra lives?
In which house is wine drank?
In which house are Smarties eaten and orange juice drank?
What color is the fifth house (last house on the right)?
Who drinks what?
Etc.
If a query cannot be answered directly from the knowledge base, your program should generate possible answers. For example, suppose the query is “who drinks water?” The knowledge base contains no clause on anybody drinking water. Rather than let the query fail, the program should output possible answers, for example “nobody drinks water”, or, eliminating those for which it can find what they drink, display the answer in the format “possibly
Please turn in your program, along with a sample of runs attached to your program file as comments.
20CS
5133/20CS
6
0
33 AI
–
I
Fall 201
6
Instructor: Anca Ralescu
Homework Assignment #
3
Assigned on
Sep
tember 26, 2016
Due on
Blackboard:
Sunday
October
10, 2016, 11:59PM
3
0 points
T
his
is a co
n
s
traints satisfaction problem.
Consider the following logic puzzle:
In five houses, each of a different
color, live five persons, each of a
different nationality, each of whom prefers a different brand of candy, a
different kind of pet, and a different drink. We are given the following knowledge base:
The Englishman lives in the red house.
The Spaniard owns the dog.
The Norwegian lives in th
e first house on the left.
The green house is immediately to the right of the ivory house.
The man who eats Hershey
–
bars lives in the house next to the man with the fox.
Kit
–
Kats are eaten in the yellow house.
The Norwegian lives next to the blue house.
The Smarties eater owns snails.
The Snickers eater drinks orange juice.
The Ukrainian drinks tea.
The Japanese eats Milky
–
Ways.
Kit
–
Kats are eaten in a house next to the house where the horse is kept.
Coffee is drunk in the green house.
Milk is drunk in th
e middle house.
Write
a FRIL program which would
allow you to implement this KB and
allow you to answer various questions
such as:
What color is the house in which the Norwegian lives?
What color is the house in which the
zebra
lives?
In which house is
wine drank?
In which house are Smarties eaten and orange juice drank?
What color is the fifth house (last house on the right)?
Who drinks what?
Etc.
If a query cannot be answered directly from the knowledge base, your program should generate possible
answ
ers. For example, suppose the query is
“who drinks water?”
The knowledge base contains no clause on
any
body drinking water. Rather tha
n let the que
ry fail, the
program should out
put possible answers,
for
example
“
nobody drinks water
”
, or,
eliminating those for which it can find what they dr
ink
,
display the answer
in the format
“possibly <
nationality> drinks water”
.
Please turn in your program, along with a sample of runs attached to your program file as comments.
/docProps/thumbnail.emf
20CS5133/20CS6033 AI – I
Fall 2016
Instructor: Anca Ralescu
Homework Assignment #3
Assigned on September 26, 2016
Due on Blackboard: Sunday October 10, 2016, 11:59PM
30 points
This is a constraints satisfaction problem. Consider the following logic puzzle: In five houses, each of a different
color, live five persons, each of a different nationality, each of whom prefers a different brand of candy, a
different kind of pet, and a different drink. We are given the following knowledge base:
The Englishman lives in the red house.
The Spaniard owns the dog.
The Norwegian lives in the first house on the left.
The green house is immediately to the right of the ivory house.
The man who eats Hershey-bars lives in the house next to the man with the fox.
Kit-Kats are eaten in the yellow house.
The Norwegian lives next to the blue house.
The Smarties eater owns snails.
The Snickers eater drinks orange juice.
The Ukrainian drinks tea.
The Japanese eats Milky-Ways.
Kit-Kats are eaten in a house next to the house where the horse is kept.
Coffee is drunk in the green house.
Milk is drunk in the middle house.
Write a FRIL program which would allow you to implement this KB and allow you to answer various questions
such as:
What color is the house in which the Norwegian lives?
What color is the house in which the zebra lives?
In which house is wine drank?
In which house are Smarties eaten and orange juice drank?
What color is the fifth house (last house on the right)?
Who drinks what?
Etc.
If a query cannot be answered directly from the knowledge base, your program should generate possible
answers. For example, suppose the query is “who drinks water?” The knowledge base contains no clause on
anybody drinking water. Rather than let the query fail, the program should output possible answers, for
example “nobody drinks water”, or, eliminating those for which it can find what they drink, display the answer
in the format “possibly
Please turn in your program, along with a sample of runs attached to your program file as comments.