{"id":299,"date":"2017-02-09T21:20:05","date_gmt":"2017-02-09T20:20:05","guid":{"rendered":"http:\/\/www2.mathnique.com\/site\/?page_id=299"},"modified":"2018-04-07T23:22:31","modified_gmt":"2018-04-07T21:22:31","slug":"le-logiciel-de-demonstration-automatique-geomlab","status":"publish","type":"page","link":"https:\/\/www.mathnique.com\/site\/le-logiciel-de-demonstration-automatique-geomlab\/","title":{"rendered":"Le logiciel de d\u00e9monstration automatique GEOMLAB"},"content":{"rendered":"

\"\"
\nUn bref historique<\/strong><\/span><\/p>\n

GEOMLAB est un logiciel de raisonnement en g\u00e9om\u00e9trie bas\u00e9 sur des techniques d'Intelligence Artificielle.<\/p>\n

Ce logiciel a \u00e9t\u00e9 cr\u00e9\u00e9 par un chercheur g\u00e9nial Daniel MONTLOUIS-CALIXTE, professeur agr\u00e9g\u00e9 de Math\u00e9matiques et d'Informatique \u00e0 L'Universit\u00e9 Antilles-Guyane, Campus de Schoelcher en Martinique.<\/p>\n

\"\"<\/p>\n

Ce logiciel a \u00e9t\u00e9 \u00e9labor\u00e9 \u00e0 partir des travaux de recherche du groupe Intelligence artificielle et G\u00e9om\u00e9trie de la section Martinique de l'IREM Antilles-Guyane. Les travaux de ce groupe (form\u00e9 entre autres de Guy PRUDENT, feu Robert LAMARTINIERE, Michel BOUCHITTE, Christian CYRILLE...) ont commenc\u00e9 en 1987.<\/p>\n

Ces travaux se sont poursuivis de 1990 \u00e0 l'an 2000 dans 2 groupes :<\/p>\n

- le Groupe Math\u00e9matiques au Coll\u00e8ge (partie p\u00e9dagogique)
\nSerge LOUISE - Viviane MALDEBAULT - Edith DUFRENOT - Claude CHOPIN<\/p>\n

- le Groupe Kabrit'Bwa Math\u00e9matiques et Informatique au coll\u00e8ge et au lyc\u00e9e (partie technique) :
\nDaniel ALPHONSE\u00a0- Christian CYRILLE - Armand FLAUN - Patrick LOMBARD - Aliette MAINGE - Daniel MONTLOUIS CALIXTE - Patrick PAILLE - Patrick ZOCLY<\/p>\n

Apr\u00e8s l'an 2000, les travaux ont repris au sein du groupe Math\u00e9matiques au Coll\u00e8ge anim\u00e9 par Viviane MALDEBAULT.
\nLa version actuelle est la r\u00e9\u00e9criture du logiciel initial appel\u00e9 logiciel Raymond LABAT, du nom d'un jeune et brillant ing\u00e9nieur martiniquais d\u00e9c\u00e9d\u00e9 accidentellement il y a quelques ann\u00e9es en Martinique.<\/p>\n

Objectif du logiciel<\/b><\/span><\/p>\n

L'objectif de ce logiciel est de favoriser l'apprentissage du raisonnement en g\u00e9om\u00e9trie pour un \u00e9l\u00e8ve du niveau minimum de 4\u00e8me, en le placant dans une situation plus active, personnalis\u00e9e et autonome.<\/p>\n

Il veut permettre \u00e0 l'\u00e9l\u00e8ve de raisonner sans la pr\u00e9sence coercitive du professeur.<\/p>\n

Le r\u00f4le du professeur reste toutefois indispensable.<\/p>\n

Le professeur lors des premi\u00e8res s\u00e9ances d'utilisation du logiciel doit apprendre \u00e0 l'\u00e9l\u00e8ve :<\/p>\n

1 - savoir construire une figure<\/p>\n

2 - savoir utiliser le cahier de cours int\u00e9gr\u00e9 au logiciel<\/p>\n

3 - bien lire les \u00e9nonc\u00e9s, d\u00e9tecter les mots-cl\u00e9s, observer les figures et appliquer un th\u00e9or\u00e8me.<\/p>\n

4 - pr\u00e9voir des s\u00e9ances gradu\u00e9es ( 1 seul th\u00e9or\u00e8me , puis 2 th\u00e9or\u00e8mes et enfin un but compliqu\u00e9 \u00e9loign\u00e9 des hypoth\u00e8ses)<\/p>\n

Dans le cas des exercices sans aide, le professeur est pr\u00e9sent pour r\u00e9pondre aux questions des \u00e9l\u00e8ves.<\/p>\n

Ce logiciel peut \u00eatre utilis\u00e9 dans le cadre de l'aide individualis\u00e9e en classe de seconde.<\/p>\n

Comment fonctionne ce logiciel ?<\/b><\/p>\n

Ce logiciel est livr\u00e9 avec une banque d'exercices int\u00e9gr\u00e9e.<\/p>\n

Vous pouvez t\u00e9l\u00e9charger une version d'\u00e9valuation<\/a> ainsi que 4 exercices du niveau de 4\u00e8me dont 2 sont munis d'une aide.<\/p>\n

Le logiciel travaille n\u00e9anmoins sur un exercice quelconque dont seul l'\u00e9nonc\u00e9 a \u00e9t\u00e9 donn\u00e9.<\/p>\n

La d\u00e9monstration de l'\u00e9l\u00e8ve sera alors simplement contr\u00f4l\u00e9e sans aide sp\u00e9cifique.<\/p>\n

Par contre,dans les exercices int\u00e9gr\u00e9s, le niveau d'exigence dans la d\u00e9monstration et le d\u00e9blocage de l'\u00e9l\u00e8ve sur les points sensibles ont fait l'objet d'une attention particuli\u00e8re.<\/p>\n

Chaque exercice contient :<\/p>\n

- des faits qui sont soit des objets de d\u00e9part, soit des objets g\u00e9n\u00e9r\u00e9s par les constructions g\u00e9om\u00e9triques, (ces objets \u00e9tant eux-m\u00eames d\u00e9finis \u00e0 l'aide d'autres types d'objets: relations, \u00e9l\u00e9ments g\u00e9om\u00e9triques g\u00e9n\u00e9riques de base)<\/p>\n

- des r\u00e8gles (les th\u00e9or\u00e8mes).<\/p>\n

Ecrans correspondant aux relations, constructions et r\u00e8gles d'\u00e9vidence:<\/p>\n

La banque d'exercices a \u00e9t\u00e9 pr\u00e9par\u00e9e par deux groupes :<\/p>\n

1\u00b0) le Groupe Coll\u00e8ge pr\u00e9pare des exercices du niveau 4\u00e8me<\/b><\/p>\n

En effet \"l'apprentissage de la d\u00e9monstration y est incontournable\" mais les exercices propos\u00e9s peuvent \u00eatre utilis\u00e9s d\u00e8s la 5\u00e8me et jusqu'en classe de 3\u00e8me.<\/p>\n

Ces exercices portent sur :<\/p>\n

- les quadrilat\u00e8res (parall\u00e9logramme, losange)<\/p>\n

- le triangle rectangle<\/p>\n

- la droite des milieux dans un triangle<\/p>\n

G\u00e9olab est une aide \u00e0 la d\u00e9monstration pour l'instant purement g\u00e9om\u00e9trique (sans calcul) ce qui explique le choix des chapitres.<\/p>\n

Vous n\u2019y trouverez donc pas d\u2019exercices appliquant les th\u00e9or\u00e8mes de Thal\u00e8s, Pythagore.<\/p>\n

2\u00b0) le Groupe Lyc\u00e9e Kabrit Bwa pr\u00e9pare des exercices du niveau de 2de (modules, aide individualis\u00e9e,...) et s'occupe aussi de l'am\u00e9lioration technique du logiciel.<\/b><\/p>\n

Comment se pr\u00e9sente un exercice ?<\/b><\/p>\n

1 - Le professeur propose un exercice d\u00e9j\u00e0 pr\u00e9par\u00e9.<\/p>\n

2 - L'\u00e9l\u00e8ve compl\u00e8te \u00e9ventuellement la figure<\/p>\n

\"\"
\n3 - L'\u00e9l\u00e8ve observe les propri\u00e9t\u00e9s de construction et les hypoth\u00e8ses affich\u00e9es \u00e0 l'\u00e9cran. Il doit aussi s'impr\u00e9gner de la consigne pr\u00e9sente \u00e0 la fois dans l'\u00e9nonc\u00e9 et dans la zone de communication<\/p>\n

4 - Pour choisir le th\u00e9or\u00e8me \u00e0 appliquer, il se sert du cahier de cours propos\u00e9 par le logiciel.<\/p>\n

Ce cahier de cours est con\u00e7u sur la base d'une progression en vigueur dans l'acad\u00e9mie.<\/p>\n

5 - Il \"renseigne\" et applique le th\u00e9or\u00e8me<\/p>\n

\"\"<\/p>\n

\"\"<\/p>\n

6 - Le logiciel v\u00e9rifie que le th\u00e9or\u00e8me est applicable, \u00e9tape par \u00e9tape<\/p>\n

\"\"<\/p>\n

Les erreurs \u00e9ventuelles sont signal\u00e9es au fur et \u00e0 mesure qu'elles sont d\u00e9cel\u00e9es par le logiciel.<\/p>\n

Le fonctionnement en arri\u00e8re-plan du moteur d'inf\u00e9rences :<\/em><\/span>
\n\"\"<\/p>\n","protected":false},"excerpt":{"rendered":"

Un bref historique GEOMLAB est un logiciel de raisonnement en g\u00e9om\u00e9trie bas\u00e9 sur des techniques d'Intelligence Artificielle. Ce logiciel a \u00e9t\u00e9 cr\u00e9\u00e9 par un chercheur g\u00e9nial Daniel MONTLOUIS-CALIXTE, professeur agr\u00e9g\u00e9 de Math\u00e9matiques et d'Informatique \u00e0 L'Universit\u00e9 Antilles-Guyane, Campus de Schoelcher en Martinique. Ce logiciel a \u00e9t\u00e9 \u00e9labor\u00e9 \u00e0 partir des travaux de recherche du groupe … Continuer la lecture de « Le logiciel de d\u00e9monstration automatique GEOMLAB »<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-299","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/299","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/comments?post=299"}],"version-history":[{"count":8,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/299\/revisions"}],"predecessor-version":[{"id":2340,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/299\/revisions\/2340"}],"wp:attachment":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/media?parent=299"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}