Computing Presuppositions by Contextual Reasoning

Copyright 1999, American Association for ArtificialIntelligence. All rights reserved. This paper has been published by the American Association for ArtificialIntelligence (http://www.aaai.org) This paper describes how automated deduction methods for natural language processing can be applied more efficientlyby 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.