AI 4
AI 4
AI 4
Propositions (statements that are Predicates (functions that return true or false)
Basic Unit either true or false) and quantifiers
Simpler inference rules (e.g., Modus More complex inference rules due to
Inference Rules Ponens, Modus Tollens) quantifiers and predicates
Feature Propositional Logic Predicate Logic
Each proposition has a definite truth Truth values depend on the interpretation of
Truth Values value predicates and the domain
Applies rules to infer new facts from Works backward from the goal to find
Process existing facts supporting facts
Can be more efficient when many facts are Can be more efficient when the goal is
Efficiency known specific
Suitable for scenarios where all facts are Suitable for scenarios where specific
Use Cases available goals are pursued
Q. Consider the following axioms All people who are graduating are happy.
All happy people smile. Someone is graduating. Prove that “Is someone
Smiling?” using resolution technique. Draw resolution tree.
Q. "As per the law, it is a crime for an American to sell weapons to hostile
nations. Country A, an enemy of America, has some missiles, and all the
missiles were sold to it by Robert, who is an American citizen." Prove that
"Robert is criminal." Using forward and backward Chaining.
Q. "As per the law, it is a crime for an American to sell weapons to hostile
nations. Country A, an enemy of America, has some missiles, and all the
missiles were sold to it by Robert, who is an American citizen." Prove that
"Robert is criminal." Using forward and backward Chaining.