Computing Presuppositions by Contextual Reasoning

09/21/2000
by   Christof Monz, et al.
0

This paper describes how automated deduction methods for natural language processing can be applied more efficiently by encoding context in a more elaborate way. Our work is based on formal approaches to context, and we provide a tableau calculus for contextual reasoning. This is explained by considering an example from the problem area of presupposition projection.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset