Print

Knowledge Representation and Reasoning

Course Instructor: Adina Magda Florea

Syllabus:

  • Knowledge representation in a model.
  • First order and higher order models.
  • Nonmonotonic models.
  • Temporal models.
  • Logical models of higher order.
  • Frame systems.
  • Representing structured knowledge.
  • Description logics and ontologies.
  • Constraint-based representation and associated languages.
  • Systems for maintaining data consistency.
  • Bayesian networks.
  • Plan representation and advanced techniques for automatic planning.
  • Real life applications and usage of knowledge representation and automatic reasoning techniques.