Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-24859
Titel: A change-oriented architecture for mathematical authoring assistance
Verfasser: Wagner, Marc
Sprache: Englisch
Erscheinungsjahr: 2010
SWD-Schlagwörter: Assistenzsystem
Texteditor
Wissensmanagement
Architektur <Informatik>
Semantik
Freie Schlagwörter: änderungs-orientierte Architektur
mathematisches Dokument
computergestütztes Verfassen
Grammatikformalismus
change-oriented architecture
mathematical document
scientific text-editor
computer-assisted authoring
knowledge management
DDC-Sachgruppe: 004 Informatik
Dokumentart : Dissertation
Kurzfassung: The computer-assisted authoring of mathematical documents using a scientific text-editor requires new mathematical knowledge management and transformation techniques to organize the overall workflow of anassistance system like the &#937;MEGAsystem.The challenge is that, throughout the system, various kinds of given and derived knowledge units occur in different formats and with different dependencies. If changes occur in these pieces of knowledge, they need to be effectively propagated. We present a Change-Oriented Architecture for mathematical authoring assistance. Thereby, documents are used as interfaces and the components of the architecture interact by actively changing the interface documents and by reacting on changes. In order to optimize this style of interaction, we present two essential methods in this thesis. First, we develop an efficient method for the computation of weighted semantic changes between two versions of a document. Second, we present an invertible grammar formalism for the automated bidirectional transformation between interface documents. The presented architecture provides an adequate basis for the computer-assisted authoring of mathematical documents with semantic annotations and a controlled mathematical language.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-39293
hdl:20.500.11880/24915
http://dx.doi.org/10.22028/D291-24859
Erstgutachter: Siekmann, Jörg
Tag der mündlichen Prüfung: 15-Nov-2010
SciDok-Publikation: 3-Jun-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Dissertation_9410_Wagn_Marc_2010.pdf8,32 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.