Q. A _________ is used to demonstrate, on a purely syntactic basis, that one formula is a logical consequence of another formula.
✅ Correct Answer: (A)
deductive systems
Artificial Intelligence and Robotics (AIR) MCQs and Notes
Q. The formula or sentences that can be maid true by certain valuation function are called
✅ Correct Answer: (B)
satisfiable formula
Q. What is the nature of the sentence: ∀x ∀y (TeacherOf(x,y) ⊃ StudentOf(y,x))
✅ Correct Answer: (C)
inverse
Q. ______Graph is used to represent semantic network
✅ Correct Answer: (B)
directed
Q. Is the following rule of inference valid one
✅ Correct Answer: (B)
yes
Q. If a logic produces only true statements and does not produce any false statement it shows which of the following property
✅ Correct Answer: (B)
soundness
Q. Not only do formal logics allow representation of knowledge, but they also allow representation of knowledge Mechanisms for reasoning using a collection of well-defined manipulation rules Of Representations.
✅ Correct Answer: (A)
true
Q. _______ Is an algorithm, a loop that continually moves in the direction of increasing value – that is uphill.
✅ Correct Answer: (B)
hill-climbing
Q. The performance of an agent can be improved by ______
✅ Correct Answer: (A)
learning
Q. Which of the following are true for the algorithms Beam Stack Search (BSS)and Divide-and-Conquer Beam Stack Search (DCBSS).
✅ Correct Answer: (C)
both bss and dcbss find the optimal path.