AI Seminar
September 23, 2002

Inna Pivkina
Revision programming


Abstract:

Revision programming is a knowledge representation formalism for
describing constraints on databases, knowledge bases, and belief sets, and
providing a computational mechanism to enforce them. Constraints are
represented by sets of revision rules. Revision rules are usually in a
form of conditions (for instance, if these elements are present and those
elements are absent, then this element must be absent).

In the talk, we present basic concepts of revision programming, an
embedding of revision programs into logic programs, and annotated
revision programs, which allow annotations like confidence factors,
combined opinions of multiple experts, etc.