SlideShare a Scribd company logo
1 of 25
A Learning Environment for Mathematics Martin Homik, Erica Melis -- ActiveMath Group – ABIS 2004, Berlin German Research Center for Artificial Intelligence DFKI GmbH, Saarbrücken
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],ActiveMath‘s Features
Different users – one topic ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
„ Eva‘s Books“
„ A Book“ Good mastery Medium mastery Weak mastery
„ A Book“
Scenario: Overview
Scenario: Exam
Scenario: No sufficient knowledge
Scenario: No sufficient knowledge
Adaptivity: Field Mathematics Biology Physics
Knowledge Representation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Knowledge Representation ,[object Object],[object Object],Concepts Additional Definitions Assertions Proof Axioms Examples Exercises Motivation Elaboration ,[object Object],[object Object],[object Object],[object Object],[object Object]
User Model ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],A 1 A 2 A 3 A 4 A 5
User Model: Justification ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],History Profile (mastery) A 1 A 2 A 3 A 4 A 5
User Model: Update ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Software Eyetracker (DFKEye) ,[object Object],[object Object]
Course Generation User Model mBase Pedagogical Rules Course Generator
Course Generation (1) Goal concept ,[object Object],[object Object],[object Object],[object Object]
Course Generation (2) Goal concept ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Course Generation (3) Goal concept ,[object Object],[object Object],[object Object]
Architecture mBase Pedagogical Rules Web Server Session Manager Math Systems Course Generator Presentation Generator (XSLT) XML-RPC Java http http User Model History Profile
LeActiveMath ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conclusion  www.activemath.org ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

More Related Content

Similar to Abis04

Helping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMSHelping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMSMartin Homik
 
ePortfolios in ActiveMath
ePortfolios in ActiveMathePortfolios in ActiveMath
ePortfolios in ActiveMathMartin Homik
 
Model Blended Course TESL Ontario2009
Model Blended Course TESL Ontario2009Model Blended Course TESL Ontario2009
Model Blended Course TESL Ontario2009John Allan
 
Overview of C-SAP open educational resources project
Overview of C-SAP open educational resources projectOverview of C-SAP open educational resources project
Overview of C-SAP open educational resources projectCSAPOER
 
C-SAP e-learning forum: Overview of Open Educational Resources project
C-SAP e-learning forum: Overview of Open Educational Resources projectC-SAP e-learning forum: Overview of Open Educational Resources project
C-SAP e-learning forum: Overview of Open Educational Resources projectCSAPSubjectCentre
 
Experience in learning in an open Computational Physics Course at undergradua...
Experience in learning in an open Computational Physics Course at undergradua...Experience in learning in an open Computational Physics Course at undergradua...
Experience in learning in an open Computational Physics Course at undergradua...Carlos Lizarraga
 
ICOPER - Learning Outcomes and Competences - Educon2011
ICOPER - Learning Outcomes and Competences - Educon2011ICOPER - Learning Outcomes and Competences - Educon2011
ICOPER - Learning Outcomes and Competences - Educon2011Jad Najjar
 
JISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In EducationJISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In Educationgrainne
 
educational simulations interface development
educational simulations interface developmenteducational simulations interface development
educational simulations interface developmentPietvSZ
 
Learning Outcomes & Learner Achievements Management in Higher Ed
Learning Outcomes & Learner Achievements Management in Higher EdLearning Outcomes & Learner Achievements Management in Higher Ed
Learning Outcomes & Learner Achievements Management in Higher EdJad Najjar
 
Supporting Flexible Competency Frameworks
Supporting Flexible Competency FrameworksSupporting Flexible Competency Frameworks
Supporting Flexible Competency FrameworksCarsten Ullrich
 
Web 2.0 course models
Web 2.0 course modelsWeb 2.0 course models
Web 2.0 course modelsMartin Weller
 
M25 ABC Curriculum Design
M25 ABC Curriculum DesignM25 ABC Curriculum Design
M25 ABC Curriculum DesignClive Young
 
Canada Moodle Moot 2009
Canada  Moodle  Moot 2009Canada  Moodle  Moot 2009
Canada Moodle Moot 2009John Allan
 
Hci techniques from idea to deployment
Hci techniques from idea to deploymentHci techniques from idea to deployment
Hci techniques from idea to deploymentJohn Thomas
 
Presentation for OER2010 conference, Cambridge
Presentation for OER2010 conference, CambridgePresentation for OER2010 conference, Cambridge
Presentation for OER2010 conference, CambridgeCSAPOER
 
Embedding Educational Design Pattern Frameworks into Learning Management Systems
Embedding Educational Design Pattern Frameworks into Learning Management SystemsEmbedding Educational Design Pattern Frameworks into Learning Management Systems
Embedding Educational Design Pattern Frameworks into Learning Management SystemsMichael Derntl
 
Designing Hybrid Courses
Designing Hybrid CoursesDesigning Hybrid Courses
Designing Hybrid CoursesLynda Milne
 
Conole networked learning
Conole networked learningConole networked learning
Conole networked learninggrainne
 

Similar to Abis04 (20)

Helping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMSHelping Students to Learn Matehmatics Beyond LMS
Helping Students to Learn Matehmatics Beyond LMS
 
ePortfolios in ActiveMath
ePortfolios in ActiveMathePortfolios in ActiveMath
ePortfolios in ActiveMath
 
