ARTIFICIAL INTELLIGENCE (CS331/CS531)

SEQ CHAPTER \h \r 1ARTIFICIAL INTELLIGENCE (CS331/CS531)

ASSIGNMENT 2

SOLUTION

(There can be many different answers to each question, the solutions shows only one of the correct answer)1. Translate the following English sentences into first-order logic formulas. Invent a suitable vocabulary

a) Some students take ADB

X((student(X) ^ takes_ADB(X))

b) Every student who takes ADB passes it

X((student(X)^takes_ADB(Xpasses(X))c) No good student flunks an exam

X((good_student(X) ^ flunks_exam(X))

d) Brothers are siblings (express the fact that sibling is a symmetric relation)

XY(brother(X,Y)^bother(Y,X) siblings(X,Y))e) Harry and Potter are friends

friends(harry,potter) ^ friends(potter , harry)f) Ones mother is ones female parent

XY( mother_of(X,Y) female(X) ^ parent(X,Y))

g) A cousin is a child of a parents sibling

XY(cousin (X,Y)

N M( parent_of (M,Y) ^ sibling (N,M) ^ parent_of (N,X) ^

(N=M)))

h) Every person has only one mother

XY Z (mother_of (X,Z) ^ mother_of(Y,Z) X = Y)

i) If it isnt cloudy tomorrow, Harry will go to the zoo and will not take his umbrella with him.

cloudy (tomorrow) go (harry , zoo) ^ takes (harry, umbrella)

j) Some birds are crows but no birds are squirrels

X ( (bird(X) ^ crow (X) ) ^ Z ( birds(Z) ^ squirrel (Z))

k) If one or more lives are lost then all lives are lost

X (life (X) ^ lost (X) Y (life (Y) lost (Y))

Famous Quotations:

l) You can fool some people all of the time, and all of the people some of the time, but you cannot fool all of the people all of the time.

X ( people (X) ^ time (T) can_fool (X)) ^

Y P ( time (Y) ^ people (P) can_fool (P)) ^

( people (M) ^ time (N) can_fool(M))

m) All for one, and one for all!

Y X isFor(X,Y) ) ^ YX isFor(X,Y))

n) If you're not for us, you're against us.

Y X isFor(X,Y) Y X isAgainst(X,Y)

o) The enemy of your enemy is your friend.

ZY X (enemy(X,Y) ^ enemy(Y,Z) friend(X,Z) )

2. Translate the following formulas into natural English, according to their intuitive intended meaning:a) (X(male(X) V female(X))Everyone is either a male or a femaleb) (X ((father(X) male(X)) ^ (mother(X) female(X)))Every father is a male and every mother is a femalec) (X(father(X) ^ mother(X))No one can be both a father and a mother3. Argue why (X (Y F(X, Y) is not logically equivalent to (Y (X F(X, Y). Comment on the formula F(X, Y) = mother(X, Y).

(X (Y F(X, Y) means that there exists a particular X for ALL Y. That is, there is some one who is the mother of everyone.

On the other hand, (Y (X F(X, Y) means that for ALL Y there exists some X. That is, everyone has a mother.

4. Hanging Basket Problem

We have a basket hanger with three hooks (a top, middle, and bottom hook). We have a green, blue, and yellow basket, and we can hang one on each hook. Each of the baskets can contain one kind of fruit: apples, peaches, and lemons. The following should hold true:

The top basket holds lemons.

The blue basket is hanging somewhere below the basket containing the peaches.

The yellow basket is hanging somewhere above the green basket.

Specify the representation of the states, operators, goal, start state and cost function.

States: There is possibility to hang the basket in 3! ways on the various hooks. Also the fruits can be present in 3! ways in the different baskets. Therefore, total number of possible states 3! X 3! = 6 X 6 = 36Operators: Hanging a basket on a particular hook, moving up / down a basket, putting / taking out fruit

Goal:

Placing

Basket

Fruit

Top

Yellow

Lemons

Middle

Green

Peaches

Bottom

Blue

ApplesStart State: Any of the 36 states

OR

Baskets empty And Not hung

Cost Function: Number of actions to achieve the goal state

5. Missionaries and Cannibals

There are three missionaries and three cannibals on the left bank of a river.

They wish to cross over to the right bank using a boat that can only carry two at a time.

The number of cannibals on either bank must never exceed the number of missionaries on the same bank, otherwise the missionaries will become the cannibals' dinner! a) Specify the representation of the states, operators, goal, start state and cost function.

b) Plan a sequence of crossings that will take everyone safely across.

States: A state could be

(CannibalLeft, MissionaryLeft, BoatPos, CannibalRight, MissionaryRight)

(2, 2, RIGHT, 1, 1)

ie. 2 cannibals and 2 missionaries on the left bank of the river, the boat is on the right side, together with 1 cannibal and 1 missionaryOperators: A cannibal or missionary can either move to the left or the right of the river. A legal move is one which involves moving up to two people to the opposite bank (such that cannibals don't outnumber missionaries on either bank).Goal: 3 missionaries, 3 cannibals on the right side of the river.

Start: 3 missioniaries, 3 cannibals on the left side of the river.Cost function: Depending on the state representation, the procedure with which the cost function is evaluated may vary. Can be 1 unit for each movement until goal state.

6. A new operator, , or exclusive-or, may be defined by the following truth table:

PQP Q

TTF

TFT

FTT

FFF

Create a propositional calculus expression using only ^, V and that is equivalent to

P Q. Prove their equivalence using truth tables. PQP QPQP ^ QP ^ Q(P ^ Q) V (P ^ Q)

TTFFFFFF

TFTFTTFT

FTTTFFTT

FFFTTFFF

(P Q) = ((P ^ Q) V (P ^ Q))7. Prove that implication is transitive in the propositional calculus, that is, that

((PQ) ^ (Q R)) (P R)

PQRPQQR((PQ) ^ (Q R))PQ((PQ) ^ (Q R)) (P R)

TTTTTTTT

TTFTFFFT

TFTFTFTT

TFFFTFFT

FTTTTTTT

FTFTFFTT

FFTTTTTT

FFFTTTTT

Since there is no counter example (i.e. no case in which ((PQ) ^ (Q R)) (P R) is false) which shows that implication is transitive.8. Attempt to unify the following pairs of expressions. Either show their most general unifiers or explain why they will not unify.

a) p(X,Y) and p(a,Z)

{ a / X , Y / Z }

b) p(X,X) and p(a,b)Cant be unifiedc) ancestor(X,Y) and ancestor(bill, father(bill)){ bill / X , father(bill) / Y }d) ancestor(X,father(X)) and ancestor(david,george)e) q(X) and q(a)Cant be unified9. a) Compose the substitution sets {a/X, Y/Z} and {X/W, b/Y}

S1 = {a/X , Y/Z}

S2 = {X/W, b/Y}

S1.S2

1) Apply S2 to S1

S12 = {b/Z}

Add elements of S1 = {b/Z, a/X}

2) Add S2 to S1

S12 = {b/Z , a/X, X/W , b/Y}

3) S12 = {b/Z , a/W , b/Y}

