AIMSA2010, Sep 10th 2010 "Ontology-Based Authoring of Intelligent Math Tutors ", D.Sklavakis & I. Refanidis 1 Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors Dimitrios Sklavakis and Ioannis Refanidis [email protected], [email protected]Department of Applied Informatics Univercity of Macedonia Thessaloniki GREECE
18
Embed
Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors
Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors. Dimitrios Sklavakis and Ioannis Refanidis [email protected] , [email protected] Department of Applied Informatics Univercity of Macedonia Thessaloniki GREECE. Overview. The MATHESIS Project Bottom-up approach - PowerPoint PPT Presentation
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
AIMSA2010, Sep 10th 2010
"Ontology-Based Authoring of Intelligent Math Tutors ",
D.Sklavakis & I. Refanidis 1
Ontology-Based Authoring ofIntelligent Model-Tracing Math
Part of the model-tracing process adapted to monomial multiplication
The monomial_multiplication_execution process
Atomic processes are JavaScriptStatement individuals
JavaScript program lines are JavaScriptProgramLine
individuals
hasJavaScriptCode
hasJavaScriptStatement
AIMSA2010, Sep 10th 2010
"Ontology-Based Authoring of Intelligent Math Tutors ",
D.Sklavakis & I. Refanidis 13
The Low-Level Ontology:JavaScript Code Representation
JavaScript code is represented as a special kind of atomic process, the JavaScriptStatement
Every JavaScriptStatement has a corresponding JavaScript_ProgramLine…
…which holds the actual JavaScript code
AIMSA2010, Sep 10th 2010
"Ontology-Based Authoring of Intelligent Math Tutors ",
D.Sklavakis & I. Refanidis 14
The Low-Level Ontology:Interface Representation
Interface Representation
…which defines corresponding HTMLObject(s).
Every line of HTML code is represented as an HTML_ProgramLine…
HTMLObject(s) are connected via their hasFirstChild and hasNextSibling properties to represent the DOM
AIMSA2010, Sep 10th 2010 15
"Ontology-Based Authoring of Intelligent Math Tutors ",
D.Sklavakis & I. Refanidis
AIMSA2010, Sep 10th 2010
"Ontology-Based Authoring of Intelligent Math Tutors ",
D.Sklavakis & I. Refanidis 16
The MATHESIS OntologyFurther Work
Extend, Refine, Formalise the Ontology Represent the Algebra Tutor in the Ontology Create Authoring Tools:
Parsers HTML ↔ MATHESIS Interface model Parsers JavaScript ↔ JavaScriptStatements Interpreter (“tracer”) for the OWL-S processes Visualisation Tools for the authoring processes
and the authored tutor parts (tutoring, domain, student models, interface and program code)
AIMSA2010, Sep 10th 2010
"Ontology-Based Authoring of Intelligent Math Tutors ", D.Sklavakis
& I. Refanidis 17
The MATHESIS OntologyDiscussion
Being an Ontology, it has all known advantages and disadvantages of ontologies
New approach: ontological representation of procedural knowledge (rules) through OWL-S processes.
Both authoring and authored knowledge share the same representation and lie in the same place
Newly authored tutors become new knowledge to be used for the next ones
Maximum knowledge reuse anticipated
AIMSA2010, Sep 10th 2010
"Ontology-Based Authoring of Intelligent Math Tutors ",
D.Sklavakis & I. Refanidis 18
Thank you!You May Find More About The
MATHESIS Project at http://users.uom.gr/~dsklavakis