LIP6 1999/009

• 学术报告 «Construction d'interface de saisie d'un problème de dénombrement»
• M. Annell, V. Malthet, H. Giroire, G. Tisseau
• 36 pages - 1999-4-6 - document en - http://www.lip6.fr/lip6/reports/1999/lip6.1999.009.ps.gz 473 Ko
• 联系方式 Helene.Giroire (at) nulllip6.fr
• Ancien Thème : SYSDEF
This report presents an implementation of an interface for a learning environment, in the context of the COMBIEN? Project. This interface allows a student to build modelled representations of combinatorics exercices, starting from texts in natural language. Representations are based on a conceptual model of the domain, which was defined by the Combien? group to execute mathematical reasoning as well as to communicate with the student in a form close to his usual formulations. The report describes the interface and the conceptual model and discusses implementation choices and problems.