1.1 --- a/doc/krempler/urd-ak.tex	Sat Mar 05 20:53:47 2005 +0100
     1.2 +++ b/doc/krempler/urd-ak.tex	Wed Mar 09 05:53:06 2005 +0100
     1.3 @@ -156,7 +156,7 @@
     1.4  A calculation started this way can be supported by \isac{} proposing tactics or doing the whole calculation automatically.
     1.5  
     1.6  \UR{An empty worksheet can be opened without specifying a problem-type.}{DIALOG:empty} 
     1.7 -in this case, \isac{}'s support is limited as described in \refUR{DIALOG:EXAMPLE:unknown}.
     1.8 +In this case, \isac{}'s support is limited as described in \refUR{DIALOG:EXAMPLE:unknown}.
     1.9  %WN040506 Bitte abschwächen analog zu UR 2.0.7 !
    1.10  %AK040509 hilfe, ich brauch eine kurze zusammenfassung der situation:
    1.11  % 1. was muss mindestens gegeben sein, damit isac überhaupt etwas machen kann??? im ursprünglichen text (steht gleich drunter) ist keine rede davon, dass THEORY benötigt wird - "In this case the input of items in the 'given'-field is sufficient;"
    1.12 @@ -288,23 +288,10 @@
    1.13  %AK040509 ist auch noch der text aus der alten doku. wird wie vorgeschlagen geschehen, sobald die zielkapitel form annehmen
    1.14  
    1.15  \UR{\isac{}'s Dialog behaviour is constructed from Dialog Atoms}{DIALOG:FLEX:atomic}
    1.16 -We hope that it is possible to develop a language which allows to define dialog patterns as combinations of dialog atoms already implemented and dialog modes sequencing these atoms. By means of such a language learning strategies could be described, and this description could be interpreted in reaction to a dynamic dialog state and according to an knowledge profile.
    1.17 +We hope that it is possible to develop a language which allows to define dialog patterns as combinations of Dialog Atoms already implemented and Dialog Strategies sequencing these atoms. By means of such a language learning strategies could be described, and this description could be interpreted in reaction to a dynamic dialog state and according to an knowledge profile.
    1.18  
    1.19 -To do such 'dialog programming' is considered a comprehensive task, which in general exceeds the knowledge of a course designer or a course admin. On the other hand, a course admin can be expected to associate courses with dialog profiles, and a course designer can be expected to select dialog modes within process of time in a course.
    1.20 +To do such 'dialog programming' is considered a comprehensive task, which in general exceeds the knowledge of a course designer or a course admin. On the other hand, a course admin can be expected to associate courses with dialog profiles, and a course designer can be expected to select Dialog Strategies within process of time in a course.
    1.21  
    1.22 -%WN040506 Hhhmmmm, as Folgende brauchst Du für das nachfolgende UR --- kann man das nicht irgendwo ganz am Anfang einführen ????
    1.23 -The dialog atoms are the following, ordered by descending 'activity' of the learner \cite{wn:diss}: All atoms concern a step from the current formula \currf applying a tactic \tac which yields the resulting formula \res(the derivation of \currf), i.e. $f\longrightarrow^{\it tac}\;f^\prime$.
    1.24 -\begin{enumerate}
    1.25 -\item \label{putres} given \currf, input the next formula \res 
    1.26 -\item \label{fillres} given a partial \currf (supplied by \sisac), complete \currf such that it is a derivation of \currf
    1.27 -\item \label{puttac}given \currf, input a tactic \tac to be applied to \currf
    1.28 -\item given \currf, select \tac from a list (supplied by \sisac) to be applied to \currf
    1.29 -\item \label{filltac} given \currf and a partial \tac, complete the \tac (i.e. a theorem, a substitution, etc.) such that it can be applied to \currf
    1.30 -\item given \currf, \tac, and a partial \res, complete \res such that it is the result of applying \tac to \currf
    1.31 -\item given \currf and \res, input \tac such that \res is the result of \currf applying \tac
    1.32 -\item given \currf and \res, select \tac from a list (supplied by \sisac) such that \res is the result of \currf applying \tac
    1.33 -\item given \currf, \res and a partial \tac, complete \tac such that \res is the result of \currf applying \tac
    1.34 -\end{enumerate}
    1.35  
    1.36  % \UR{Dialog atoms according to the list above.}{dialog-atoms}
    1.37  % The 'activity' requested from the learner for doing such a dialog atom can be   varied by the appropriateness of the lists of tactics supplied by \sisac{} and  the structure of the formula to be completed. The appearance of the dialog  atoms is very different depending on the phase, modeling or solving.
    1.38 @@ -333,7 +320,7 @@
    1.39  
    1.40  \UR{The dialog regards the performance of the user.}{DIALOG:ADAPT:perform} 
    1.41  The performance is measured by response times, errors, difficulty of examples done, 
    1.42 -requests into the knowledge base and active-passive behaviour. 
    1.43 +requests into the Knowledge Base and Dialog Activity. 
    1.44  %WN040506                            ^^^^^^^^^^^^^^ EXOR activity ??
    1.45  %AK040509 ist mir beim ausputzen durch die lappen gegeangen. was wäre eine gute definition von "activity"?
    1.46  %WN040510 in meiner Diss hab' ich jedem Dialogatom eine 'activity-Maßzah' zugewiesen !?