Ai 4
Ai 4
Ponens, etc.).
Useful for small, well-defined problems.
❌ Limitations:
No support for variables (can’t say "all", "some", "this
person").
Not expressive enough for complex knowledge (like
o R = Replace battery
(E ∧ B) → R
Then the rule is:
P: It is Monday
Q: It is raining
Statement: It is Monday and it is raining → P ∧ Q
🔍 Conclusion: It is Monday → P
P ∨ Q: It is hot or I will swim
🧪 Example:
KB:
1. P → Q
2. P
Does KB ⊨ Q?
Query (α): Q
KB = (P → Q) ∧
Step 2: Generate all models (2 symbols → 4 models)
Model P Q P → Q α=Q
P
M1 T T T T T
M2 T F F F F
M3 F T T F T
M4 F F T F F