1.

The corresponding Existential Instantiation rule: for the existential quantifier is slightly more complicated. For any sentence a, variable v, and constant symbol k that does not appear elsewhere in the knowledge base.(a) True(b) FalseI have been asked this question in quiz.This intriguing question originated from Inference in First-Order Logic in chapter Knowledge and Reasoning of Artificial Intelligence

Answer» RIGHT choice is (a) True

The BEST explanation: Rule of EXISTENTIAL instantiation.


Discussion

No Comment Found

Related InterviewSolutions