TOPICS TO BE COVERED

Proposition Logic – First Order Predicate Logic – Unification – Forward Chaining -Backward Chaining – Resolution – Knowledge Representation – Ontological Engineering – Categories and Objects – Events – Mental Events and Mental Objects – Reasoning Systems for Categories – Reasoning with Default Information – Prolog Programming.