InterviewSolution
Saved Bookmarks
| 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. |
|