Detailed Topics within Knowledge Representation

• Relationships among data, information, and knowledge

• ISA hierarchies

• Propositional logic and resolution

• Other inference methods

• Predicate logic and encoding methods

• Resolution in the predicate calculus

• Logic programming

Previous slide

Next slide

Back to first slide

View graphic version