Description
Problem 1
Part a.
(i). It is syntactically invalid and therefore meaningless.
(ii). It correctly expresses the English sentence.
(iii). It is syntactically valid but does not express the meaning of the English sentence.
Part b.
(i). It correctly expresses the English sentence.
(ii). It is syntactically valid but does not express the meaning of the English sentence.
(iii). It is syntactically invalid and therefore meaningless. (iv). It is syntactically invalid and therefore meaningless.
Part c.
(i). It correctly expresses the English sentence. (ii). It correctly expresses the English sentence.
(iii). It is syntactically valid but does not express the meaning of the English sentence. (iv) It is syntactically valid but does not express the meaning of the English sentence.
Part d.
(i). It correctly expresses the English sentence. (ii). It correctly expresses the English sentence.
(iii). It is syntactically valid but does not express the meaning of the English sentence.
(iv). It is syntactically invalid and therefore meaningless.
Part e.
(i). It correctly expresses the English sentence.
(ii). It is syntactically valid but does not express the meaning of the English sentence. (iii). It is syntactically valid but does not express the meaning of the English sentence.
(iv). It is syntactically invalid and therefore meaningless.
Problem 2
Part a.
Occupation(Emily, Surgeon) โจ Occupation(Emily, Lawyer) Part b.
โo (o โ Actor) โง Occupation(Joe, Actor) โง Occupation(Joe, o) Part c.
โp Occupation(p, Surgeon) โ Occupation(p, Doctor) Part d.
๏ฟขโp Occupation(p, Lawyer) โง Customer(Joe, p) Part e.
โp Boss(p, Emily) โง Occupation(p, Lawyer) Part f.
โp1 Occupation(p1, Lawyer) โงโp2 Customer(p2, p1) โ Occupation(p2, Doctor)
Part g.
โp1 Occupation(p1, Surgeon) โโp2 Occupation(p2, Lawyer)โงCustomer(p1, p2)
Problem 3
Part a.
First, assign symbols for the paragraph:
BelongTo(p,c): Predicate. Person p belongs to Club c.
Like(p,w): Predicate. Person p likes Weather w.
Skier(p): Function. Person p is Skier.
MountainClimber(p): Function Person p is mountain climber.
Tony, Mike, John: Constant denoting people.
Alpine Club: Constant denoting club.
Rain, Snow: Constant denoting weather.
Tony, Mike and John belong to the Alpine Club.
BelongTo(Tony, Alpine Club)โงBelongTo(Mike, Alpine Club)โงBelongTo(John, Alpine Club) —โ
Every member of the Alpine Club is either a skier or a mountain climber or both.
โm BelongTo(m, Alpine Club) โ Skier(m) โจ MountainClimber(m) —โก
No mountain climber likes rain.
๏ฟขโp MountainClimber(p) โง Like(p, rain) —โข
all skiers like snow.
โp Skier(p) โ Like(p, snow) —โฃ
Mike dislikes whatever Tony likes and likes whatever Tony dislikes. [โw Like(Tony,w) โ ๏ฟขLike(Mike, w)] โง [โw ๏ฟขLike(Tony,w) โ Like(Mike, w)] —โค
Tony likes rain and snow.
Like(Tony, Rain) โง Like(Tony, Snow) —โฅ
Part b.
First, use FOL express the statement:
There exists a member of the Alpine Club who is a mountain climber but not a skier.
โp BelongTo(p, Alpine Club) โงMountainClimber(p) โง๏ฟขSkier(p)
Then for the knowledge base, from โ , we get:
BelongTo(Mike, Alpine Club) — โฆ
Knowledge rule โข can be expressed in universal quantifier:
โp MountainClimber(p) โ ๏ฟขLike(p, Rain) — โง
For knowledge rule โฃ, eliminate the โ:
โp ๏ฟขSkier(p) โจ Like(p, snow) — โจ
Letโs do the resolution refutation:
According to the resolution refutation, we got the contradiction at KB โง ๏ฟข ฮฑ, so the knowledge form the paragraph entails the statement.
Reviews
There are no reviews yet.