| Skaper | Jacques Gressier |
|---|---|
| Utviklet av | Jacques Gressier |
| Første versjon | 1992 (antakelser) |
| Siste versjon | 4.3.6.16 (Mai 2021) |
| Skrevet i | Swi-Prolog, Yap Prolog, FreePascal / Lazarus |
| Miljø | Windows |
| Språk | Fransk, spansk, italiensk |
| Type |
Programvare for dynamisk geometri ( d ) Bevisassistent |
| Distribusjonspolitikk | gratis |
| Nettsted | geometrix.free.fr |
Kronologi av versjoner
Géométrix er en pedagogisk programvare for dynamisk geometri kombinert med et demonstrasjonssupportsystem. Dens utvikling er basert på kunstige intelligensmetoder og teknikker . Det kan korrigere en student på hvilken som helst geometrisk konstruksjonsøvelse og tar sikte på å veilede ham under demonstrasjonsøvelser. Siden 1992 har det vært den eneste programvaren som er i stand til å oppdage eventuelle konstruksjonsfeil, kommentere den, gripe inn i elevens ansikt, modifisere den, animere den for å foreslå muligheter for forskning. Han er også sidendesember 2011den eneste programvaren som er i stand til å "resonnere" om figuren mens studenten konstruerer den og viser egenskapene og kodingen av dem. Eleven kan således lese og se trinn for trinn alle de " logiske implikasjonene " av konstruksjonen.
Inntil versjon 3.9.5 hadde den en automatisert resonnementsmodul (høyskolenivå) som, fra en figur, kan etablere og demonstrere egenskapene. På dette grunnlaget måtte læreren generere (og lære å generere) demonstrasjonsøvelsene for studentene gjennom et bestemt grensesnitt.
Fra versjon 4.0 (betaversjon utgitt i juli 2013), forsvinner dette grensesnittet. Læreren er ikke lenger tvunget til å lage en demonstrasjonsøvelse på forhånd, siden programvaren direkte kan veilede studenten i demonstrasjonen av figurens egenskaper. To typer argumenter er tillatt (og kan blandes sammen): fremoverkjetting , bakoverkjetting . Géométrix, som genererer et stort antall forskjellige løsninger, tilbyr studenten, når han er ferdig med demonstrasjonen, å skrive den i en kanonisk form, så viser han noen forslag til de andre mulige løsningene.
Fra et pedagogisk synspunkt legger denne programvaren vekt på språk. Konstruksjonen av ethvert geometrisk objekt krever formulering av en setning (automatisk generert av programvaren) som helt definerer den i sine logiske forhold til dens forfedre. Denne konstruksjonen basert på setninger som uttrykker de logiske forholdene mellom objekter er viktig for neste trinn: demonstrasjonen.
Géométrix prøver å fremme en konstruktivistisk pedagogisk tilnærming. Studentene må kunne opptre som forskere. Antagelser, tester, bevis, formaliseringer, abstraksjoner, nye antagelser, tester, feil, etc. For å gjøre dette trenger du programvare som er i stand til å oppdage og håndtere eventuelle feil. Datamaskinen er her et etterforskningsverktøy, den skal gjøre det mulig å gjennomføre en “etterforskning” basert på erfaringer.
Géométrix mottok sølv CERVOD i 1998. Departementet for nasjonal utdanning tildelte det RIP-merket ("Erkjent for utdannelsesinteresse") i 2001.
På datanivå er to programmeringsspråk på jobb: Pascal (i Lazarus- miljøet ) og Prolog . Den første ble utelukkende brukt til å utvikle det grafiske grensesnittet; resten (geometriske konstruksjoner, verifisering av elevfiguren, verifisering av resonnement og slutningsmotor ) blir tatt hånd om av SWI-Prolog (en) . Valget av disse to språkene har blant annet gjort det mulig å få en ekstremt "stram" kode (4 MB) for versjoner 4.0 og 4.1. Ijuni 2016, en andre implementering av Prolog, YAP (en) , er integrert i utviklingsmiljøet til versjon 4.2. Ekstremt rask akselererer den inferensmotoren med en faktor på tre eller fire for vanlige geometriske konstruksjoner (høyskolenivå) og noen ganger med en faktor på ti eller mer for komplekse konstruksjoner.
To integrasjonsmetoder brukes for SWI-Prolog. Det er "innebygd" i Lazarus takket være C- grensesnittet, og en annen forekomst av SWI-Prolog lanseres i en annen prosess som hovedkjernen kommuniserer gjennom stikkontakter . Denne prosessen, som kan være ekstern, er helt viet til hovedinferensmotoren.
Mange matematikklærere bidro med sine forslag og råd til utviklingen av programvaren: Martin Acosta (Universidad Industrial de Santander), Régis Deleuze, Franck Jarnier, Jean-Philippe Froment, Pa og Ph Saint-Maxent, MO Fuin, D. Mascarte, Bernard Montuelle, Danièle Fosseux, JC Fénice, Guy Brandenburg, Hervé Benoit-Chieux.