## chapter 8 (knowledge base) exercise question about representation

Expand Messages
• Hello, I have tried to do exercise of chapter 8 and found it is more difficult than previous chapters. I have listed my answer and my consideration about one
Message 1 of 4 , Dec 9, 2003
Hello,
I have tried to do exercise of chapter 8 and found it is more
difficult than previous chapters.
Could you give me your ideas?

8.2 a.Water boils at 100 degrees.
All e belong(e,Boil(Water)) <==> Temperature(Water) = 100
My consideration:
correct?

8.2 b. The water in John's water bottle is frozen.
Some x, Some y, Belong(x,Water)^In(x,y)^Type(y)=bottle^owner(y)
=John^Purpose(y)=Water
My consideration:
1. I think "bottle" is a category word, it is countable, so "bottle"
can't be used to especially pointed to this John's water bottle.
Therefore variable "y" is added. Is it right?
2. I think it is not necessary to give a name to the object in the
John's water bottle. Therefore variable "x" is added. Is it right?
3. How to represent the "water bottle"?
I have used Type(y)=bottle^Purpose(y)=Water. Does better
represetation exists, and how?
4. I don't know it is suitable to use "variable like x, y" when

8.2 d All liquid has a freezing point.
All x, Status(x) = liquid ==> some m, (FreezingPoint(x) = Centigrade
(m))
All x, Some e, belong(e,Status(x) = liquid) ==> some m, (FreezingPoint

My consideration:
1. I think that the first answer is wrong, because it restricts the
pre-condition and it is different from the statement.
2. I don't know the predicate "FreezingPoint" is too long,
like "VerySmallBearBrain". How do you think about it?

kind regards/chenyu
• Please unsubscribe me from yor database ... Do you Yahoo!? Protect your identity with Yahoo! Mail AddressGuard
Message 2 of 4 , Dec 9, 2003
Please unsubscribe me from yor database

Do you Yahoo!?
• Fidelis Temu wrote:Please unsubscribe me from yor database ... Do you Yahoo!? Protect your identity with Yahoo! Mail AddressGuard Yahoo!
Message 3 of 4 , Dec 10, 2003

Fidelis Temu <fideldor@...> wrote:
Please unsubscribe me from yor database

Do you Yahoo!?

To unsubscribe from this group, send an email to:
aima-talk-unsubscribe@yahoogroups.com