Abstrakt. Den feedback som ges av e-lärande verktyg som stöder stegvis lösa problem i matematik, logik, fysik, etc. är begränsad eller mödosam att specificera. I detta dokument introducerar vi ett språk för att specificera strategier för att lösa övningar. Detta språk gör det lättare att automatiskt beräkna feedback när användare gör felaktiga steg i en beräkning. Även om vi behöver kraften i ett fullständigt programmeringsspråk för att specificera strategier, skiljer vi noga mellan kontextfria och icke-kontextfria underspråk i vårt strategispråk. Denna separation är nyckeln till att automatiskt beräkna alla typer av önskvärd feedback.
Strategier för att specificera övningar införs i ett annat dokument REF.
Specifying strategies for exercises
{'venue': 'Suzuki & F. Wiedijk, eds, ‘AISC/Calculemus/MKM 2008’, LNAI 5144, SpringerVerlag', 'journal': None, 'mag_field_of_study': ['Computer Science']}