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

Publikationstyp: Beitrag zu einer Konferenz
Publikationsstatus: Published
Autor/innen: Carl, Merlin; Koepke, Peter
Erscheinungsjahr: 2014
Konferenz: International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention, 29. Mär 2010 - 1. Apr 2010, Leicester, UK
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. - S. 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.
Fachgebiet (DDC): 510 Mathematik
Universitätsbibliographie: Ja

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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är 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. International Symposium on Mathematical Practice and Cognition : a Symposium at the AISB 2010 convention. Leicester, UK, 29. Mär 2010 - 1. Apr 2010. 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} }

Koepke, Peter Carl, Merlin 2014 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. 2018-02-05T15:07:30Z Koepke, Peter Carl, Merlin 2018-02-05T15:07:30Z Interpreting Naproche : an algorithmic approach to the derivation-indicator view eng

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto