WISSENSREPRÄSENTATION IN ACTIVEMATH Autorierungsgrundlagen

Repräsentation von Lernobjekten  Wissensrepräsentation – Disziplin der KI  In unserem Fall – viel Auszeichnung (Markup)  Format muss wiederverwendbar sein  Format sollte Inhalt von Präsentation trennen  Verschiedene Ausgabekanäle sollten möglich sein  XML bietet sich hier an.

XML als Repräsentation  Mit XML kann man Daten strukturiert ablegen und annotieren:  Stuhlsatzenhausweg Saarbrücken 

XML Sprachelemente  Tags  ‘Auszeichnungen’  Bringen Struktur ins Dokument  …  Attribute  Werden innerhalb eines Tags verwendet  …  Nachteil: wird schnell unübersichtlich  Interoperabilität ist auch ein Problem…

Hands-On  Es gilt, folgendes Lernobjekt zu annotieren:

Unterschiede  Wie man sieht: Regeln werden benötigt  Sprache definiert mit Hilfe von DTD, RNG, XSD  Viele Projekte für Mathematik-Markup  Verfolgen unterschiedliche Ziele, setzen verschiedene Technologien ein.

Repräsentation von Mathematik  Syntaktisch:  LaTeX, MathML Presentation  Semantisch:  OpenMath, MathML Content  Formal:  HELM, TPTP  OMDoc ist eine auf OpenMath basierende Sprache  Wurde um ActiveMath-Spezifika erweitert

OMDoc - Lernobjekte  Repräsentation von Lernobjekten mit OMDoc: Eine Teilmenge der reellen Zahlen heißt Intervall.  Es ist möglich, jeden Lernobjekt-Typ auf ähnliche Art mit Omdoc abzubilden.

OMDoc: for  Eine for-Relation kann man als Attribut spezifizieren: Eine Teilmenge der reellen Zahlen heißt Intervall.

OMDoc: domain-prerequisite Eine Teilmenge der reellen Zahlen heißt Intervall.

Formeln mit OMDoc  OMDoc: Erweiterung von OpenMath  Formeln werden mit OpenMath codiert:  1+1 in OpenMath: 1

Polynom mit OMDoc 2 3 0

QMath  Erzeugt OMDoc aus Textdateien  Statt  1 1  1+1  Das Polynom der vorherigen Folie ist X^2+Y^3=0  Formeln in Text:  Bestimmen Sie die Lösungen von $X^2+Y^3=0$.

Strukturierung von Lernobjekten  Konstrukte, um Lernobjekte zu verwalten:  Theory Ein Menge von stark untereinander abhängigen Lernobjekte Etwa ‘Brüche addieren’, ‘Brüche multiplizieren’  Collection Eine Menge von Theorien, die starke Abhängigkeiten zueinenander aufweisen Beispiel: ‘Bruchrechnung’  OMGroup um Lernobjekte strukturiert anzuzeigen.

Werkzeuge für Omdoc+QMath  Haupt-Autorenwerkzeug: JEditOQMath  Basiert auf dem freien Editor JEdit von Slava Pestov  Enthält eine Menge von nützlichen Plugins  Steuert OQMath-spezifische Funktionalität bei  Templates für Lernobjekte  Kommunikation mit einem ActiveMath-Server  Integriert Qmath  Direktes Feedback zu Fehlern