Publikation:

Interpreting Naproche : an algorithmic approach to the derivation-indicator view

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2014

Autor:innen

Koepke, Peter

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

Mathematik und Statistik: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

36th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2010) : Proceedings. London: AISB, 2014, pp. 7-10. ISBN 978-1-62993-963-6

Zusammenfassung

In [1], Jody Azzouni proposes a derivation indicator view of mathematical practice and in particular of proofs.
The Naproche Project [5] takes proofs as linguistic entities whose semantics is given by corresponding formal derivations. This view is computationally implemented in the Naproche System where simple natural proof texts are automatically transformed into derivations, using techniques from computational linguistics, formal logic and automatic theorem proving. The development of the system has identified many ways in which parts of proof texts indicate elements of formal derivations. The Naproche Project can thus be seen as a support of the derivation indicator view, and we comment on some of the critique against derivation indication from this standpoint and our experience. Doing so, we extend earlier work by the second author on the relation between natural and formal proofs; since then, further development has shown the relation of DI to Naproche to be an interesting field that can (and should) be elaborated in detail.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
510 Mathematik

Schlagwörter

Konferenz

International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention, 29. März 2010 - 1. Apr. 2010, Leicester, UK
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690CARL, Merlin, Peter KOEPKE, 2014. Interpreting Naproche : an algorithmic approach to the derivation-indicator view. International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention. Leicester, UK, 29. März 2010 - 1. Apr. 2010. In: 36th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2010) : Proceedings. London: AISB, 2014, pp. 7-10. ISBN 978-1-62993-963-6
BibTex
@inproceedings{Carl2014Inter-41234,
  year={2014},
  title={Interpreting Naproche : an algorithmic approach to the derivation-indicator view},
  isbn={978-1-62993-963-6},
  publisher={AISB},
  address={London},
  booktitle={36th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2010) : Proceedings},
  pages={7--10},
  author={Carl, Merlin and Koepke, Peter}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/41234">
    <dc:contributor>Koepke, Peter</dc:contributor>
    <dcterms:abstract xml:lang="eng">In [1], Jody Azzouni proposes a derivation indicator view of mathematical practice and in particular of proofs.&lt;br /&gt;The Naproche Project [5] takes proofs as linguistic entities whose semantics is given by corresponding formal derivations. This view is computationally implemented in the Naproche System where simple natural proof texts are automatically transformed into derivations, using techniques from computational linguistics, formal logic and automatic theorem proving. The development of the system has identified many ways in which parts of proof texts indicate elements of formal derivations. The Naproche Project can thus be seen as a support of the derivation indicator view, and we comment on some of the critique against derivation indication from this standpoint and our experience. Doing so, we extend earlier work by the second author on the relation between natural and formal proofs; since then, further development has shown the relation of DI to Naproche to be an interesting field that can (and should) be elaborated in detail.</dcterms:abstract>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-05T15:07:30Z</dc:date>
    <dc:contributor>Carl, Merlin</dc:contributor>
    <dcterms:issued>2014</dcterms:issued>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dcterms:title>Interpreting Naproche : an algorithmic approach to the derivation-indicator view</dcterms:title>
    <dc:language>eng</dc:language>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-05T15:07:30Z</dcterms:available>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:creator>Koepke, Peter</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41234"/>
    <dc:creator>Carl, Merlin</dc:creator>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen