"Development and Implementation of
UDRS-based
Inference Procedures for
the Interpretation of Texts"
(SFB
340, subproject B3, 1995-1997)
The aim of the project is the development and implementation of a
deduction system that is able to draw the inferences which are
necessary for text-understanding. The pivotal features of
this system are the following:
-
The inference rules operate directly on the
semantic representation of the text, which may be underspecified
in several respects.
-
The conditions under which inference rules are triggered
depend on linguistic factors.
-
The system is divided into subcomponents which differ in their deductive
capacity.
On this basis, the complexity of proofs needed for
contextual resolution can be kept at a minimum level.
(See also the project proposal,
in German, ps.gz, 14 pages)
People:
Project related papers:
- Esther König and Uwe Reyle:
"A General Reasoning Scheme for Underspecified Representations"
To appear in:
Hans Jürgen Ohlbach and Uwe Reyle (eds.):
"Logic and its Applications. Festschrift for Dov Gabbay.",
Kluwer, 1996.
(
.tex - requires tree-dvips and crckapb styles/
.ps.gz - 28 pages)
- Reyle, Uwe: ``Dealing with Ambiguities by
Underspecification: Construction, Representation and
Deduction'', in: Journal of Semantics
10; 1993, pp 123-179
- Reyle, Uwe:
''On Reasoning with Ambiguities'',
in: Proceedings of the EACL-95, Dublin, 1995
- Reyle, Uwe:
''Co-indexing Labelled DRSs to Represent and Reason with Ambiguities'
appears in: Stanley Peters, Kees van Deemter (1995):
Semantic Ambiguity and Underspecification, CSLI
Publications, Stanford
- Wedekind, Jürgen: On Inference-Based Procedures for
Lexical Disambiguation. COLING 1996, Kopenhagen.
.ps.gz
Ressources:
Pointers for project internal use
IMS Stuttgart, Fri Apr 16 21:19:06 1999 (www@ims.uni-stuttgart.de)