OPUS 4 | Search

Plural semantics for natural language understanding : a computational proof-theoretic approach (2005)

Uta Schwertel

The semantics of natural language plurals poses a number of intricate problems – both from a formal and a computational perspective. In this thesis I investigate problems of representing, disambiguating and reasoning with plurals from a computational perspective. The work defines a computationally suitable representation for important plural constructions, proposes a tractable resolution algorithm for semantic plural ambiguities, and integrates an automatic reasoning component for plurals. My solution combines insights from formal semantics, computational linguistics and automated theorem proving and is based on the following main ideas. Whereas many existing approaches to plural semantics work on a model-theoretic basis using higher-order representation languages I propose a proof-theoretic approach to plural semantics based on a flat firstorder semantic representation language thus showing that a trade-off between expressive power and logical tractability can be found. The problem of automatic disambiguation of plurals is tackled by a deliberate decision to drastically reduce recourse to contextual knowledge for disambiguation but rely instead on structurally available and thus computationally manageable information. A further central aspect of the solution lies in carefully drawing the borderline between real ambiguity and mere indeterminacy in the interpretation of plural noun phrases. As a practical result of my computational proof-theoretic approach to plural semantics I can use my methods to perform automated reasoning with plurals by applying advanced firstorder theorem provers and model-generators available off-the shelf. The results are prototypically implemented within the two logic-oriented natural language understanding applications DRoPs and Attempto. DRoPs provides an automatic plural disambiguation component for uncontrolled natural language whereas Attempto works with a constructive disambiguation strategy for controlled natural language. Both systems provide tools for the automated analysis of technical texts allowing users for example to automatically detect inconsistencies, to perform question answering, to check whether a conjecture follows from a text or to find equivalences and redundancies.

Griechische Mythologie (1860)

Ludwig Preller

Die Monikins (1835)

James Fenimore Cooper

Bleakhaus (1855)

Charles Dickens

Früchte aus den sogenannt goldenen Zeiten des achtzehnten Jahrhunderts : (1801 - 1803) (1830)

Johann Gottfried von Herder

Large p(t) enhancement from freeze out (1999)

Volodymyr K. Magas Csaba Anderlik László Pal Csernai Frederique Grassi Walter Greiner Yogiro Hama Takeshi Kodama Zsolt Iosif Lazar Horst Stöcker

Freeze out of particles across three dimensional space-time hypersurface is discussed in a simple kinetic model. The final momentum distribution of emitted particles, for freeze out surfaces with space-like normal, shows a non-exponential transverse momentum spectrum. The slope parameter of the pt distribution increases with increasing pt, in agreement with recently measured SPS pion and h spectra.

Die Insel Felsenburg oder wunderliche Fata einiger Seefahrer : eine Geschichte aus dem Anfange des achtzehnten Jahrhunderts (1828)

Johann Gottfried Schnabel

Neutron star properties in the quark-meson coupling model (1999)

Subrata Pal Matthias Hanauske Ismail A. I. Zakout Horst Stöcker Walter Greiner

The effects of internal quark structure of baryons on the composition and structure of neutron star matter with hyperons are investigated in the quark- meson coupling (QMC) model. The QMC model is based on mean-field description of nonoverlapping spherical bags bound by self-consistent exchange of scalar and vector mesons. The predictions of this model are compared with quantum hadrodynamic (QHD) model calibrated to reproduce identical nuclear matter saturation properties. By employing a density dependent bag constant through direct coupling to the scalar field, the QMC model is found to exhibit identical properties as QHD near saturation density. Furthermore, this modified QMC model provides well-behaved and continuous solutions at high densities relevant to the core of neutron stars. Two additional strange mesons are introduced which couple only to the strange quark in the QMC model and to the hyperons in the QHD model. The constitution and structure of stars with hyperons in the QMC and QHD models reveal interesting di erences. This suggests the importance of quark structure e ects in the baryons at high densities. PACS number(s): 26.60.+c, 21.65.+f, 12.39.Ba, 24.85.+p

Chiral model for dense, hot and strange hadronic matter (1999)

Detlef Zschiesche Panajotis Papazoglou Christian W. Beckmann Stefan Schramm Jürgen Schaffner-Bielich Horst Stöcker Walter Greiner

Introduction: Until now it is not possible to determine the equation of state (EOS) of hadronic matter from QCD. One succesfully applied alternative way to describe the hadronic world at high densities and temperatures are effective models like the RMF-models [1], where the relevant degrees of freedom are baryons and mesons instead of quarks and gluons. Since approximate chiral symmetry is an essential feature of QCD, it should be a useful concept for building and restricting e ective models. It has been shown [2,3] that effective sigma-omega models including SU(2) chiral symmetry are able to obtain a reasonable description of nuclear matter and finite nuclei. Recently [4] we have shown that an extended SU(3) × SU(3) chiral sigma-omega model is able to describe nuclear matter ground state properties, vacuum properties and finite nuclei satisfactorily. This model includes the lowest SU(3) multiplets of the baryons (octet and decuplet[5]), the spin-0 and the spin-1 mesons as the relevant degrees of freedom. Here we will discuss the predictions of this model for dense, hot, and strange hadronic matter.

Charmonium suppression : interplay of hadronic and partonic degrees of freedom (1999)

Lars Gerland Leonid Frankfurt Mark Strikman Horst Stöcker Walter Greiner

Last year the E866-group of the Fermilab measured the xF dependence of J/Psi and 2 suppression in pA collisions. We discuss two of the effects found in that experiment with regard to color coherence effects: the di erent suppression of the J/Psi and the 2 at xF < 0 and the significant suppression of both at large xF . The small xF regions is dominated by fully formed charmonium states and thus enables us to discuss the formation time and the cross section of the different charmonium states. In the large xF region the interaction of the charmonium states with nuclear matter has to be described by partonic degrees of freedom, because in that kinematic domain the formation time is much larger than the nuclear radii. The understanding of this region will be crucial for the interpretation of the data of the future heavy ion colliders RHIC and LHC.

Refine

Author

Year of publication

Document Type

Language

Has Fulltext

Is part of the Bibliography

Keywords

Institute

29335 search hits