CS222 Syllabus: 10/19 - 10/21

• October 19

  • Description logics
    • Formalisms for defining concepts
    • Formal frame languages
    • Subsets of first-order logic
    • Focus on:
      • Concept subsumption
      • Automatic classification of concepts

• October 21

  • Heterogeneous reasoners and representations
    • Frame system reasoners
    • DRAT

Previous slide

Next slide

Back to first slide

View graphic version