About this course:

  • Course Name: Knowledge Representation and Reasoning
  • Course Code: ME 6XX
  • L-T-P-C : 3-0-0-6
  • Syllabus: NaN
  • Course Type: Department Elective


    • Knowledge Representation and Reasoning

    Description:

    Syllabus

    Classical Logic and Knowledge Representation: Language of FOL; Resolution; Horn Logic; Procedural control of Reasoning. Knowledge Structures: Object-oriented Representations; Objects and Frames, Semantic Nets using Frames, Scripts. Ontology and Description Logics: Description Logics, Normalisation,Structure Matching, Classification, A-box Reasoning; Extensions. Inheritance: Taxonomies and Inheritance; Beliefs; Credulous and Skeptical Reasoning. Default Reasoning: Circumscription, Minimal Models; Default Logic; Autoepistemc Logic.

    Texts/References:

    1. Ronald J.Brachman, Hector J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.
    2. Schank, Roger C., Robert P.Abelson, Scripts,Plans, Goals, and Understanding:An Inquiry into Human Knowledge Structures. Hillsdale, NJ: Lawrence Erlbaum, 1977
    3. John F.Sowa, Knowledge Representation: Logical,Philosophical, and Computational Foundations, Brooks/Cole, Thomson Learning, 2000