Konferenzbeitrag
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Structures for their logical validity and adequacy as a proof.
- Sprache
-
Englisch
- Thema
-
Computerlinguistik
Automatisches Beweisverfahren
Formale Semantik
Natürliche Sprache
Texttechnologie
Sprache
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Veldman, Jip
Fisseni, Bernhard
Schröder, Bernhard
Koepke, Peter
- Ereignis
-
Veröffentlichung
- (wer)
-
Tübingen : Narr
- (wann)
-
2018-11-22
- URN
-
urn:nbn:de:bsz:mh39-82578
- Letzte Aktualisierung
-
06.03.2025, 09:00 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzbeitrag
Beteiligte
- Veldman, Jip
- Fisseni, Bernhard
- Schröder, Bernhard
- Koepke, Peter
- Tübingen : Narr
Entstanden
- 2018-11-22
Ähnliche Objekte (12)
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Überhaupt und sowieso and überhaupt en sowieso
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Überhaupt und sowieso and überhaupt en sowieso
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?