Scribd
Upload
14 views4 pages

Ai Assignment 1

Uploaded by

wazif5603
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
14 views4 pages

Ai Assignment 1

Uploaded by

wazif5603
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

FACULTY OF COMMUNICATION, VISUAL ART AND

COMPUTING
DEPARTMENT OF COMPUTING

IAS 2313
ARTIFICIAL INTELLIGENCE

ASSIGNMENT 1

PREPARED FOR:
Ts. RASIDAH SARDI

PREPARED BY:
MUHAMMAD WAZIF BIN ZUBIR
4222009471D

DATE OF SUBMISSION:
17th MAY 2024
QUESTION 1.

Construct the truth table for: (p  q)  (q  p) .

p q ¬p ¬q ¬pVq ¬q v p (¬pp ∨qq)∧(¬qq ∨pp)

T T F F T T T

T F F T F T T

F T T F T F F

F F T T T T T

QUESTION 2.

Prove that ¬(𝑝𝑝 ∨ (¬𝑝𝑝 ∧ 𝑞𝑞)) is equivalence to ¬𝑝𝑝 ∧ ¬𝑞𝑞 .

𝑝𝑝 𝑞𝑞 ¬𝑝𝑝 ¬𝑞𝑞 ¬𝑝𝑝 ∧ 𝑞𝑞 ¬(𝑝𝑝 ∨ (¬𝑝𝑝 ∧ 𝑞𝑞)) ¬𝑝𝑝 ∧ ¬𝑞𝑞

T T F F F F F

T F F T F F F

F T T F T F F

F F T T F T T

∴ ¬(𝑝𝑝 ∨ (¬𝑝𝑝 ∧ 𝑞𝑞)) ≡ ¬𝑝𝑝 ∧ ¬𝑞𝑞 is equivalence


QUESTION 3.

Convert the following English sentences to first-order predicate calculus.

English Sentence Predicate Calculus

a) Johan is Mariam’s brother. brother(Johan, Mariam)

b) The day is Saturday. day_is(Saturday)

c) Person x is born in country c. born_in_country(x, c)

d) Peter either owns a cat or a dog. owns_a(Peter, cat) ∨ owns_a(Peter, dog)

e) Lucy is a professor. professor(Lucy)

f) Amir did not study but he is lucky. ¬study(Amir) ∧ lucky(Amir)

g) Everyone likes cakes. ∀x(person(x) → likes(x, cake))

h) Some students took IAS2313 in ∃x(student(x) ∧ took(x, IAS2313) ∧

semester 11834. in_semester(x, 11834))

i) There is only fruit on the table. ∀x(on_table(x) → fruit(x))

j) Everyone taking AI is smart. ∀x(taking_AI(x) → smart(x))

k) Nobody likes mouse. ¬∃x(person(x) ∧ likes(x, mouse))

l) All freighters are ships. ∀x(freighter(x) → ship(x))


QUESTION 4.

Show that S is valid inference from the following premises:

P → Q
QR
S → P
R

1. Disjunctive Syllogism (premise 2 ,premise 4 )  q


2. Modus Tollens (premise 1,1)  p
3. Modus Tollens (premise 3 and 2) we get S

∴ Therefore 𝑆𝑆 is valid from given premises.

QUESTION 5.

If Ahmad attends ICS3253, then he will fall asleep. If Ahmad falls asleep, then he will
have sweet dreams. Ahmad does not have sweet dreams. Therefore, Ahmad did not
attend ICS3253. Prove that the argument is valid.

p: Ahmad attends ICS3253


q: Ahmad falls asleep
r: Ahmad has sweet dreams

Statements:
1. p → q
2. q → r
3. ¬r
4. ∴¬p

You might also like