A CLP-based tool for computer aided generation and solving of maths exercises

• Type: Article in International Scientific Journal
• Date: 2003

Authors

Tomas, AP (Author) FCUP; Leal, JP (Author) FCUP

Indexing

ISI Web of Knowledge - 12 Citations

Scopus - 13 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Associated Projects

AGILMAT - AGILMAT- Geração Automática de Exercícios Interactivos para Ensino de Matemática

Other information

Authenticus ID: P-000-KCD

DOI: 10.1007/3-540-36388-2_16

Abstract (EN): We propose an interesting application of Constraint Logic Programming to automatic generation and explanation of mathematics exercises. A particular topic in mathematics is considered to investigate and illustrate the advantages of using the CLP paradigm. The goal is to develop software components that make the formulation and explanation of exercise's easier. We describe exercises by grammars which enables us to get specialized forms almost for free, by imposing further conditions through constraints. To define the grammars we concentrate on the solving procedures that are taught instead of trying to abstract an exercise template from a sample of similar exercises. Prototype programs indicate that Constraint Logic Programming frameworks may be adequate to implement such a tool. These languages have the right expressiveness to encode control on the system in an elegant and declarative way.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 18