GATE DA Artificial Intelligence – Full Mock Test-1 ⋆ CSE Study247

GATE DA Artificial Intelligence – Full Mock Test-1

Questions 56-60 of 100

0% completed (0/100 answered)

Question 56

MCQ · Single Correct 1 mark

Backward Chaining in Horn Clause Knowledge Bases operates in:

A Data-driven direction B Random direction C Parallel direction D Goal-driven direction (starts at query and works backward to facts)

Question 57

MCQ · Single Correct 2 mark

The sentence EXISTS x ALL y P(x, y) ENTAILS:

A ALL y P(y, y) B ALL x ALL y P(x, y) C ALL y EXISTS x P(x, y) D EXISTS x EXISTS y ~P(x, y)

Question 58

MSQ · Multiple Correct 2 mark

Which of the following equivalences hold in First-Order Logic?

A ~ (ALL x P(x)) <-> EXISTS x ~P(x) B ~ (EXISTS x P(x)) <-> ALL x ~P(x) C ALL x (P(x) ^ Q(x)) <-> (ALL x P(x)) ^ (ALL x Q(x)) D EXISTS x (P(x) v Q(x)) <-> (EXISTS x P(x)) v (EXISTS x Q(x))

Question 59

MSQ · Multiple Correct 2 mark

Which of the following logic sentence pairs are LOGICALLY EQUIVALENT?

A P -> Q and ~P v Q B P -> Q and ~Q -> ~P C P <-> Q and (P -> Q) ^{Q-> P} D P XOR Q and (P v Q) ^ ~(P ^ Q)

Question 60

MSQ · Multiple Correct 2 mark

Which inference algorithms run in POLYNOMIAL TIME on Horn Clause Knowledge Bases?

A Forward Chaining B Backward Chaining C 2-SAT SCC Algorithm D General Resolution Refutation on 3-SAT