S2.S1

1) Apply S1 to S2

S21 = {a/W}

Add elements of S2 = {a/W, b/Y}

2) Add S1 to S2

S21 = {a/W , b/Y, a/X , Y/Z}

3) S21 = {a/W , b/Y, a/X , Y/Z} b) Prove that composition of substitution sets is associative

Associative Property: x.(y.z) = (x.y).z

S1 = a/bS3 = c/aS4 = d/c

S1 X S2 = c/b

(S1 X S2) X S3 = c/b X d/e = d/b

S2 X S3 = d/a

(S2 X S3) X S1 = d/a X a/b = d/b

Therefore, composition is associative c) Construct an example to show that composition is not commutative

From 9a) we can see that S12 S21 therefore, composition is not commutative10. Write a set of logical predicates that will perform simple automobile diagnostics (e.g. if the engine wont turn over and the lights wont come on, then the battery is bad). Dont try to be too elaborate, but cover the cases of bad battery, out of gas, bad spark plugs and bad starter motor.

present (engine_power) ^ present (light) bad (battery) present (engine_power) ^ present (sparks) bad (sparks_plugs) present (engine_power) ^ present(bad_started_motor) bad(spark_plugs) present (engine_power) ^ present (turn_on) bad (out_of_gas)

.

.

.

(other similar predicates)

11. I married a widow (lets call her W) who has a grown-up daughter (call her D). My father (F), who visited us quite often, fell in love with my step daughter and married her. Hence, my father became my son-in-law and my step-daughter became my mother. Some months later, my wife gave birth to a son (S1), who became the brother-in-law of my father, as well as my uncle. The wife of my father, that is, my step daughter, also had a son (S2).

Using predicate calculus create a series of expressions that represent the situation in the above story. Add expressions defining basic family relations such as the definition of father-in-law and use modus ponens on this system to prove the conclusion that I am my own grand daughter.1. father (X,Y) ^ father (Y,Z) grandfather (X,Z)

2. father (X,Y) ^ married (Y,Z) father-in-law (X,Z)

3. father (X,Y) ^ mother (Y,Z) grandfather (X,Z)

4. father (X,Y) ^ father (X,Z) brother (Y,Z)

5. brother (X,Y) ^ grandfather (Z,Y) grandfather (Z,X)

6. married (I,W)

7. married (F,D)

8. father (I,S1)

9. father (I,D)

10. father (F,S2)

11. father (F,I)

12. mother (D,S2)

13. grandfather(I,S2)

USING 3:

9 ^ 12 grandfather (I, S2) (RESULT 1)USING 4:10 ^ 11 brother (S2,I) (RESULT 2)

USING 5: brother (X,Y) ^ grandfather (Z,Y) grandfather (Z,X)

Result2 ^ Result1

brother (I , S2) ^ grandfather (I, S2) grandfather (I, I)

THEREFORE, I AM MY OWN GRANDFATHER

Note:- Each question can have various answers, the solution has only shown one of them!