1.1 --- a/doc/MM/ISAC_AuthoringTools.tex Fri Jan 11 19:08:40 2008 +0100
1.2 +++ b/doc/MM/ISAC_AuthoringTools.tex Thu Jan 17 12:31:17 2008 +0100
1.3 @@ -1,19 +1,34 @@
1.4 \chapter{Einleitung}
1.5 \label{chap:Einleitung}
1.6 -Der Mathematikunterricht in Schulen wird grunds\"atzlich anhand von Lehrb\"uchern durchgef\"uhrt. Die darin vorkommenden Beispiele werden je nach Schulstufe ohne technische Hilfsmittel oder mit Hilfe eines Taschenrechners gel\"ost. Um den Sch\"ulern einen besseren Einblick in L\"osungsverfahren verschiedener Beispiele zu bieten, soll das ISAC Tutoring System im Schulbetrieb eingesetzt werden. Dem Sch\"uler wird nun erm\"oglicht, Rechenbeispiele automatisiert zu l\"osen und die dabei durchgef\"uhrten Schritte einzeln zu betrachen.
1.7 +Der Mathematikunterricht in Schulen wird grunds\"atzlich anhand von Lehrb\"uchern durchgef\"uhrt. Die darin vorkommenden Beispiele werden je nach Schulstufe ohne technische Hilfsmittel oder mit Hilfe eines Taschenrechners gel\"ost. Um den Sch\"ulern einen besseren Einblick in L\"osungsverfahren verschiedener Beispiele zu bieten, soll das \sisac{} Tutoring System im Schulbetrieb eingesetzt werden. Dem Sch\"uler wird nun erm\"oglicht, Rechenbeispiele automatisiert zu l\"osen und die dabei durchgef\"uhrten Schritte einzeln zu betrachen.
1.8
1.9 -Das ISAC Tutoring System beinhaltet nur eine kleine Sammlung von Beispielen zur Veranschaulichung. Um den Einsatz im Unterricht effizient und auch sinnvoll zu gestalten ist es nun notwendig den Sch\"ulern Beispiele aus ihrem im Mathematikunterricht verwendeten B\"uchern mit ISAC zu pr\"asentieren. A priori ist es aber nicht m\"oglich, alle Beispiele aus diversen Schulb\"uchern im System zu integrieren. Daher muss, bevor das System in einer Schulklasse eingesetzt wird, der jeweilige Content generiert werden. Dazu wird das ISAC Authoring System verwendet. Content besteht entweder nur aus der aktuellen Seite des Mathematikbuches die gerade bearbeitet wird, oder auch aus mehreren Kapiteln.
1.10 +Das \sisac{} Tutoring System beinhaltet nur eine kleine Sammlung von Beispielen zur Veranschaulichung. Um den Einsatz im Unterricht effizient und auch sinnvoll zu gestalten ist es nun notwendig den Sch\"ulern Beispiele aus ihrem im Mathematikunterricht verwendeten B\"uchern mit \sisac{} zu pr\"asentieren. A priori ist es aber nicht m\"oglich, alle Beispiele aus diversen Schulb\"uchern im System zu integrieren. Daher muss, bevor das System in einer Schulklasse eingesetzt wird, der jeweilige Content generiert werden. Dazu wird das \sisac{} Authoring System verwendet. Content besteht entweder nur aus der aktuellen Seite des Mathematikbuches die gerade bearbeitet wird, oder auch aus mehreren Kapiteln.
1.11
1.12 Diese Arbeit sollte m\"oglichst einfach, rasch und effizient durchf\"uhrbar sein. Es ist nicht Sinn der Sache, dass die Contentgenerierung \"uberproportional viel an Zeit beansprucht. Daher entspringt auch die Notwendigkeit, Werkzeuge bereitzustellen, die diese Arbeit vereinfachen und automatisieren. Im n\"achsten Kapitel wird der Aufbau einer typischen Content Seite beschrieben und auch kurz auf die verschiedenen Variationsm\"oglichkeiten eingegangen. Es stellt keinenfalls den Anspruch auf Vollst\"andigkeit, denn nicht alle Mathematikb\"ucher folgen diesem Schema, und Ausnahmen sind durchaus m\"oglich. Diese m\"ussen dann aber gesondert behandelt werden und sind nicht Teil dieses Dokuments. Danach wird der Prototyp des im Rahmen dieser Arbeit entwickelte Tools vorgestellt, welcher die Erstellung von Content erheblich vereinfacht und automatisiert. Dies soll erste Aufschl\"usse dar\"uber geben, welche Requirements f\"ur ein Content Generierungs Tool erforderlich sind. Abschliessend werden die Ergebnisse zusammengefasst, offene Fragen behandelt und kurz erl\"autert, welche Faktoren bei der Entwicklung eines Vollst\"andigen Tools zu ber\"ucksichtigen sind.
1.13
1.14 \chapter{Content}
1.15 \label{chap:content}
1.16
1.17 -Wenn von Content gesprochen wird, bezieht es sich in diesem Dokument auf die Inhalte (Beispiele) eines Mathematikbuches, welche im ISAC Tutoring System zur Verf\"ugung gestellt werden sollen. Grunds\"atzlich werden die Inhalte Seitenweise im System abgebildet. In diesem Kapitel wird zuerst der Aufbau einer Content Seite beschrieben, und danach die davon erzeugte Abbildung im ISAC Tutoring System vorgestellt.
1.18 +\section{Die Struktur von \isac s Wissensbasis}
1.19
1.20 -\section{Aufbau}
1.21 +\subsection{Mathematikwissen: Theorien, Probleme, Methoden}
1.22 +
1.23 +\sisac{} sieht eine Struktur f\"ur das Mathematikwissen vor, die auf Einfachheit und Allgemeinheit zielt. Jedes Detail von Mathematikwissen, das zum L\"osen einer Rechnung notwendig ist, soll aus der speiziellen Rechnung f\"ur einen Lernenden zug\"anglich sein. Alles Mathematikwissen l\"asst sich in folgende dreigliedrige Struktur einpassen:
1.24 +\begin{enumerate}
1.25 +\item {\bf Theorien} beschreiben den {\em deduktiven Aspekt} der Mathematik: Die mathematischen Objekte werden definiert und Axiome zu Theorien zusammengefasst, aus denen Eigenschaften der Objekte definiert bewiesen werden.
1.26 +\item {\bf Probleme} beschreiben den {\em anwendungs-orientierten Aspekt} der Mathematik: Angewandthe Mathematik widmet sich dem L\"osen von Problemen aus verschiedensten Anwendungsbereichen. Solche Probleme werden maschinell l\"osbar, wenn sie formal spezifiziert sind.
1.27 +\item {\bf Methoden} beschreiben den {\em algorithmischen Aspekt} der Mathematik: Ein Problem hat eine oder mehrere Methoden, die zur L\"osung f\"uhren. Der Benutzer kann passende Methoden interaktiv ausw\"ahlen.
1.28 +\end{enumerate}
1.29 +
1.30 +\subsection{Beispiele zur Anwendung des Wissens}
1.31 +
1.32 +\sisac{} kann Beispiele automatisch l\"osen (und automatisch Dialoge generieren, die den Lernenden f\"uhren), wenn eine formale Spezifikation (in \sisac{} {\tt Formalisierung} genannt) einem dreifachen (Theorie, Problem, Methode) Verweis in das Mathematikwissen zugeordnet werden. Die Vorz\"uge des \sisac-Systems kommen also nur zum Tragen, wenn Beispiele als entsprechend strukturierter Content vorbereitet werden.
1.33 +
1.34 +Wenn im Folgenden von Content gesprochen wird, bezieht es sich in diesem Dokument auf die Inhalte (Beispiele) eines Mathematikbuches, welche im \sisac{} Tutoring System zur Verf\"ugung gestellt werden sollen. Grunds\"atzlich werden die Inhalte Seitenweise im System abgebildet. In diesem Kapitel wird zuerst der Aufbau einer Content Seite beschrieben, und danach die davon erzeugte Abbildung im \sisac{} Tutoring System vorgestellt.
1.35 +
1.36 +\section{Aufbau einer Beispiel-Sammlung}
1.37 \label{sec:Aufbau_Content}
1.38 -Eine typische Seite eines Mathematikbuches, welche im ISAC Tutoring System bereitgestellt werden soll, ist in Abbildung \ref{fig:exp_page} zu sehen.
1.39 +Eine typische Seite eines Mathematikbuches, welche im \sisac{} Tutoring System bereitgestellt werden soll, ist in Abbildung \ref{fig:exp_page} zu sehen.
1.40
1.41 \begin{figure}[htbp]
1.42 \centering
1.43 @@ -24,31 +39,37 @@
1.44
1.45 Eine Seite kann unterteilt werden in Kopfzeile und Hauptteil. Die Kopfzeile enth\"alt die Seitennummer, den Kapiteltitel und den Seitentitel. Der Hauptteil besteht aus Erl\"auterungen und durchgerechneten Beispielen, aus Bildern und den eigentlichen Beispielen. Diese sind fortlaufend mit Nummern durchnummeriert und jedes Beispiel besitzt Unterbeispiele, welche durch Kleinbuchstaben gekennzeichnet sind. Wie schon eingangs erw\"ahnt, k\"onnen diverse B\"ucher von diesem Aufbau abweichen. Dieser Arbeit liegt jedoch dieses spezielle Schema des Buches ``Lebendige Mathematik'' zu Grunde und Spezialf\"alle werden nicht behandelt und sind Thema m\"oglicher weiterf\"uhrender Arbeiten (Kapitel \ref{chap:Ausblick}).
1.46
1.47 -\section{Abbildung im ISAC Tutoring System}
1.48 +\section{Abbildung im \isac{} Tutoring System}
1.49 \label{sec:Abbildung_Content}
1.50
1.51 -Das Ziel ist es nun, die vorliegenden Inhalte des Buches im ISAC Tutoring System abzubilden. F\"ur die Sch\"uler soll ein Wiedererkennungswert gegeben sein, deswegen werden nicht nur zu rechnende Beispiele, sondern auch Erl\"auterungen, Grafiken und bereits durchgerechnete Beispiele abgebildet.
1.52 +Das Ziel ist es nun, die vorliegenden Inhalte des Buches im \sisac{} Tutoring System abzubilden. F\"ur die Sch\"uler soll ein Wiedererkennungswert gegeben sein, deswegen werden nicht nur zu rechnende Beispiele, sondern auch Erl\"auterungen, Grafiken und bereits durchgerechnete Beispiele abgebildet.
1.53
1.54 -Nach starten der Anwendung gelangt man mit dem \texttt{Examples} Button in den \texttt{Example browser}, welcher in Abbildung \ref{fig:exp_browser} zu sehen ist. Der \texttt{Example browser} soll in der Lage sein, mehrere Beispielsammlungen parallel anzuzeigen. Deswegen sind alle Beispiele in eine (vom Benutzer konfigurierbare) hierarchische Men\"ustruktur eingegliedert, die in der linken Spalte zu sehen ist. So kann der Hauptmen\"upunkt den Namen des abzubildenden Mathematikbuches tragen und darunter jede Seite einen Men\"upunkt bekommen, welche dann alle Beispiele beinhaltet. Das in diesem Dokument behandelte Buch ``Lebendige Mathematik'' ist unter \texttt{Etc>Lebendige Mathematik} zu finden.
1.55 +Nach Starten der Anwendung gelangt man mit dem \texttt{<Examples>} Button in den \texttt{Example browser}, welcher in Abbildung \ref{fig:exp_browser} zu sehen ist. Der \texttt{Example browser} soll in der Lage sein, mehrere Beispielsammlungen parallel anzuzeigen.
1.56 +
1.57 +Deswegen sind alle Beispiele in eine (vom Benutzer konfigurierbare) hierarchische Men\"ustruktur eingegliedert, die in der linken Spalte zu sehen ist. So kann der Hauptmen\"upunkt den Namen des abzubildenden Mathematikbuches tragen und darunter jede Seite einen Men\"upunkt bekommen, welche dann alle Beispiele beinhaltet. Das in diesem Dokument behandelte Buch ``Lebendige Mathematik'' ist unter \texttt{Etc > Lebendige Mathematik} zu finden.
1.58 +
1.59 +Die Rechnung zu einem Beispiel wird durch Aktivieren eines zugeh\"origen Links gestartet. Dieses Link wird in den gezeigten Beispieln auf der Nummer des Beispiels plaziert, was sich als hinreichend intuitiv herausgestellt hat.
1.60 +
1.61 +Jedes Beispiel einer Sammlung hat seine {\em eigene} Datei, in der sein Formalisierung und seine Spezifikation angegeben ist; diese erlauben \sisac{} das automatische L\"osen des Beispiels. Diese Datei ist also auch notwendig, wenn Beispiele bequemerweise mittels Link in der Sammlung auf der Seite gestartet werden.
1.62
1.63 \begin{figure}[htbp]
1.64 \centering
1.65 \includegraphics[width=0.6\textwidth]{myfig/MM-exp_browser.png}
1.66 - \caption{Example Browser im ISAC System}
1.67 + \caption{Example Browser im \sisac{} System}
1.68 \label{fig:exp_browser}
1.69 \end{figure}
1.70
1.71
1.72 \chapter{Content Generator}
1.73 \label{chap:Content_Generator}
1.74 -Um die Erstellung von Content zu erleichtern, wurde ein Prototyp eines Content Generators erstellt. Dieser vereinfacht die Abbildung von Lehrbuchinhalten in das ISAC Tutoring System. Wie schon eingangs erw\"ahnt, ist dieser Prototyp sehr an die Struktur des Mathematikbuches ``Lebendige Mathematik'' angelehnt.
1.75 +Um die Erstellung von Content zu erleichtern, wurde ein Prototyp eines Content Generators erstellt. Dieser vereinfacht die Abbildung von Lehrbuchinhalten in das \sisac{} Tutoring System. Wie schon eingangs erw\"ahnt, ist dieser Prototyp sehr an die Struktur des Mathematikbuches ``Lebendige Mathematik'' angelehnt.
1.76
1.77 -Wenn nun Inhalte abgebildet werden sollen, ist eine Reihe von Schritten notwendig:
1.78 +Wenn nun Inhalte abgebildet werden sollen, ist eine Reihe von Schritten notwendig, die gegebenenfalls von jeweils anderen Softwarewerkzeugen unterst\"utzt werden:
1.79 \begin{enumerate}
1.80 \item Ausw\"ahlen der gew\"unschten Seiten im Mathematikbuch
1.81 - \item Ausw\"ahlen und Einscannen der Grafiken und Erl\"auterungen die im ISAC Tutoring System angezeigt werden soll
1.82 - \item Ausw\"ahlen der Rechenbeispiele, die im ISAC Tutoring System durchrechenbar sein sollen
1.83 - \item Erstellen einer XML Konfigurationsdatei f\"ur jede Seite, mit welchem der Content Generator die Inhalte in ISAC erzeugt
1.84 + \item Ausw\"ahlen und Einscannen der Grafiken und Erl\"auterungen, die im \sisac{} Tutoring System angezeigt werden soll
1.85 + \item Ausw\"ahlen der Rechenbeispiele, die im \sisac{} Tutoring System durchrechenbar sein sollen
1.86 + \item Erstellen einer XML Konfigurationsdatei f\"ur jede Seite, mit welchem der Content Generator die Inhalte in \sisac{} erzeugt
1.87 \item Konfiguration und starten des Content Generators
1.88 \item Anpassung der Hierarchie
1.89 \item Kopieren von Dateien
1.90 @@ -56,10 +77,10 @@
1.91 \end{enumerate}
1.92
1.93 \section{Seitenauswahl}
1.94 -Zu Beginn muss eine Auswahl der abzubildenden Seiten getroffen werden. Es gibt keine weiteren Vorgaben f\"ur diesen Schritt. Die n\"achsten Schritte werden am Beispiel einer einzelnen Seite erl\"autert. Erst Schritt 7 (\ref{sec:Content_Konfiguration}) bezieht sich wieder auf die Gesamtheit aller ausgew\"ahlten Seiten.
1.95 +Zu Beginn muss eine Auswahl der abzubildenden Seiten getroffen werden. Es gibt keine weiteren Vorgaben f\"ur diesen Schritt. Die n\"achsten Schritte werden am Beispiel einer einzelnen Seite erl\"autert. Erst Schritt 7 (Sekt.\ref{sec:Content_Konfiguration}) bezieht sich wieder auf die Gesamtheit aller ausgew\"ahlten Seiten.
1.96
1.97 \section{Einscannen}
1.98 -Sch\"uler sollen im ISAC Tutoring System die Seite aus ihrem Mathematikbuch wiedererkennen. Aus diesem Grund werden Grafiken, Erl\"auterungen und durchgerechnete Beispiele eingescannt und in Kombination mit den Rechenbeispielen angezeigt. Die Entscheidung, welche Elemente eingescannt und dann im \texttt{Example browser} angezeigt werden sollen, liegt ganz beim Ersteller des Contents. In Abbildung \ref{fig:scan_page} ist eine Beispielseite zu sehen, von welcher die rot markierten Bereiche eingescannt wurden.
1.99 +Sch\"uler sollen im \sisac{} Tutoring System die Seite aus ihrem Mathematikbuch wiedererkennen. Aus diesem Grund werden Grafiken, Erl\"auterungen und durchgerechnete Beispiele eingescannt und in Kombination mit den Rechenbeispielen angezeigt. Die Entscheidung, welche Elemente eingescannt und dann im \texttt{Example browser} angezeigt werden sollen, liegt ganz beim Ersteller des Contents. In Abbildung \ref{fig:scan_page} ist eine Beispielseite zu sehen, von welcher die rot markierten Bereiche eingescannt wurden.
1.100
1.101 \begin{figure}[htbp]
1.102 \centering
1.103 @@ -75,13 +96,16 @@
1.104 \item[Qualit\"at] Foto
1.105 \end{description}
1.106
1.107 -Alle Scans m\"ussen in dem \texttt{\$EXP\_DATA\_IMG\_DIR\$} Verzeichnis gespeichert werden.
1.108 +Alle Scans m\"ussen in dem \texttt{\$EXP\_DATA\_IMG\_DIR\$}
1.109 +\footnote{WN: bitte beim ersten Auftreten auf die Definition mittels Fussnote verweisen, oder die Definition der Directories an den Anfang stellen !}
1.110 +Verzeichnis gespeichert werden.
1.111 +
1.112
1.113 \section{Ausw\"ahlen der Rechenbeispiele}
1.114 -Nun m\"ussen alle Rechenbeispiele von dieser Seite, die im ISAC Tutoring System zur Verf\"ugung stehen sollen, ausgew\"ahlt werden. Diese m\"ussen dann im n\"achsten Schritt in die XML Konfigurationsdatei eingetragen werden.
1.115 +Nun m\"ussen alle Rechenbeispiele von dieser Seite, die im \sisac{} Tutoring System zur Verf\"ugung stehen sollen, ausgew\"ahlt werden. Diese m\"ussen dann im n\"achsten Schritt in die XML Konfigurationsdatei eingetragen werden.
1.116
1.117 \section{XML Konfigurationsdatei}
1.118 -F\"ur jede Seite muss nun eine XML Konfigurationsdatei erstellt werden, welche der Content Generator verwendet, um den Content des ISAC Tutoring Systems zu erstellen. Diese Datei beinhaltet die Kopfzeile der Seite, die Seitenummer, die Platzierung der eingescannten Elemente, die Rechenbeispiele und die verwendeten Theorien zur L\"osung der Beispiele. Weiters kann noch spezifiert werden, ob es eine Probe zu einem Rechenbeispiel gibt. In Listing \ref{lst:Content_XMLconfig} ist das Schema der XML Datei zu sehen.
1.119 +F\"ur jede Seite muss nun eine XML Konfigurationsdatei erstellt werden, welche der Content Generator verwendet, um den Content des \sisac{} Tutoring Systems zu erstellen. Diese Datei beinhaltet die Kopfzeile der Seite, die Seitenummer, die Platzierung der eingescannten Elemente, die Rechenbeispiele und die verwendeten Theorien zur L\"osung der Beispiele. Weiters kann noch spezifiert werden, ob es eine Probe zu einem Rechenbeispiel gibt. In Listing \ref{lst:Content_XMLconfig} ist das Schema der XML Datei zu sehen.
1.120
1.121 \lstset{language=XML}
1.122 \begin{lstlisting}[caption=Beispiel einer XML Konfigurationsdatei, label=lst:Content_XMLconfig]
1.123 @@ -113,14 +137,17 @@
1.124
1.125 \begin{description}
1.126 \item[Titel] Kapitel- und Seitentitel sind optional, die Seitennummer muss jedoch angegeben werden. Danach folgen die Beispiele f\"ur die ganze Seite.
1.127 - \item[Beispiele] Ein Beispiel umfasst ein oder mehrere Unterbeispiele, wie in Abbildung \ref{fig:exp_beispiel} zu sehen ist. Wie schon vorher erw\"ahnt, m\"ussen die eingescannten Grafiken dargestellt werden.
1.128 - \item[Gescannte Elemente] Dem Content Generator muss nun mitgeteilt werden, an welcher Position der Seite die eingescannte Grafik plaziert werden soll. Dies wurde so gel\"ost, indem eine eingescanntes Grafik immer einem Beispiel zugeordnet wird. Nun kann man definieren, ob es vor oder nach dem Beispiel plaziert werden soll, vergleiche dazu Abbildung \ref{fig:exp_scanLocation}. Wird \texttt{locateBeforeExp} auf \texttt{true} gesetzt, wird die Grafik vor dem Beispiel angezeigt, bei \texttt{false} danach. Die eingescannte Grafik wird mit einem Pfad \texttt{ImagePath}, dem Dateinamen \texttt{ImageName} und optionaler Breite \texttt{ImageWidth} und H\"ohe \texttt{ImageHeight} definiert. Soll einem Beispiel kein Grafik zugeordnet werden, bleiben diese Elemente leer.
1.129 + \item[Beispiele] Ein Beispiel umfasst ein oder mehrere Unterbeispiele, wie in Abbildung \ref{fig:exp_beispiel} zu sehen ist.
1.130 +Wie schon vorher erw\"ahnt, m\"ussen die eingescannten Grafiken dargestellt werden.
1.131 + \item[Gescannte Elemente] Dem Content Generator muss nun mitgeteilt werden, an welcher Position der Seite die eingescannte Grafik plaziert werden soll. Dies wurde so gel\"ost, indem eine eingescanntes Grafik immer einem Beispiel zugeordnet wird. Nun kann man definieren, ob es vor oder nach dem Beispiel plaziert werden soll, vergleiche dazu Abbildung \ref{fig:exp_scanLocation}.
1.132 +Wird \texttt{locateBeforeExp} auf \texttt{true} gesetzt, wird die Grafik vor dem Beispiel angezeigt, bei \texttt{false} danach. Die eingescannte Grafik wird mit einem Pfad \texttt{ImagePath}, dem Dateinamen \texttt{ImageName} und optionaler Breite \texttt{ImageWidth} und H\"ohe \texttt{ImageHeight} definiert. Soll einem Beispiel kein Grafik zugeordnet werden, bleiben diese Elemente leer.
1.133 \item[Beispielnummer] Das Beispiel selbst muss eine Nummer \texttt{Nr} erhalten.
1.134 \item[Spalten] Jedes Beispiel umfasst ein oder mehrere Unterbeispiele, welche in einer bestimmten Anzahl von Spalten angezeigt werden. Mit dem Element \texttt{Spalten} kann definiert werden, wieviele Unterbeispiele pro Zeile angeordnet werden sollen. Dies wird in Abbildung \ref{fig:exp_spalten} verdeutlicht.
1.135 - \item[Unterbeispiele] Ein Unterbeispiel wird mit dem Element \texttt{Term} definiert. Dort gibt man das eigentlich Rechenbeispiel an. Die Unterbeispiele werden dann im ISAC Tutoring System automatisch mit fortlaufenden Kleinbuchstaben bezeichnet.
1.136 + \item[Unterbeispiele] Ein Unterbeispiel wird mit dem Element \texttt{Term} definiert. Dort gibt man das eigentlich Rechenbeispiel an. Die Unterbeispiele werden dann im \sisac{} Tutoring System automatisch mit fortlaufenden Kleinbuchstaben bezeichnet.
1.137 \item[Proben] Manchmal sollen bei Rechenbeispielen auch Proben durchgef\"uhrt werden. Im derzeitigen System k\"onnen Proben nur f\"ur eine gesammte Beispielnummer (also alle Unterbeispiele gemeinsam) definiert werden und die Substitutionswerte sind f\"ur alle die Gleichen. Entweder werden allen oder gar keinen Unterbeispielen Proben zugeordnet. Dies geschieht mit dem Element \texttt{hasProbe}, welches im Fall von vorliegenden Proben den Wert \texttt{true} bekommt, ansonsten leer bleibt oder auf \texttt{false} gesetzt wird. Liegen Proben vor, m\"ussen f\"ur alle Elemente \texttt{Term} in der gleichen Reihenfolge Elemente \texttt{ProbeTerm} erstellt werden. Diese enthalten das Ergebnis des jeweiligen durchgerechneten Unterbeispieles, da in der Probe die Angabe mit dem Ergebnis eines Beispiels gleichgesetzt und die Unbekannten mit Zahlenwerten ersetzt werden. Diese Zahlenwerte, mit denen die Probe durchgef\"uhrt werden sollen, werden durch Beistriche getrennt im Element \texttt{SubsValues} angegeben.
1.138 - \item[Theorie] Damit das ISAC Tutoring System ein Beispiel durchrechnen kann, muss es eine spezielle Theorie verwenden. Derzeit sind nur zwei Theorien implementiert. Solange ein Beispiel keinen Bruchstrich enth\"alt, wird \texttt{Theorie} auf \texttt{poly} gesetzt, ansonsten auf \texttt{rational}.
1.139 + \item[Theorie] Damit das \sisac{} Tutoring System ein Beispiel durchrechnen kann, muss es eine spezielle Theorie verwenden. Derzeit sind nur zwei Theorien implementiert. Solange ein Beispiel keinen Bruchstrich enth\"alt, wird \texttt{Theorie} auf \texttt{poly} gesetzt, ansonsten auf \texttt{rational}.
1.140 \item[Probleme und Methoden] Die Attribute \texttt{Problem} und \texttt{Method} sind derzeit nicht in Verwendung. Jedoch muss jedes Beispiel eine Problem- und Methodendefintion haben. Derzeit ist diese im Sourcecode des Prototyps integriert und muss daher vor der Contentgenerierung eventuell f\"ur jede Seite manuell angepasst werden.
1.141 +%WN ... versteh' ich nicht ... reden wir darueber !
1.142 \end{description}
1.143
1.144 Nachdem f\"ur jede Seite eine XML Konfigurationsdatei erstellt wurde, kann man zum n\"achsten Schritt \"ubergehen.
1.145 @@ -138,16 +165,25 @@
1.146 page.clearAll();
1.147 \end{verbatim}
1.148
1.149 -Danach wird \texttt{GeneratorMain.java} mit 2 Argumenten ausgef\"uhrt. Das erste Argument gibt an, welche Dateinamen f\"ur die generierten Dateien verwendet werden soll. Es ist ratsam einen sprechenden Namen zu w\"ahlen, bew\"ahrt hat sich den Namen entsprechend der Anordnung in der Men\"ustruktur zu w\"ahlen. Zum Beispiel wurde f\"ur das Buch ``Lebendige Mathematik'' \textit{exp\_Etc\_LebMatC-S} verwendet, wobei ``exp'' f\"ur Examples steht, ``Etc'' dass es in der Hierachie unter Etc angesiedelt ist, und ``LebMatC'' bezeichnet den Namen des Buches und dass es sich bei diesen Dateien um die Computerversion handelt (mehr dazu in K\"urze). ``S'' steht f\"ur Seite, und danach werden vom Content Generator die Seiten- und Beispielnummern automatisch angef\"ugt. Die generierte Datei f\"ur das Beispiel 257a auf Seite 53 w\"urde dann folgenden Namen erhalten: \textit{exp\_Etc\_LebMatC-S53-N257a.xml}.
1.150 +Danach wird \texttt{GeneratorMain.java} mit 2 Argumenten ausgef\"uhrt.
1.151 +
1.152 +\paragraph{Das erste Argument} gibt an, welche Dateinamen f\"ur die generierten Dateien verwendet werden soll.
1.153 +
1.154 +Die ersten vier Zeichen des Dateinamens f\"ur Beispiele m\"ussen {\tt exp\_} sein. Weiterhin ist es ratsam, einen sprechenden Namen zu w\"ahlen. Bew\"ahrt hat sich, den Namen entsprechend der Anordnung in der Men\"ustruktur zu w\"ahlen.
1.155 +
1.156 +Zum Beispiel wurde f\"ur das Buch ``Lebendige Mathematik'' \textit{exp\_Etc\_LebMatC-S} verwendet, wobei ``exp'' f\"ur Examples steht, ``Etc'' dass es in der Hierachie unter Etc angesiedelt ist, und ``LebMatC'' bezeichnet den Namen des Buches und dass es sich bei diesen Dateien um die Computerversion handelt (mehr dazu in K\"urze). ``S'' steht f\"ur Seite, und danach werden vom Content Generator die Seiten- und Beispielnummern automatisch angef\"ugt. Die generierte Datei f\"ur das Beispiel 257a auf Seite 53 w\"urde dann folgenden Namen erhalten: \textit{exp\_Etc\_LebMatC-S53-N257a.xml}.
1.157
1.158 // TODO
1.159 -//soll auch erkl\"art werden, welche Files erzeugt werden und wie deren Struktur aussieht???
1.160 +//soll auch erkl\"art werden, welche Files erzeugt werden und wie deren Struktur aussieht???\\
1.161 +WN: kurze Erklarung (ev. nur ein Beispiel zu \textit{exp\_Etc\_LebMatC-S53-N257a.xml}) waere guenstig als Erfolgsbestaetigung fuer den Benutzer ;-)
1.162 //
1.163
1.164 -Das zweite Argument definiert, ob die Lehrversion oder Computerversion erstellt werden soll. \texttt{true} erzeugt hierbei die Lehrversion, und \texttt{false} die Computerversion. Der Unterschied zwischen Lehr- und Computerversion ist die Methoden- und Problemwahl bei der Erstellung des Contents f\"ur das ISAC Tutoring System. Die Methoden und Probleme sind im Prototyp noch im Sourcecode enthalten und m\"ussen manuell f\"ur die Contentgenerierung angepasst werden.
1.165 +\paragraph{Das zweite Argument} definiert, ob die Lehrversion oder Computerversion erstellt werden soll. \texttt{true} erzeugt hierbei die Lehrversion, und \texttt{false} die Computerversion. Der Unterschied zwischen Lehr- und Computerversion ist die Methoden- und Problemwahl bei der Erstellung des Contents f\"ur das \sisac{} Tutoring System. Die Methoden und Probleme sind im Prototyp noch im Sourcecode enthalten und m\"ussen manuell f\"ur die Contentgenerierung angepasst werden.
1.166
1.167 \section{Hierarchie anpassen und Dateien kopieren}
1.168 -Nachdem nun der Content Generator die Metadaten aus den XML Konfigurationsdateien \"ubersetzt hat, m\"ussen diese noch in das ISAC Tutoring System eingebunden werden. Dazu m\"ussen zuerst die neuen Seiten in die Hierarchie des ISAC Systems eingebunden werden. Die Hierarchy des \texttt{Example browser} ist in Abbildung \ref{fig:exp_hierarchy} zu sehen. Diese wird aus der XML Datei \texttt{exp\_hierarchy.xml} erzeugt. Um nun die neuen Seiten in dieser Hierarchie sichtbar zu machen, muss diese Datei ge\"andert werden. Die Hierarchie ist relativ einfach aufgebaut, und alle Men\"upunkte sind dem Hauptpunkt \textit{Examples} untergeordnet. Wie in der Abbildung zu sehen ist, kann jeder Men\"upunkt weitere Untermen\"upunkte enthalten. So sind die Seiten mit den Beispielen des Buches ``Lebendige Mathematik'' in der Hierarchie folgendermassen angeordnet: \textit{Examples-$>$Etc-$>$Leb. Mathematik-$>$Computerversion}. Eine Seite enth\"alt nun nur mehr die einzelnen Beispiele, welche keine Untermen\"upunkte mehr besitzen.
1.169 +Nachdem nun der Content Generator die Metadaten aus den XML Konfigurationsdateien \"ubersetzt hat, m\"ussen diese noch in das \sisac{} Tutoring System eingebunden werden. Dazu m\"ussen zuerst die neuen Seiten in die Hierarchie des \sisac{} Systems eingebunden werden. Die Hierarchy des \texttt{Example browser} ist in Abbildung \ref{fig:exp_hierarchy} zu sehen. Diese wird aus der XML Datei \texttt{exp\_hierarchy.xml} erzeugt, die sich im \sisac-System im Verzeichnis ... befindet. TODO.WN: Verzeichnis-Definitionen zusammenstellen.
1.170 +
1.171 +Um nun die neuen Seiten in dieser Hierarchie sichtbar zu machen, muss diese Datei ge\"andert werden. Die Hierarchie ist relativ einfach aufgebaut, und alle Men\"upunkte sind dem Hauptpunkt \textit{Examples} untergeordnet. Wie in der Abbildung zu sehen ist, kann jeder Men\"upunkt weitere Untermen\"upunkte enthalten. So sind die Seiten mit den Beispielen des Buches ``Lebendige Mathematik'' in der Hierarchie folgendermassen angeordnet: \textit{Examples $>$ Etc $>$ Leb. Mathematik $>$ Computerversion}. Eine Seite enth\"alt nun nur mehr die einzelnen Beispiele, welche keine Untermen\"upunkte mehr besitzen.
1.172
1.173 \begin{figure}[htbp]
1.174 \centering
1.175 @@ -205,22 +241,26 @@
1.176 Hier wurde ein neuer Men\"upunkt \textit{Leb. Mathematik} erzeugt. Dieser beinhaltet einen weiteren Untermen\"upunkt \textit{Lehrversion} und \textit{Computerversion}. In letzteren wurde die XML Hierarchie Spezifikation aus \texttt{exp\_hierarchy\_allPages.xml} hineinkopiert.
1.177
1.178 \section{Kopieren von Dateien}
1.179 -Vor dem letzten Schritt m\"ussen noch alle XML Dateien , die der Content Generator erzeugt hat und die eingescannten Grafiken in das Datenverzeichnis (\texttt{\$EXP\_DATA\_DIR\$}) des ISAC Systems kopiert werden.
1.180 +Vor dem letzten Schritt m\"ussen noch alle XML Dateien , die der Content Generator erzeugt hat und die eingescannten Grafiken in das Datenverzeichnis (\texttt{\$EXP\_DATA\_DIR\$}) des \sisac{} Systems kopiert werden.
1.181
1.182 \section{Starten der HTML Generierung}
1.183 -Abschliessend wird das Tool \texttt{GenHTML} ausgef\"uhrt, welche die neuen Seiten schliesslich ins ISAC Tutoring System integriert. Nach Neustart des ISAC Tutoring Systems sind alle neuen Beispiele im \texttt{Example browser} sichtbar und k\"onnen durchgerechnet werden.
1.184 +Abschliessend wird das Tool \texttt{GenHTML} ausgef\"uhrt, welche die neuen Seiten schliesslich ins \sisac{} Tutoring System integriert. Nach Neustart des \sisac{} Tutoring Systems sind alle neuen Beispiele im \texttt{Example browser} sichtbar und k\"onnen durchgerechnet werden.
1.185
1.186
1.187 \chapter{Zusammenfassung und Ausblick}
1.188 \label{chap:Ausblick}
1.189 -Ziel dieser Arbeit war es, einen Prototyp f\"ur die Content Generierung f\"ur das ISAC Tutoring zu erstellen. Aus diesem sollten wichtige Erfahrungen f\"ur die Entwicklung eines vollst\"andigen Tools zur Content Generierung gewonnen werden. Dies ist erfolgreich gelungen und in diesem Kapitel wird eine kurze Zusammenfassung und danach ein Ausblick f\"ur die Entwicklung eines universeller einsetzbaren Tools gegeben.
1.190 +Ziel dieser Arbeit war es, einen Prototyp f\"ur die Content Generierung f\"ur das \sisac{} Tutoring zu erstellen. Aus diesem sollten auch Erfahrungen f\"ur die Entwicklung allgemeinerer Tools zur Content Generierung gewonnen werden.
1.191
1.192 -xxxxxxxxxx \cite{AG:thesis} xxxxxxxxxx
1.193 +Die Implementation ist erfolgreich gelungen und hat die zum Erstellen der vorgegebenen Beispielsammlung notwendige Zeit so verk\"urzt, dass diese Autorenarbeit vom \sisac-Team auf andere Anwender weitergegeben werden kann.
1.194
1.195 +In diesem Kapitel wird eine kurze Zusammenfassung und danach ein Ausblick f\"ur die Entwicklung eines universeller einsetzbaren Tools gegeben.
1.196
1.197 -Der Prototyp ist sehr stark an das Buch ``Lebendige Mathematik'' angelehnt. Es wurde keine Requirements Analyse durchgef\"uhrt, sondern er ist schrittweise mit den aufgetauchten Anforderungen gewachsen. Daher ist er nur sinnvoll f\"ur die Content Generierung von Seiten aus diesem Buch einsetzbar, und auch hierbei gibt es Einschr\"ankungen. Es hat sich gezeigt, dass das Einscannen von Grafiken einen sehr hohen Wiedererkennungswert erzielt und den Content im ISAC Tutoring System anschaulicher macht. Die Beschreibung der Seiten im XML Format, welche vom Content Generator als Input verwendet werden, hat sich ebenfalls sehr bew\"ahrt. Jedoch muss dieses Format weitaus flexibler gestaltet werden, um Variationen von Mathematikb\"uchern und Beispielen ansich abzudecken. Dies erfordert eine sehr genaue und weitblickende Analyse- und Definitionsphase. Die Grenzen des Prototyps wurden aufgezeigt, als es notwendig wurde unterschiedliche Probleme und Methoden f\"ur einzelne Beispiele zu definieren. Weiters ist es nur sehr rudiment\"ar m\"oglich, Proben f\"ur Beispiele einzubinden.
1.198 +\section{Die Wert des Prototypen f\"ur das \isac-Projekt}
1.199 +Der Prototyp ist sehr stark an das Buch ``Lebendige Mathematik'' angelehnt. Es wurde keine Requirements Analyse durchgef\"uhrt, sondern er ist schrittweise mit den aufgetauchten Anforderungen gewachsen. Daher ist er nur sinnvoll f\"ur die Content Generierung von Seiten aus diesem Buch einsetzbar, und auch hierbei gibt es Einschr\"ankungen. Es hat sich gezeigt, dass das Einscannen von Grafiken einen sehr hohen Wiedererkennungswert erzielt und den Content im \sisac{} Tutoring System anschaulicher macht. Die Beschreibung der Seiten im XML Format, welche vom Content Generator als Input verwendet werden, hat sich ebenfalls sehr bew\"ahrt. Jedoch muss dieses Format weitaus flexibler gestaltet werden, um Variationen von Mathematikb\"uchern und Beispielen ansich abzudecken. Dies erfordert eine sehr genaue und weitblickende Analyse- und Definitionsphase. Die Grenzen des Prototyps wurden aufgezeigt, als es notwendig wurde unterschiedliche Probleme und Methoden f\"ur einzelne Beispiele zu definieren. Weiters ist es nur sehr rudiment\"ar m\"oglich, Proben f\"ur Beispiele einzubinden.
1.200
1.201 -Bei der Entwicklung eines universellen Tools m\"ussen einige Punkte ber\"ucksichtigt werden, und nun folgt eine Auflistung von Erkenntnissen und offenen Fragen, die w\"ahrend der Entwicklung des Prototyps gewonnen wurden bzw. aufgetaucht sind:
1.202 +Bei der Entwicklung eines universellen Tools m\"ussen einige Punkte ber\"ucksichtigt werden. Einige Requirements zur Struktur des \sisac-Wissensbasis und zur Rolle von Knowledge-Autoren wurden ganz zu Beginn \"uberlegt \cite{AG:thesis} und bed\"urfen nun weiterer Bearbeitung. Hilfreich dabei ist, dass nun ein Prototyp zum Authoring bereitsteht, und das Tutoringsystem sowohl Praxiserfahrungen als auch Bedarf nach Einsatz erzeugt hat.
1.203 +
1.204 +Nun folgt eine Auflistung von Erkenntnissen und offenen Fragen, die w\"ahrend der Entwicklung des Prototyps gewonnen wurden bzw. aufgetaucht sind:
1.205
1.206 \begin{description}
1.207 \item[Grafiken] Die Platzierung der Grafiken zu definieren, indem sie an ein konkretes Beispiel gebunden werden, hat sich als sehr robust bew\"ahrt. Jedoch muss evaluiert werden, ob dieser Ansatz variabel genug ist um alle vorkommenden F\"alle abzudecken. Derzeit ist es nur m\"oglich, Grafiken ober- oder unterhalb von Beispielen zu plazieren, jedoch nicht in gleicher H\"ohe in einer angrenzenden Spalte.
1.208 @@ -230,6 +270,7 @@
1.209 \item[Probleme und Methoden] Wie sich im Laufe der Entwicklung des Protoyps gezeigt hat, ist die Problem- und Methodendefintion nicht einheitlich und unterscheidet sich eventuell von Beispiel zu Beispiel. Derzeit ist diese Definition im Sourcecode integriert, was eine sehr undynamische L\"osung darstellt. Dies hat den Grund, dass es sich hierbei nur um einen in kurzer Zeit entwickelten Prototyp handelt. Es ist auf jeden Fall erforderlich, dass jedes Beispiel eine eigene Problem- und Methodendefinition besitzt. Da aber einige Beispiele die gleichen Definition haben werden, kann diese repetitive Arbeit verhindert werden, indem eine Menge von Problem- und Methodendefinitionen in einer Lookup-Tabelle oder einem speziellen XML File definiert werden. Jedes Beispiel m\"usste dann nur mehr auf die gew\"unschte Problem- und Methodendefinition in der Lookup-Tabelle referenzieren. Dies vereinfacht \"Anderungen und vermeidet sehr oft wiederholte Definitionen in den XML Konfigurationsdateien.
1.210 \item[Computer- vs. Lehrversion] Zur Zeit gibt es die Unterscheidung zwischen der Computer- und Lehrversion. Sie unterscheiden sich dadurch, dass verschiedene Probleme- und Methoden verwendet werden, und dass der Angabetext bei der Lehrversion nicht Englisch, sonder Deutsch ist (z.B. \textit{Vereinfache} anstatt \textit{Simplify}). Diese Unterschiede sind derzeit auch nur im Sourcecode eingebettet, m\"ussen jedoch entweder in globalen Variablen, Konstanten oder \"uberhaupt extern definiert werden. Die Frage, ob es in Zukunft noch mehrere verschiedenen Versionen geben wird, ist auch zu stellen.
1.211 \item[Hierarchie] Wie oben erw\"ahnt, muss jede neu erstellte Seite in die XML Hierarchie Datei eingebunden werden, um in der Men\"ustruktur des \texttt{Example browsers} aufzuscheinen. Dieser Schritt ist derzeit noch sehr umst\"andlich, werden doch die XML-Hierarchiedaten f\"ur die neu erstellten Seiten statisch im Code erzeugt und m\"ussen dann manuell an die richtige Stelle der XML-Hierarchie Datei kopiert werden. Ziel soll es sein, dass man nur definieren muss wie und wo die neuen Seiten in die Hierarchie eingebunden werden sollen und das Tool die XML-Hierarchie Datei automatisch anpasst, und somit dieser manuelle Schritt wegf\"allt.
1.212 +\item[MathML] Einer der entscheidenden Schritte von \sisac{} Richtung breiter Anwendbarkeit wird die 2-dimensionale Darstellung von Formeln sein. Eine Weiterentwicklung des Prototypen f\"ur das Authoring wird also auf die Integration von MatML \cite{WN} in alle Autorentools Bedacht nehmen.
1.213 \end{description}
1.214
1.215 \end{document}
2.1 --- a/doc/MM/preamble.tex Fri Jan 11 19:08:40 2008 +0100
2.2 +++ b/doc/MM/preamble.tex Thu Jan 17 12:31:17 2008 +0100
2.3 @@ -14,8 +14,6 @@
2.4 \usepackage{amsfonts} % Mathematical symbols
2.5 \usepackage{graphicx}
2.6 \usepackage{mathpazo}
2.7 -\usepackage{german}
2.8 -%\usepackage[utf8]{inputenc} % MM
2.9
2.10
2.11 \newif\ifpdf
3.1 --- a/doc/MM/titlepage.tex Fri Jan 11 19:08:40 2008 +0100
3.2 +++ b/doc/MM/titlepage.tex Thu Jan 17 12:31:17 2008 +0100
3.3 @@ -5,7 +5,7 @@
3.4
3.5 \vspace*{10mm}
3.6
3.7 - \textbf{\LARGE{Prototyp eines Authoring Tools f\"ur das ISAC System}} \\
3.8 + \textbf{\LARGE{Prototyp eines Authoring Tools f\"ur das \isac{} System}} \\
3.9 \medskip
3.10 \vspace{15mm}
3.11