Incremental processing

Most logical formalisms assume a “batch” process

You present assertions, queries, then system cranks

With common sense apps, you might learn stuff while the system is inferring

The user might give you interactive feedback

Previous slide

Next slide

Back to first slide

View graphic version