Logical Inferences Per Second

LIPS are sometimes used to describe the performance of a logical reasoning system.

Can mean the number of successful unification operations per second.

1 successful unification <-> 1 successful resolution step.

Previous slide

Back to first slide

View graphic version