Refine
Year of publication
- 2010 (4) (remove)
Document Type
- Article (2)
- Conference Proceeding (2)
Has Fulltext
- yes (4)
Is part of the Bibliography
- no (4)
Keywords
- Computerlinguistik (2)
- Automatisches Beweisverfahren (1)
- Benutzerfreundlichkeit (1)
- CNL (1)
- Disziplin <Wissenschaft> (1)
- Einführung (1)
- Empirische Linguistik (1)
- Fokus <Linguistik> (1)
- Formale Semantik (1)
- Grammis (1)
Publicationstate
- Zweitveröffentlichung (3)
- Postprint (1)
Reviewstate
- (Verlags)-Lektorat (2)
- Peer-Review (2)
Publisher
This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation Structures, an adaptation of Discourse Representation Structures, are used to represent the semantics of texts written in the Naproche CNL. We discuss how the Naproche CNL can be used in formal mathematics, and present our prototypical Naproche system, a computer program for parsing texts in the Naproche CNL and checking the proofs in them for logical correctness.
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
(2010)
This paper presents a model of pragmatic focus interpretation that is assumed to be part of a complete language comprehension model and that is inspired by Levelt's language processing model. The model is derived from our empirical data on the role of accentuation, prosodic indicators of uncertainty and context for pragmatic focus interpretation. In its present state, the model is restricted to these data, but nevertheless generates predictions.
This article evaluates the terminological component (TC) of the grammis portal on German grammar developed by the Institut für Deutsche Sprache. The TC is included into grammis to facilitate nonlinguists‘ access to the main components of the portal: Grammar in questions and answers, and the Systematic Grammar. The TC thus has the potential to be an extremely useful and important grammis component. We discuss to what extend the TC achieves its goals, and make some suggestions how it could be improved. The most important aspects considered in the evaluation are: (a) TC completeness and consistency, (b) accessibility and usability of definitions and index, (c) integration of the TC with the overall system.