Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können am Montag, 6.2. und Dienstag, 7.2. keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted on Monday, Feb. 6 and Tuesday, Feb. 7.)
Type of Publication: | Contribution to a conference collection |
Publication status: | Published |
Author: | Carl, Merlin; Koepke, Peter |
Year of publication: | 2014 |
Conference: | International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention, Mar 29, 2010 - Apr 1, 2010, Leicester, UK |
Published 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 |
Summary: |
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. |
Subject (DDC): | 510 Mathematics |
Bibliography of Konstanz: | Yes |
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
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, pp. 7-10. ISBN 978-1-62993-963-6
@inproceedings{Carl2014Inter-41234, title={Interpreting Naproche : an algorithmic approach to the derivation-indicator view}, year={2014}, isbn={978-1-62993-963-6}, address={London}, publisher={AISB}, 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} }