Inference rules in Predicate logic| FOL in AI | Forward Chaining Example | Backward Chaining Example
#askfaizan | #syedfaizanahmad
PlayList : Artificial Intelligence : • Artificial Intelligence
The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American.
Prove that Col. West is a criminal
We solve this with the help of First order logic Inference rule using Forward Chaining and Backward Chaining method
Predicate Logic in Artificial Intelligence also called First order logic, FOL.
Whereas propositional logic assumes the world contains facts,
First-order logic (like natural language) assumes the world contains
Objects: people, houses, numbers, colors, baseball games, wars, …
Relations: red, round, brother of, bigger than, part of, comes between, …
Function Relations: father of, best friend, one more than, plus, …
example Amir and Shahrukh are rivals
rivals(Amir,Shahrukh)
Predicate Logic Examples
Syntax of FOL: Basic elements
Atomic sentences
Complex sentences
Universal quantification
Existential quantification
Properties of Quantifiers
Inference in Predicate Logic
First-order definite clauses
Unification
Forward chaining
Backward chaining
Properties of Backward chaining
Resolution
for Predicate Logic or FOL lecture click on this link:
• Predicate logic in AI | First order logic ...
for Propositional logic lecture click on this link:
• PROPOSITIONAL LOGIC | Artificial Intellige...
for Knowledge-Based Agent tutorial click on the link:
• Knowledge based Agents | Logical agents | ...
for Complete Artificial Intelligence Videos click on the link :
• Artificial Intelligence
Thank you for watching
share with your friends
Follow on :
Facebook page : / askfaizan1
Instagram page : / ask_faizan
Twitter : / ask_faizan