Module - I

Formalized symbolic logic: Propositional logic-first order predicate logic, wff conversion to clausal form, inference rules, the resolution principle, Dealing with inconsistencies and uncertainties, fuzzy logic.

Module - II

Probabilistic Reasoning Structured knowledge, graphs, frames and related structures, Knowledge organization and manipulation.

Module – III

Matching Techniques, Knowledge organizations, Management.

Module - IV

Natural Language processing, Pattern recognition, expert systems.