Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-42128
Titel: | Granularity-Adaptive Proof Presentation |
VerfasserIn: | Schiller, Marvin Benzmüller, Christoph |
Sprache: | Englisch |
Erscheinungsjahr: | 2009 |
Erscheinungsort: | Saarbrücken |
Freie Schlagwörter: | Adaptive proof presentation proof tutoring automated reasoning machine learning granularity |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
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 zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-421284 hdl:20.500.11880/37768 http://dx.doi.org/10.22028/D291-42128 |
Schriftenreihe: | SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931] |
Band: | 2009,01 |
Datum des Eintrags: | 3-Jun-2024 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-2009-01_Schiller-Benzmüller_Granularity=Adaptive-Proof-Presentation.pdf | 522,92 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.