Re: NAO Robot : is Ada there too ?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 13 Jun 2011 18:57:13 +0200, Yannick Duch�ne (Hibou57) wrote:

> Le Mon, 13 Jun 2011 18:26:31 +0200, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
>> IMO, it would be easier to write a custom inference engine from scratch
>> than to bend Prolog to do things it cannot.
>>
>> P.S. If you decide to do something, I have a compiler from Fuzzy Control
>> Language written in Ada.
> I use to learn the very basic only of fuzzy logic (and eventually,  
> reinvented it when a day I played to extend classic logic with more than  
> just two values), so I am just now having a quick look at
> http://www.fuzzytech.com/binaries/ieccd1.pdf
> to get a better idea

Here is an extension (typed+intuitionistic+dimentioned) the compiler works
with:

http://www.dmitry-kazakov.de/ada/ifcl.htm

>> P.S. If you decide to do something, I have a compiler from Fuzzy Control
>> Language written in Ada.
> Cannot assert what I will really do ( ;) ), but I am at least always  
> interested in paradigms in the large (even more than to specific  
> languages), so I am potentially interested, indeed. Is that on your web  
> site ?

Yes, but as a part of a larger:

http://www.dmitry-kazakov.de/ada/fuzzy_ml.htm

That is because the compiler needs a back-end, in which case it is a
training set.

If you build an inference engine you will need only the compiler's
front-end and feed the engine from it.

> Have a nice day :)

Same to you.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de