Which among the following could the Existential instantiation of ∃x Crown(x) ^ OnHead(x, Johnny)?(a) Crown(John) ^ OnHead(John, Jonny)(b) Crown(y) ^ OnHead(y, y, x)(c) Crown(x) ^ OnHead(x, Jonny)(d) None of the mentionedThe question was posed to me during an online interview.This question is from Inference in First-Order Logic in section Knowledge and Reasoning of Artificial Intelligence

Which among the following could the Existential instantiation of ∃x

1.	Which among the following could the Existential instantiation of ∃x Crown(x) ^ OnHead(x, Johnny)?(a) Crown(John) ^ OnHead(John, Jonny)(b) Crown(y) ^ OnHead(y, y, x)(c) Crown(x) ^ OnHead(x, Jonny)(d) None of the mentionedThe question was posed to me during an online interview.This question is from Inference in First-Order Logic in section Knowledge and Reasoning of Artificial Intelligence
Answer» The correct option is (a) Crown(JOHN) ^ OnHead(John, JONNY) For explanation I would say: NONE.

Discussion

No Comment Found

Related InterviewSolutions

How the buckets are stored in predicate indexing?(a) Lists(b) Stack(c) Hashes(d) None of the mentionedThe question was posed to me during an interview for a job.This interesting question is from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence
What is meant by predicate indexing?(a) All the one kind of facts in one bucket and another kind in other bucket(b) Acts like index for facts(c) All of the mentioned(d) None of the mentionedThe question was posed to me in homework.The origin of the question is Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence
Where did all the facts are stored to implement store and fetch function?(a) Database(b) Knowledge base(c) Datamart(d) All of the mentionedThe question was asked in a national level competition.My enquiry is from Unification and Lifting topic in section Knowledge and Reasoning of Artificial Intelligence
How many functions are available in the unification and lifting process?(a) 1(b) 2(c) 3(d) 4I got this question by my school principal while I was bunking the class.The query is from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence
Which makes the complexity of the entire algorithm quadratic in the size?(a) Clause(b) Inference(c) Resolution(d) Occur checkThis question was addressed to me in an interview for internship.Origin of the question is Unification and Lifting in section Knowledge and Reasoning of Artificial Intelligence
Which algorithm takes two sentences and returns a unifier?(a) Inference(b) Hill-climbing search(c) Depth-first search(d) Unify algorithmThis question was addressed to me in semester exam.I'm obligated to ask this question of Unification and Lifting topic in division Knowledge and Reasoning of Artificial Intelligence
Which is unique up to renaming of variables?(a) Unifier(b) Most general unifier(c) Unifier & Most general unifier(d) None of the mentionedThis question was addressed to me in a national level competition.My doubt is from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence
Which is a lifted version of modus ponens?(a) Generalized modus ponens(b) Inference(c) Clauses(d) None of the mentionedThis question was posed to me in exam.The doubt is from Unification and Lifting topic in portion Knowledge and Reasoning of Artificial Intelligence
Which process makes different logical expression looks identical?(a) Lifting(b) Unification(c) Inference process(d) None of the mentionedI had been asked this question in unit test.This intriguing question originated from Unification and Lifting in chapter Knowledge and Reasoning of Artificial Intelligence
Like semantic networks, frames can be queried using spreading activation.(a) True(b) FalseThis question was addressed to me in an online quiz.I'm obligated to ask this question of Frames topic in section Knowledge and Reasoning of Artificial Intelligence

Discussion

No Comment Found

Related InterviewSolutions

Reply to Comment