7 Marks: 25 Which of the following are true statements regarding FOL quantifiers

Question

7
Marks: 25
Which of the following are true statements regarding FOL quantifiers?

(Select the best answer)

Choose one answer.
A. First-order logic (FOL) supports Universal Quantification.
B. First-order logic (FOL) supports Existential Quantification.
C. In an expression involving any combination of Universale and Existantial quantifiers, order of the quantifiers is always irrelevant.
D. Both, A & B (above)
E. Both, A & C (above)
Question 8
Marks: 30
Inference refers to the construction of a proof. Generally speaking, inference rules are used to deduce something new from something old, such that if the old is true then so is the new. Among several important rules are ________________________________.


(Select all that apply)



Choose at least one answer.
A. Modus Ponens (Implication-Elimination)
B. And-Elimination
C. And-Introduction
D. Or-Introduction
E. Double-Negation Elimination
Question 9
Marks: 30
Complete the following sentence, using your best available choice.

_____________is a problem solving technique. It is reasoning about future events in order to verify the existence of a reasonable series of actions to take in order to accomplish a goal. It includes several benefits including those of reduction in search, resolution of goal conflicts and the establishment of a basis for error recovery.

Note: read the statement above thoroughly to grasp a clear understanding of what is being stated.

Choose one answer.
A. Blind search
B. Hashing
C. Expectiminimax
D. Planning
E. Encapsulation
Question 10
Marks: 15
Totally ordered plan searches explore strictly linear sequence of actions directly connected to the start or goal. They do not take advantage of problem decomposition. On the contrary, partially ordered planning has the advantage of flexibility in the order in which it constructs the plan.

Answer: True False

12
Marks: 15
Propositional logic has very limited expressive power.

Answer: True False
Question 13
Marks: 30
Think in terms of porpositional logic and determine which of the following statements is/are correct?

(Select all that apply)

Choose at least one answer.
A. if P is true and Q is false, then (P ^ Q) is false
B. if P is false and Q is false, then (P V Q) is true
C. The result of evaluating (a ^ b) ^ c will always be the same as a ^ (b ^ c) regardless of the values of a, b and c.
D. The result of evaluating (a V b) ^ c will always be the same as a V (b ^ c) regardless of the values of a, b and c.
E. Porpositional logic supports the usage of universal and existential quantifiers
Question 14
Marks: 30
Thinking logic, we state that a ^ (b

Explanation / Answer

E. Both, A & C (above) E. Double-Negation Elimination D. Planning True True B. if P is false and Q is false, then (P V Q) is true D. Distributivity

Related Questions

Navigate

• Browse (All)
• Browse 7
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.