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.Context
- Ideas.Common.Derivation
- Ideas.Common.DerivationTree
- Ideas.Common.Environment
- 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
- 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 | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ideas-1.6.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
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), cgi (>=3001.3.0.0), containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, parsec, QuickCheck (>=2.8 && <2.10), random, time, uniplate, wl-pprint [details] |
Tested with | ghc ==7.10.3 |
License | Apache-2.0 |
Copyright | (c) 2016 |
Author | Bastiaan Heeren, Alex Gerdes, Johan Jeuring |
Maintainer | bastiaan.heeren@ou.nl |
Revised | Revision 1 made by BastiaanHeeren at 2018-03-02T12:19:31Z |
Category | Education |
Home page | http://ideas.cs.uu.nl/www/ |
Source repo | head: git clone https://github.com/ideas-edu/ideas.git |
Uploaded | by BastiaanHeeren at 2016-12-21T12:31:24Z |
Distributions | |
Reverse Dependencies | 3 direct, 0 indirect [details] |
Downloads | 9603 total (56 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2016-12-21 [all 1 reports] |