06-07-2017, 05:39 PM
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
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