# Inference in First-Order Logic Online Exam Quiz

Inference in First-Order Logic GK Quiz. Question and Answers related to Inference in First-Order Logic. MCQ (Multiple Choice Questions with answers about Inference in First-Order Logic

### For resolution to apply, all sentences must be in conjunctive normal form, a conjunction of disjunctions of literals.

**Options**

A : TRUE

B : FALSE

C : -

D : -

### In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.

**Options**

A : TRUE

B : FALSE

C : -

D : -

### Translate the following statement into FOL.^ ?For every a, if a is a PhD student, then a has a master degree?

**Options**

A : ? a PhD(a) -> Master(a)

B : ? a PhD(a) -> Master(a)

C : A is true, B is true

D : A is false, B is false

### What are the two basic types of inferences?

**Options**

A : Reduction to propositional logic, Manipulate rules directly

B : Reduction to propositional logic, Apply modus ponen

C : Apply modus ponen, Manipulate rules directly

D : Convert every rule to Horn Clause, Reduction to propositional logic

### Which among the following could the Existential instantiation of ?x Crown(x) ^ OnHead(x, Johnny)?

**Options**

A : Crown(John) ^ OnHead(John, Jonny)

B : Crown(y) ^ OnHead(y, y, x)

C : Crown(x) ^ OnHead(x, Jonny)

D : None of the mentioned

### Constraints Satisfaction Problems more Online Exam Quiz

Constraints Satisfaction Problems