Géométrie et système expert

From OFSET Community Wiki

Jump to: navigation, search

Contents

Introduction

Cette page regroupe des tentatives de réaliser le couplage outil de construction de figures interactives et un système expert faisant des déductions sur la figure construite.

Les faits transmis au système expert sont la description des objets géométriques construits. et constituent la base de donnée.

Des règles décrivent les déductions possible à partir de ces faits.

Le moteur d'inférences du système expert essaie d'appliquer les règles, si les conditions d'une règles sont toutes satisfaites, un nouveau fait est déduit et ajouté à la base de donnée s'il n'y est pas déjà.


Système Expert

Système experts disponibles

Système expert en SmallTalk.
le traitement peut donc se faire tout en Squeak.

Ce système présente l'intérêt d'être facile à utiliser par des élèves.

Un système semblable dans une version en Logo a été expérimenté il y a quelques années avec des élèves de 13 14 ans.

voir: Système Expert.


Autres pistes.

Squeak Prolog

Un langage Prolog existe pour certaines versions de Squeak, mais pas pour Faro.

utilisation de Squeak Prolog

Shelog

Shelog est un prolog écrit en scheme, il y a un package lispkit contenant sheme et shelog pour squeak. Le problème est que si cela fonctionne, la lenteur le rend inutilisable pour une utilisation autre que de démonstration et la syntaxe est difficile à utiliser.

Passer les données à un prolog extérieur à Squeak.

Autre solution, extraire les données et les passer à un prolog hors de squeak, c'est ce que l'on peut faire avec le programme open source swiprolog, la syntaxe standard (dite de Edimbourg) permet d'utiliser les faits dans différents prolog. L'avantage de cette solution pour les connaisseurs de Prolog est d'utiliser la syntaxe standard de Prolog.


Solution avec swi-prolog

Un projet Etoys permet d'afficher les affirmations décrivant la figure dans un texte qui permet de les copier et de les introduire en suite dans Swi prolog.

Utilisation avec Swi-Prolog

Personal tools