Question: 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
Click to view Correct Answer
Previous ||
Inference in First-Order Logic more questions
Why is the XOR problem exceptionally interesting to neural network....
For resolution to apply, all sentences must be in conjunctive....
In order to utilize generalized Modus Ponens, all sentences in....
Translate the following statement into FOL.^ ?For every a, if....
What are the two basic types of inferences?
A* is optimal if h(n) is an admissible heuristic-that is,....
Best-First search can be implemented using the following data structure.
Best-First search is a type of informed search, which uses....
Greedy search strategy chooses the node for expansion in ___
Constraints Satisfaction Problems more Online Exam Quiz
Constraints Satisfaction Problems