Key concepts – Need of knowledge representation and reasoning – Role of Logic – First order Logic – Syntax- Semantics- Pragmatics – Explicit and Implicit Belief – Expressing Knowledge

Propositional Case – Handling Variables and Quantifiers – Dealing with Computational Intractability – Reasoning with Horn Clauses –Horn Clauses- SLD Resolution – Computing, SLD Derivations.

Procedural control of Reasoning – Facts and Rules – Rule formation and Search Strategy – Algorithm Design – Backtrack control – Negation as Failure – Rules in Production Systems

Object Oriented Representation – Object and Frames – Frame Formalism – Structured Descriptions – Description Language – Meaning and Entailment – Computing Entailments – Taxonomy and classification.

Working with LISP, Prolog – RDF Tools – Ontology tools.