Q14Principles of Artificial Intelligence
Question
4 marks
Convert the following sentence into First Order Logic: "Every student who takes AI passes it."
Answer
The sentence is converted using the universal quantifier and implications representing Student, Takes, and Passes predicates.
To convert the sentence "Every student who takes AI passes it" into First Order Logic (FOL), we first define the necessary predicates:
- S(x): x is a student
- T(x, y): x takes course y
- P(x, y): x passes course y
The sentence states a condition that applies to all entities x. Therefore, we use the universal quantifier (∀). The logical representation is: ∀x (S(x) ∧ T(x, AI) → P(x, AI)). This reads as: For all x, if x is a student and x takes AI, then x passes AI.