ideas: Feedback services for intelligent tutoring systems
Ideas (Interactive Domain-specific Exercise Assistants) is a joint research
project between the Open University of the Netherlands and Utrecht
University. The project's goal is to use software and compiler technology to
build state-of-the-art components for intelligent tutoring systems (ITS) and
learning environments. The ideas
software package provides a generic
framework for constructing the expert knowledge module (also known as a
domain reasoner) for an ITS or learning environment. Domain knowledge is
offered as a set of feedback services that are used by external tools such
as the digital mathematical environment (DME), MathDox, and the Math-Bridge
system. We have developed several domain reasoners based on this framework,
including reasoners for mathematics, linear algebra, logic, learning Haskell
(the Ask-Elle programming tutor) and evaluating Haskell expressions, and for
practicing communication skills (the serious game Communicate!).
Modules
[Index]
- Ideas
- Common
- Ideas.Common.Classes
- Ideas.Common.Constraint
- Ideas.Common.Context
- Ideas.Common.Derivation
- Ideas.Common.DerivationTree
- Ideas.Common.Environment
- Ideas.Common.Examples
- Ideas.Common.Exercise
- Ideas.Common.ExerciseTests
- Ideas.Common.Id
- Ideas.Common.Library
- Ideas.Common.Predicate
- Ideas.Common.Rewriting
- Ideas.Common.Rule
- Ideas.Common.Strategy
- Ideas.Common.Strategy.Abstract
- Ideas.Common.Strategy.Choice
- Ideas.Common.Strategy.Combinators
- Ideas.Common.Strategy.Configuration
- Ideas.Common.Strategy.CyclicTree
- Ideas.Common.Strategy.Derived
- Ideas.Common.Strategy.Legacy
- Ideas.Common.Strategy.Location
- Ideas.Common.Strategy.Prefix
- Ideas.Common.Strategy.Process
- Ideas.Common.Strategy.Sequence
- Ideas.Common.Strategy.StrategyTree
- Ideas.Common.Strategy.Symbol
- Ideas.Common.Strategy.Traversal
- Traversal
- Ideas.Common.View
- Encoding
- Ideas.Encoding.DecoderJSON
- Ideas.Encoding.DecoderXML
- Ideas.Encoding.Encoder
- Ideas.Encoding.EncoderHTML
- Ideas.Encoding.EncoderJSON
- Ideas.Encoding.EncoderXML
- Ideas.Encoding.Evaluator
- Ideas.Encoding.LinkManager
- Ideas.Encoding.Logging
- Ideas.Encoding.ModeJSON
- Ideas.Encoding.ModeXML
- Ideas.Encoding.OpenMathSupport
- Ideas.Encoding.Options
- Ideas.Encoding.Request
- Ideas.Encoding.RulePresenter
- Ideas.Encoding.RulesInfo
- Ideas.Encoding.StrategyInfo
- Main
- Service
- Text
- Ideas.Text.HTML
- Ideas.Text.JSON
- Ideas.Text.Latex
- Ideas.Text.MathML
- OpenMath
- Dictionary
- Ideas.Text.OpenMath.Dictionary.Arith1
- Ideas.Text.OpenMath.Dictionary.Calculus1
- Ideas.Text.OpenMath.Dictionary.Fns1
- Ideas.Text.OpenMath.Dictionary.Linalg2
- Ideas.Text.OpenMath.Dictionary.List1
- Ideas.Text.OpenMath.Dictionary.Logic1
- Ideas.Text.OpenMath.Dictionary.Nums1
- Ideas.Text.OpenMath.Dictionary.Quant1
- Ideas.Text.OpenMath.Dictionary.Relation1
- Ideas.Text.OpenMath.Dictionary.Transc1
- Ideas.Text.OpenMath.FMP
- Ideas.Text.OpenMath.Object
- Ideas.Text.OpenMath.Symbol
- Ideas.Text.OpenMath.Tests
- Dictionary
- Ideas.Text.UTF8
- Ideas.Text.XML
- Utils
- Common
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
logging | enable support for logging interactions to a sqlite3 database | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ideas-1.8.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.5.8, 0.6, 0.7, 1.0, 1.1, 1.2, 1.3, 1.3.1, 1.4, 1.5, 1.6, 1.7, 1.8 |
---|---|
Change log | CHANGELOG.txt |
Dependencies | base (>=4.8 && <5), blaze-builder (>=0.4), bytestring, case-insensitive, containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, http-types, mtl, network, parsec, QuickCheck (>=2.8 && <2.12), random, semigroups (>=0.18 && <0.19), streaming-commons (<0.2), time, uniplate, wai, wl-pprint [details] |
Tested with | ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.2 |
License | Apache-2.0 |
Copyright | (c) 2019 |
Author | Bastiaan Heeren, Alex Gerdes, Johan Jeuring |
Maintainer | bastiaan.heeren@ou.nl |
Category | Education |
Home page | http://ideas.cs.uu.nl/ |
Source repo | head: git clone https://github.com/ideas-edu/ideas.git |
Uploaded | by BastiaanHeeren at 2019-09-13T14:37:34Z |
Distributions | |
Reverse Dependencies | 3 direct, 0 indirect [details] |
Downloads | 9604 total (56 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user [build log] All reported builds failed as of 2019-09-13 [all 2 reports] |