AI MCQ

AI MCQ #333: Which are more suitable normal form to be used with definite clause?

AI MCQ #334: Which will be the instance of the class datalog knowledge bases?

AI MCQ #335: Which knowledge base is called as fixed point?

AI MCQ #304: A _________ is used to demonstrate, on a purely syntactic basis, that one formul…

AI MCQ #320: Which is a refutation complete inference procedure for propositional logic?

AI MCQ #305: The statement comprising the limitations of FOL is/are ____________

AI MCQ #306: A common convention is: • is evaluated first • and are evaluated next • Quantifi…

AI MCQ #307: A Term is either an individual constant (a 0-ary function), or a variable, or an…

AI MCQ #308: First Order Logic is also known as ___________

AI MCQ #309: The adjective “first-order” distinguishes first-order logic from ___________ in …