8 research outputs found
A Tableau Calculus for Pronoun Resolution
We present a tableau calculus for reasoning in fragments of natural language.
We focus on the problem of pronoun resolution and the way in which it
complicates automated theorem proving for natural language processing. A method
for explicitly manipulating contextual information during deduction is
proposed, where pronouns are resolved against this context during deduction. As
a result, pronoun resolution and deduction can be interleaved in such a way
that pronouns are only resolved if this is licensed by a deduction rule; this
helps us to avoid the combinatorial complexity of total pronoun disambiguation.Comment: 16 page
Computing Presuppositions by Contextual Reasoning
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.Comment: 5 page
Deducci贸n y generaci贸n de modelos de cardinalidad finita
Presentamos un procedimiento de tablas sem谩nticas distinto de las est谩ndar en el tratamiento dado a las sentencias de la clase 未, proponiendo modificaciones de esta regla que eviten la generaci贸n de ramas infinitas. Las nuevas tablas se revelan 煤tiles para el estudio de lenguajes l贸gico-formales con sem谩ntica finitaria, en particular como procedimiento para definir modelos finitos de sentencias satisfacibles. Mostramos tambi茅n la aplicabilidad de estos resultados al an谩lisis de la ambig眉edad y otros fen贸menos en la interpretaci贸n del discurso