1. Logic & Theorem Proving
    Review prepositional & predicate Calculus
2. Production Rules
    Procedural versus declarative knowledge
    Forward versus backward reasoning
    Control Knowledge
3. Statistical Reasoning
    Classical logic versus nonmonotonic logic
    Default logic
    Fuzzy Logic
    Levels of confidence
    Baye’s Theorem
    Dempster-Shafer theory of evidence
4. Slot & Filler Structures
     Semantic nets
5. Learning
     Rote Learning
     Learning by taking advice
     Explanation based learning
6. Computer Vision
     Defining the problem
     Overview of solution: Marr’s Theory 
     Early processing: Gray level primal sketch
     Primal sketch to 2.5D sketch
     Late processing: 2.5D sketch to 3D sketch
7. Natural Language Processing
    Defining the problem
    Overview of solution
    Syntactic Analysis: Context-free grammars 
    Transformational grammars
    Parsing: Top down, bottom up & chart parsing 
    Semantics: Thematic roles, Aktionsart, Coercion, Cospecification, Extended reasoning with KB
    Discourse & Pragmatic Processing: Modelling
8. Connectionism
    Biological basis of connectionism 
    Historical background to connectionism
    McCulloch & Pits formal neuron, Hebbs learning rule, Rosenblatts perception
   Hopfield Networks
   Connectionist representations & representational adequacy