Model Blended Course TESL Ontario2009
Model Blended Course TESL Ontario2009Model Blended Course TESL Ontario2009
Model Blended Course TESL Ontario2009
 
Overview of C-SAP open educational resources project
Overview of C-SAP open educational resources projectOverview of C-SAP open educational resources project
Overview of C-SAP open educational resources project
 
C-SAP e-learning forum: Overview of Open Educational Resources project
C-SAP e-learning forum: Overview of Open Educational Resources projectC-SAP e-learning forum: Overview of Open Educational Resources project
C-SAP e-learning forum: Overview of Open Educational Resources project
 
Experience in learning in an open Computational Physics Course at undergradua...
Experience in learning in an open Computational Physics Course at undergradua...Experience in learning in an open Computational Physics Course at undergradua...
Experience in learning in an open Computational Physics Course at undergradua...
 
ICOPER - Learning Outcomes and Competences - Educon2011
ICOPER - Learning Outcomes and Competences - Educon2011ICOPER - Learning Outcomes and Competences - Educon2011
ICOPER - Learning Outcomes and Competences - Educon2011
 
JISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In EducationJISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In Education
 
educational simulations interface development
educational simulations interface developmenteducational simulations interface development
educational simulations interface development
 
Learning Outcomes & Learner Achievements Management in Higher Ed
Learning Outcomes & Learner Achievements Management in Higher EdLearning Outcomes & Learner Achievements Management in Higher Ed
Learning Outcomes & Learner Achievements Management in Higher Ed
 
Supporting Flexible Competency Frameworks
Supporting Flexible Competency FrameworksSupporting Flexible Competency Frameworks
Supporting Flexible Competency Frameworks
 
Web 2.0 course models
Web 2.0 course modelsWeb 2.0 course models
Web 2.0 course models
 
M25 ABC Curriculum Design
M25 ABC Curriculum DesignM25 ABC Curriculum Design
M25 ABC Curriculum Design
 
Canada Moodle Moot 2009
Canada  Moodle  Moot 2009Canada  Moodle  Moot 2009
Canada Moodle Moot 2009
 
Hci techniques from idea to deployment
Hci techniques from idea to deploymentHci techniques from idea to deployment
Hci techniques from idea to deployment
 
Presentation for OER2010 conference, Cambridge
Presentation for OER2010 conference, CambridgePresentation for OER2010 conference, Cambridge
Presentation for OER2010 conference, Cambridge
 
Embedding Educational Design Pattern Frameworks into Learning Management Systems
Embedding Educational Design Pattern Frameworks into Learning Management SystemsEmbedding Educational Design Pattern Frameworks into Learning Management Systems
Embedding Educational Design Pattern Frameworks into Learning Management Systems
 
Designing Hybrid Courses
Designing Hybrid CoursesDesigning Hybrid Courses
Designing Hybrid Courses
 
Conole networked learning
Conole networked learningConole networked learning
Conole networked learning
 
Bne Workshop 1206
Bne Workshop 1206Bne Workshop 1206
Bne Workshop 1206
 

More from Martin Homik

Reflection In Web2.0 Style
Reflection In Web2.0 StyleReflection In Web2.0 Style
Reflection In Web2.0 StyleMartin Homik
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow OptimizerMartin Homik
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow OptimizerMartin Homik
 
Intelligent Tutorial Systems
Intelligent Tutorial SystemsIntelligent Tutorial Systems
Intelligent Tutorial SystemsMartin Homik
 
e-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschlande-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in DeutschlandMartin Homik
 
Using blogs for learning logs
Using blogs for learning logsUsing blogs for learning logs
Using blogs for learning logsMartin Homik
 
Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Martin Homik
 
Designing a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsDesigning a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsMartin Homik
 

More from Martin Homik (9)

Reflection In Web2.0 Style
Reflection In Web2.0 StyleReflection In Web2.0 Style
Reflection In Web2.0 Style
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow Optimizer
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow Optimizer
 
Intelligent Tutorial Systems
Intelligent Tutorial SystemsIntelligent Tutorial Systems
Intelligent Tutorial Systems
 
Cognitive Tools
Cognitive ToolsCognitive Tools
Cognitive Tools
 
e-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschlande-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschland
 
Using blogs for learning logs
Using blogs for learning logsUsing blogs for learning logs
Using blogs for learning logs
 
Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)
 
Designing a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsDesigning a Proof GUI for Non-Experts
Designing a Proof GUI for Non-Experts
 

Recently uploaded

AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAndrey Devyatkin
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...apidays
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDropbox
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MIND CTI
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesrafiqahmad00786416
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsNanddeep Nachan
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyKhushali Kathiriya
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWERMadyBayot
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...apidays
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...Zilliz
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodJuan lago vázquez
 
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal OntologySix Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontologyjohnbeverley2021
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Angeliki Cooney
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdfSandro Moreira
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century educationjfdjdjcjdnsjd
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobeapidays
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Bhuvaneswari Subramani
 
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2
 

Recently uploaded (20)

AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal OntologySix Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontology
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
 
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering Developers
 

Abis04

Editor's Notes

  1. Let me briefly introduce myself. My name …, working at …, Today I present ActiveMath, a learning environment for Mathematics