Summary

Inference plays a key role in NLP.

Nontrivial question answering involves inference.

DBQ expresions can be evaluated against a database.

Forwards inference is driven by the available premises.

Backwards inference is driven by the desired conclusion.

Full logical inference may never terminate.

Inheritance networks provide efficient but restricted inference.

Send us a comment.