did you publish the code of the forward chainer somewhere like squeaksource :)? On Jun 3, 2008, at 12:38 AM, Dreyfuss Pierre-André (EDU) wrote:
Hi, I'll post more about expert and DrGeo on a post about this topic which is in progress.
Just for now:
The attached file show a figure made using DrGeoII and an interface that extracts facts from the figure.
These facts are then put in the expert system.
Below deductions from the expert. First translation of drGeo facts in geometry by drgeo rules. Then deductions by geometry rules deducing that I J K L is a parallelogram.
<<Facts extracted from DrGeo >> e afficheFaits. 'enonce: DrGFreePointItem A enonce: DrGFreePointItem B enonce: DrGFreePointItem C enonce: DrGFreePointItem D enonce: DrGSegment2PointsItem [AB] A B enonce: DrGSegment2PointsItem [BC] B C enonce: DrGSegment2PointsItem [CD] C D enonce: DrGSegment2PointsItem [DA] D A enonce: DrGMiddlePointSegmentItem I [AB] enonce: DrGMiddlePointSegmentItem J [BC] enonce: DrGMiddlePointSegmentItem K [CD] enonce: DrGMiddlePointSegmentItem L [DA] enonce: DrGSegment2PointsItem [IJ] I J enonce: DrGSegment2PointsItem [JK] J K enonce: DrGSegment2PointsItem [KL] K L enonce: DrGSegment2PointsItem [LI] L I '
<<Start deductions>> e deduis.
<<All facts known >> e afficheFaits. 'enonce: DrGFreePointItem A enonce: DrGFreePointItem B enonce: DrGFreePointItem C enonce: DrGFreePointItem D enonce: DrGSegment2PointsItem [AB] A B enonce: DrGSegment2PointsItem [BC] B C enonce: DrGSegment2PointsItem [CD] C D enonce: DrGSegment2PointsItem [DA] D A enonce: DrGMiddlePointSegmentItem I [AB] enonce: DrGMiddlePointSegmentItem J [BC] enonce: DrGMiddlePointSegmentItem K [CD] enonce: DrGMiddlePointSegmentItem L [DA] enonce: DrGSegment2PointsItem [IJ] I J enonce: DrGSegment2PointsItem [JK] J K enonce: DrGSegment2PointsItem [KL] K L enonce: DrGSegment2PointsItem [LI] L I DrgeoPoint: point A DrgeoPoint: point B DrgeoPoint: point C DrgeoPoint: point D DrgeoSegment: segment [AB] A B DrgeoSegment: segment [BC] B C DrgeoSegment: segment [CD] C D DrgeoSegment: segment [DA] D A DrgeoSegment: segment [IJ] I J DrgeoSegment: segment [JK] J K DrgeoSegment: segment [KL] K L DrgeoSegment: segment [LI] L I DrGMiddlePointSegmentItem: milieu I A B DrGMiddlePointSegmentItem: milieu J B C DrGMiddlePointSegmentItem: milieu K C D DrGMiddlePointSegmentItem: milieu L D A mil1: parallele I J A C mil1: parallele J K B D mil1: parallele K L C A mil1: parallele L I D B quadrilatere: quadri A B C D quadrilatere: quadri B C D A quadrilatere: quadri C D A B quadrilatere: quadri D A B C quadrilatere: quadri I J K L quadrilatere: quadri J K L I quadrilatere: quadri K L I J quadrilatere: quadri L I J K mot: quadri A B C D ABCD mot: quadri B C D A BCDA mot: quadri C D A B CDAB mot: quadri D A B C DABC mot: quadri I J K L IJKL mot: quadri J K L I JKLI mot: quadri K L I J KLIJ mot: quadri L I J K LIJK paralTrans: parallele I J K L paralTrans: parallele J K L I paralTrans: parallele K L I J paralTrans: parallele L I J K quadrilatere1: quadrilatere A B C D quadrilatere1: quadrilatere I J K L trapeze1: trapeze I J K L trapeze2: trapeze J K L I parallelo: parallelogramme I J K L ' Regards
-------- Message d'origine-------- De: hilaire.fernandes@gmail.com de la part de Hilaire Fernandes Date: lun. 02/06/2008 09:27 À: Dreyfuss Pierre-André (EDU) Cc: squeakland@squeakland.org Objet : Re: [Squeakland] v-toys for OLPC
You are doing great Pierre-André.
About system expert, do you know that you can define a whole DrGeo interactive figure from a Smalltalk code sequence (http://wiki.laptop.org/go/Image:DrGeo3.png)? That way you can just start from a DrGeo smalltalk figure definition, then start your AI inference.
Moreover when the DrGeo scripting system will be written, it will be possible from you expert system to highlight (color, thickness) the considered geometric object during the inference.
Hilaire
2008/6/2 Dreyfuss Pierre-André (EDU) <pierre- andre.dreyfuss@edu.ge.ch>:
Hi,
v-toys for OLPC are available at:
http://community.ofset.org/index.php/V-toys_international <http://community.ofset.org/index.php/V-toys_international
You'll find some documentation and tutorials on the same page. V-toys is a visual scripting system compatible with Etoys.
Easier for beginners and international in the sense that tiles are identified by icons instead of text. It was presented at the c5 conference in Poitiers
http://uptv.univ-poitiers.fr/web/canal/61/theme/54/manif/168/index.html <http://uptv.univ-poitiers.fr/web/canal/61/theme/54/manif/168/index.html
Help balloons in English will help using the tiles and explain what kind of parameter is needed.
I am translating now 'Etiquettes actives' (active labels) which is an easier way for programming to very beginners.
You can see and download the french version at:
http://community.ofset.org/index.php/Etiquettes_actives <http://community.ofset.org/index.php/Etiquettes_actives
.
Watch the list: Other projects are coming:
Examples of Projects mixing DRGeo and E-toys.
An Expert system (forward chaining.)
Written in Smalltalk, it is working but I have to build the interface for the use with v-toys. It is already working in a project for driving a tic tac toe game and in a project making deductions about figures of DrGeo.
Best regards
De: squeakland-bounces@squeakland.org de la part de Dreyfuss Pierre- André (EDU) Date: lun. 26.05.2008 12:07 À: squeakland@squeakland.org Objet : [Squeakland] (no subject)
Squeakland mailing list Squeakland@squeakland.org http://squeakland.org/mailman/listinfo/squeakland
Squeakland mailing list Squeakland@squeakland.org http://squeakland.org/mailman/listinfo/squeakland
-- http://blog.ofset.org/hilaire
<extract facts.png>_______________________________________________ Squeakland mailing list Squeakland@squeakland.org http://squeakland.org/mailman/listinfo/squeakland