Encoding Knowledge with First Order Predicate Logic

Outline:

Motivation

Predicate calculus terminology

Expressing knowledge in logic

An example proof by resolution

Formal interpretations and satisfiability

Next slide

Back to first slide

View graphic version