Computing Presuppositions by Contextual Reasoning
Artificial Intelligence
2007-05-23 v1 Computation and Language
Abstract
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.
Cite
@article{arxiv.cs/0009019,
title = {Computing Presuppositions by Contextual Reasoning},
author = {Christof Monz},
journal= {arXiv preprint arXiv:cs/0009019},
year = {2007}
}
Comments
5 pages