Topics (2/4)

Knowledge representation issues

ISA hierarchies and transitive reduction.

Propositional logic and the resolution principle

Computational methods for logical inference

Knowledge representation using predicate logic

Logic programming, unification

Previous slide

Next slide

Back to first slide

View graphic version