[Squeakland] v-toys for OLPC

Mon Jun 2 15:38:03 PDT 2008

Hi,
I'll post more about expert and DrGeo on a post about this topic which is i=
n progress.

Just  for now:

The attached file show a figure made using DrGeoII and an interface that ex=
tracts facts from the figure.

These facts are then put in the expert system. =

Below deductions from the expert. First translation of drGeo facts in geome=
try 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 at gmail.com de la part de Hilaire Fernandes
Date: lun. 02/06/2008 09:27
=C0: Dreyfuss Pierre-Andr=E9 (EDU)
Cc: squeakland at squeakland.org
Objet : Re: [Squeakland] v-toys for OLPC
 =

You are doing great Pierre-Andr=E9.

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=E9 (EDU) <pierre-andre.dreyfuss at edu.ge.ch>:
> Hi,
>
> v-toys for OLPC are available at:
>
> http://community.ofset.org/index.php/V-toys_international <http://communi=
ty.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 identi=
fied 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 kin=
d of parameter is needed.
>
> I am translating now 'Etiquettes actives' (active labels) which is an eas=
ier 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 fo=
r 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 at squeakland.org de la part de Dreyfuss Pierre-Andr=
=E9 (EDU)
> Date: lun. 26.05.2008 12:07
> =C0: squeakland at squeakland.org
> Objet : [Squeakland] (no subject)
>
>
>
>
>
>
> _______________________________________________
> Squeakland mailing list
> Squeakland at squeakland.org
> http://squeakland.org/mailman/listinfo/squeakland
>
>
>
> _______________________________________________
> Squeakland mailing list
> Squeakland at squeakland.org
> http://squeakland.org/mailman/listinfo/squeakland
>

-- =

http://blog.ofset.org/hilaire

-------------- next part --------------
A non-text attachment was scrubbed...
Name: extract facts.png
Type: image/png
Size: 20916 bytes
Desc: extract facts.png
Url : http://squeakland.org/pipermail/squeakland/attachments/20080603/2daed=
b26/extractfacts-0001.png