Refine
Year of publication
Document Type
- Part of a Book (24)
- Article (3)
- Book (3)
- Conference Proceeding (2)
- Report (1)
Has Fulltext
- yes (33)
Is part of the Bibliography
- no (33)
Keywords
- Deutsch (27)
- Dialog (14)
- Gesprächsanalyse (4)
- Beratungsgespräch (3)
- Konversationsanalyse (3)
- Pragmatik (3)
- kommunikative Interaktion (3)
- Automatisches Beweisverfahren (2)
- Computerlinguistik (2)
- Dialogforschung (2)
Publicationstate
- Zweitveröffentlichung (4)
- Postprint (1)
- Veröffentlichungsversion (1)
Reviewstate
- (Verlags)-Lektorat (5)
- Peer-Review (1)
Publisher
- Schwann (21)
- Narr (5)
- Institut für Deutsche Sprache (2)
- Hueber (1)
- Springer (1)
- Stauffenburg (1)
- Steiner (1)
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.
Dialogforschung
(1982)
Der Band enthält vier Beiträge zu einer empirischen Bestimmung von Beraten als einem asymmetrischen Kommunikationstyp. Die Asymmetrie zeigt sich u.a. in Wissensdifferenzen der Beteiligten, unterschiedlichen Sichtweisen, unterschiedlicher Distanz zum Problem und unterschiedlicher Betroffenheit. Es ist dieser asymmetrische Charakter, der Beraten zu einem so produktiven Handlungsmuster macht: Der Ratsuchende kann das Fachwissen des Beraters nutzen, er kann eine professionell geschulte Sichtweise übernehmen und die Distanz eines nicht vom Problem Betroffenen nutzen, um eine Lösung für sein Problem zu finden.
Die beratungsspezifischen Asymmetrien können jedoch auch Ursache von Mißverständnissen und Komplikationen sein. Die Autoren versuchen, diese Dialektik zwischen Produktivität und Gefährdung empirisch näher zu bestimmen, und analysieren, unter welchen interaktiven Bedingungen Produktivität in Dysfunktionalität umschlägt. Der Band wendet sich an Linguisten, Psychologen und Soziologen.