Notes 0 (NEW)

      Characteristic

      Routh Sets

     Chapter 2 Content
 

Notes 1

        AI history and applications pp1 -30. Lecture, Handout. Read pages 18- 27.

Notes 2

        Knowledge Representation and Inference. Propositional and Predicate Calculus. Book and Lecture Notes.

        Automated theorem proving 1
           DETAILS for Chapter 2: Propositional Gentzen Proof systems. Propositional Resolution. Lecture notes.

                   Proof Systems - Introduction

        Automated theorem proving 2
           DETAILS for Chapter 2: Predicate Gentzen Proof systems. Predicate Resolution. Lecture notes.

                   RS System For Propositional Logic (Part 1)  (Part 2)

Notes 3

         OLD Notes from 2000 Fall Semester.