#askfaizan | #syedfaizanahmad

PlayList : Artificial Intelligence : https://www.youtube.com/playlist?list=PLhwpdymnbXz4fEjqBoJbvLTIqfZJfXjbH

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 Propositional logic lecture click on this link:
https://www.youtube.com/watch?v=oUR11UUIDvA&t=680s

for Knowledge-Based Agent tutorial click on the link:
https://www.youtube.com/watch?v=Y7CS-1BfA6o&t=6s

for Complete Artificial Intelligence Videos click on the link :
https://www.youtube.com/playlist?list=PLhwpdymnbXz4fEjqBoJbvLTIqfZJfXjbH

Thank you for watching
share with your friends
Follow on :
Facebook page : https://www.facebook.com/askfaizan1/
Instagram page : https://www.instagram.com/ask_faizan/
Twitter : https://twitter.com/ask_faizan/