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

• Tipo: Artigo em Revista Científica Internacional
• Data: 2003

Autores

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

Indexação

ISI Web of Knowledge - 12 Citações

Scopus - 13 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Projetos Associados

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

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 18