Bonus

1

Questions of reviewers ISAC system ?

CAS et theorem prover Lot of expertise

sure; Quality applications needs lot of expertise Why a special CAS?

Not necessary for that example but necessary to deal with multi-step reasonning and to generate clone of exercice and their prescrition coding files

Use in other domains ? The design process ? With a specific software like a compiler or

a natural language analyzer in stead of a CAS IRT ?

Multidimensionel assment is difficult to calibrate with IRT We are testing IRT to built the student’s profile from the

assessment of answers, but we had first to deal with the assessment module.

Fonctionnement du diagnostic Fait ici

2

Blandine

Validity Incorrect V3

Use of letters Incorrect L3

Translation Step-by-step with incorrect chains T4

Algebraic Expressions writing

Incorrect use of parentheses with memory of meaning

EA31

Justification By algebra using incorrect rules J3

Aliou

Validity Incorrect V3

Use of letters No L5

Translation Step-by-step T2

Algebraic writing No EA?

Justification By example J2