Interpreting Naproche : an algorithmic approach to the derivation-indicator view
| dc.contributor.author | Carl, Merlin | |
| dc.contributor.author | Koepke, Peter | |
| dc.date.accessioned | 2018-02-05T15:07:30Z | |
| dc.date.available | 2018-02-05T15:07:30Z | |
| dc.date.issued | 2014 | eng |
| dc.description.abstract | 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. | eng |
| dc.description.version | published | eng |
| dc.identifier.uri | https://kops.uni-konstanz.de/handle/123456789/41234 | |
| dc.language.iso | eng | eng |
| dc.subject.ddc | 510 | eng |
| dc.title | Interpreting Naproche : an algorithmic approach to the derivation-indicator view | eng |
| dc.type | INPROCEEDINGS | eng |
| dspace.entity.type | Publication | |
| kops.citation.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}
} | |
| kops.citation.iso690 | CARL, 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 | deu |
| kops.citation.iso690 | CARL, 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, Mar 29, 2010 - Apr 1, 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 | eng |
| kops.citation.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.<br />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> | |
| kops.conferencefield | International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention, 29. März 2010 - 1. Apr. 2010, Leicester, UK | deu |
| kops.date.conferenceEnd | 2010-04-01 | eng |
| kops.date.conferenceStart | 2010-03-29 | eng |
| kops.flag.knbibliography | true | |
| kops.location.conference | Leicester, UK | eng |
| kops.sourcefield | <i>36th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2010) : Proceedings</i>. London: AISB, 2014, pp. 7-10. ISBN 978-1-62993-963-6 | deu |
| kops.sourcefield.plain | 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 | deu |
| kops.sourcefield.plain | 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 | eng |
| kops.title.conference | International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention | eng |
| relation.isAuthorOfPublication | 9fa2dd55-adfa-43d0-885c-3eee0ff14362 | |
| relation.isAuthorOfPublication.latestForDiscovery | 9fa2dd55-adfa-43d0-885c-3eee0ff14362 | |
| source.bibliographicInfo.fromPage | 7 | eng |
| source.bibliographicInfo.toPage | 10 | eng |
| source.identifier.isbn | 978-1-62993-963-6 | eng |
| source.publisher | AISB | eng |
| source.publisher.location | London | eng |
| source.title | 36th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2010) : Proceedings | eng |