# 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

Options

A : TRUE

B : FALSE

C : -

D : -

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

Facts - 2

Facts - 3

History - 2

History - 3

Informed Search and Exploration

Learning - 2

Learning - 3

LISP Programming - 2

LISP Programming - 3