# 人工智能代写 CSci 4511 artificial intelligence Homework 4 ## Homework 4

1. It is not correct because the conclusion of the fact the house from Minneapolis is colored in pink must be only that x=y. So, the corrected version is:

∃x House(x) ∧ In(x,Minneapolis) ∧ ∀y [(House(y) ∧ In(y,Minneapolis) ∧ Color(x,Pink)) ⇒ (x=y)]  人工智能代写

1. The construction is not correct, because it says that for any apartment, there is a house which is bigger than it. Or, the required construction says that one house (i.e. a specific house) is bigger than all apartments. The corrected version is: ∃y∀x House(y) ∧ Apartment(x) ⇒ Bigger(y,x)

2. The current construction says that all apartments are cheaper than some houses. Therefore, the corrected version is ∀x,y Apartment(x) ∧ House(y) ⇒ Cheaper(x,y)

3. The current statement says there is a specific house which is more expensive than some farms. Or, equivalently, that some farms are cheaper that a particular house. The corrected version is ∃x Farm(x) ∧ ∃y House(y) ∧ Cheaper(x,y)

4. It is not correct because says that, if bathrooms exist, then there is one bathroom which can be found in all houses. To correct it, we have to swap the ∧ and ⇒. The corrected version is:

∀x house(x) ⇒ (∃y bathroom(y) ∧ in(x,y)) ### “Only pink objects are in the box” is logically equivalent with “If objects are NOT pink, then they are NOT in the box” which is converted into Pink(x)InBox(x).  人工智能代写

Or, the contrapositive of this is InBox(x) Pink(x)

The construction can be also regarded as Pink(x) if InBox(x) or InBox(x) only if Pink(x)

From the provided logical expressions, only 1. represents a correct translation.

1. actually says that all objects are pink and reside into the box.

2. actually says there is an object which is both pink and resides into the box.

3. actually says that only objects from the box are pink.

4. actually says there is a pink object which is also into the box. 人工智能代写

### III.

The conversion to CNF format follows the following steps:

• Elimination of implications

• Move inwards the negation

• Standardization of variables

• Skolemization

• Universal quantifiers get dropped

• disjunctions gets distributed over conjunctions

1. [B ∨ (A ∧ C)] ⇒ (B ∨ ¬ A)

≡ ¬[B ∨ (A ∧ C)] V (B ∨ ¬A) ≡ [¬B∧¬(A ∧ C)] V (B ∨ ¬A)

≡ [¬B ∧ (¬A V ¬C)] V (B ∨ ¬A)

≡ (B ∨ ¬A V¬A V ¬C) ∧ (B ∨ ¬A V¬B)  人工智能代写

≡ (B V ¬A V ¬C) ∧ (¬A V T)

≡ (B V ¬A V ¬C) ∧ T

≡ B V ¬A V ¬C

(along the path, we have used idempotent law, complement law twice when simplifying B V ¬B= T and ¬A V T =T)

1. [Q ∧ (S ∨  R)] ⇒ W

≡ ¬[Q ∧ (S ∨ R)] ∨ W

≡ ¬Q ∨ ¬(S ∨ R) ∨ W

≡ (¬Q ∨ W) V (¬S ∧ ¬R)

≡ (¬Q ∨ W V ¬S) ∧ (¬Q ∨ W V ¬R)

1. ∀p [[Pet(p) ∧ ∃c [Owner(c,p) ∨ Feeds(c,p)]] ⇒ Happy(p)]

≡ ∀p[¬Pet(p) V ∀c [¬Owner(c,p) ∧ ¬Feeds(c,p)] V Happy(p)]

≡ [(¬Pet(p) V ¬Owner(c,p)) ∧ (¬Pet(p) V ¬Feeds(c,p))] V Happy(p)

≡ (Happy(p) V ¬Pet(p) V ¬Owner(c,p)) ∧ (Happy(p) V ¬Pet(p) V ¬Owner(c,p))

1. ∀x ∃y ∀z [P(x,y,z) ⇒ ∃u Q(x,u)]

≡ ∀x ∃y ∀z[¬P(x,y,z) V ∃u Q(x,u)]

≡ ∀x ∃y ∀z [¬P(x,y,z) V Q(x, R(x))]

≡ ∀x ∀z [¬P(x, S(x), z) V Q(x,R(x))]

≡ ¬P(x, S(x), z) V Q(x,R(x))

(we have used skolemization for u and y)

### To make the structure more clear, use letters “a, b, and c” to replace letters like u, v, w, y, z, etc. The statement still holds after the replacement, and it’s easier for proof.  人工智能代写

Prove by resolution with refutation “¬ H(C)”:

1. ¬F(b,c) ∨ ¬H(C)                                                                       premise

2. ¬G(a) ∨ ¬F(a,b) ∨ F(b,c)                                                        premise

3. F(A,B)                                                                                       premise

4. G(A)                                                                                          premise

5. H(C)                                                                                          rev. Goal

6. ¬F(b,c)                                                                                      1, 5

7. ¬G(a) ∨ ¬F(a,b)                                                                       2, 6

8. ¬G(a)                                                                                        1, 3

9. ⟂                                                                                               4, 8

### V.

First, convert all statement into cnf format:

1. Bill hates all cats which eat birds

≡ ∀x ∀y Bird(y) ∧ Cat(x) ∧ Eat(x,y)  Hate(Bill,x)

≡ ¬Bird(y) V ¬Cat(x) V ¬Eat(x,y) V Hate(Bill,x)

1. Felix is a cat

≡ Cat(Felix)

1. Felix ate a bird

≡ ∃y (Bird(y) ∧ Eat(Felix,y))

≡ ¬ (¬Bird(y) V ¬Eat(Felix,y))

1. Bill hates Felix

≡ Hate(Bill, Felix)

Prove by resolution with refutation “Hate(Bill, Felix)”:  人工智能代写

1. ¬Bird(y) V ¬Cat(x) V ¬Eat(x,y) V Hate(Bill,x)                       premise

2. Cat(Felix)                                                                                  premise

3. ¬(¬Bird(y) V ¬Eat(Felix,y))                                                      premise

4. ¬Hate(Bill, Felix)                                                                      rev. Goal

5. ¬Bird(y) V ¬Cat(Felix) V ¬Eat(Felix,y) V Hate(Bill,Felix)     insulation on 1

6. ¬Bird(y) V ¬Cat(Felix) V ¬Eat(Felix,y)                                    4, 5

7. (¬Bird(y) V ¬Eat(Felix,y)) V ¬Cat(Felix)                                 rearrange 6

8. ¬Cat(Felix)                                                                                 3, 7

9. ⟂                                                                                                 2, 8 更多代写：cs代写    计量经济代考   机器学习代写      r语言代写 人工智能代考