First Order Predicate Logic and Solved Examples | CST401 | AI MODULE 4 | KTU | Anna Thomas | SJCET

Structure of Agents.

ai ktu module 1

ai ktu anna thomas

ai ktu btech

artificial intelligence ktu

cst401 ktu notes

Example problems

Searching for solutions

Uninformed search strategies

Informed search strategies

Heuristic functions.

Logic

Propositional Logic

Propositional Theorem proving

Using First Order Logic

Unification and Lifting

Forward chaining

Backward chaining

Resolution.