Please use this identifier to cite or link to this item:
doi:10.22028/D291-42128
Title: | Granularity-Adaptive Proof Presentation |
Author(s): | Schiller, Marvin Benzmüller, Christoph |
Language: | English |
Year of Publication: | 2009 |
Place of publication: | Saarbrücken |
Free key words: | Adaptive proof presentation proof tutoring automated reasoning machine learning granularity |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
Abstract: | When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addresses. Modern automated theorem provers, in contrast, present proofs usually at a fixed level of detail (also called granularity). Often these presentations are neither intended nor suitable for human use. A challenge therefore is to develop user- and goal-adaptive proof presentation techniques that obey common mathematical practice. We present a flexible and adaptive approach to proof presentation that exploits machine learning techniques to extract a model of the specific granularity of proof examples and employs this model for the automated generation of further proofs at an adapted level of granularity. |
Link to this record: | urn:nbn:de:bsz:291--ds-421284 hdl:20.500.11880/37768 http://dx.doi.org/10.22028/D291-42128 |
Series name: | SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931] |
Series volume: | 2009,01 |
Date of registration: | 3-Jun-2024 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professorship: | SE - Sonstige |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-2009-01_Schiller-Benzmüller_Granularity=Adaptive-Proof-Presentation.pdf | 522,92 kB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.