These notes covers all the topics of AI for end sem and mid sem

Following topics are covered:
UNIT-II Logical Reasoning : Logical agents 
, propositional logic, 
inferences 
,first-order logic,
 inferences in first order logic,
forward chaining,
 backward chaining, 
unification ,
 resolution