[Squeakland] v-toys for OLPC

Mon Jun 2 21:30:31 PDT 2008

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 at gmail.com de la part de Hilaire Fernandes
> Date: lun. 02/06/2008 09:27
> À: Dreyfuss Pierre-André (EDU)
> Cc: squeakland at 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 at 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 at squeakland.org de la part de Dreyfuss Pierre- 
>> André (EDU)
>> Date: lun. 26.05.2008 12:07
>> À: 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
>
>
> <extract facts.png>_______________________________________________
> Squeakland mailing list
> Squeakland at squeakland.org
> http://squeakland.org/mailman/listinfo/squeakland