Remerciement à Lotfi Askar Zadeh

[saphiraméthyste]

Remerciement à Lotfi Askar Zadeh  

auparavant sur les raisons de ce remerciement  

une photo  & source wiki ->




Lotfi Askar Zadeh (en azéri : Lütfəli Rəhim oğlu Əsgərzadə), né le 4 février 1921 à Bakou en Azerbaïdjan, fondateur de la logique floue, est un scientifique connu pour ses travaux en informatique et en automatique.

Biographie
Né de père azeri et de mère russe, il a grandi en Iran et étudié à l'Université de Téhéran avant de rejoindre les États-Unis où il a poursuivi ses études au MIT et à l'Université Columbia.

En 1965, il introduit la théorie des ensembles flous dont les applications industrielles sont nombreuses. Ses idées novatrices débouchent sur différentes méthodes telles que la notion de réseau neuronal.

Il est actuellement professeur émérite à l'Université de Berkeley.

Lotfi Zadeh est le fondateur de la logique floue, largement utilisée dans les différents domaines de l'informatique. La logique floue utilise des quantités nuancées, contrairement au système binaire qui n'utilise que le vrai et le faux. Par exemple, « un peu grand » ou « presque fini » sont des valeurs manipulées par la logique floue

modération : insulte supprimée

mes remerciements à lui car j'ai un truc à faire en algèbre de Boole défini sur l'ensemble des relatifs Z et sur un ensemble qui est l'ensemble de toutes les familles de types (x_i)_i dans |N et x_i dans l'ensemble des réels |R .

je vous laisserai un lien d'ailleurs sur ce même fil pour ceux que ça interesse .  sur ces deux algèbres là

en ce qui concerne le rapport entre la logique floue de  Lotfi Askar Zadeh eh bien tout simplement que par exemple chacun des éléments de l'ensemble infini des entiers relatifs Z peut être vu comme la valeur logique d'une proposition logique en logique floue

ou bien encore  chacun des éléments de l'ensemble de toutes les familles de types (x_i)_i dans |N et x_i dans l'ensemble des réels |R

comme la valeur logique d'une proposition logique

qui sait si la philosophie s'interesse à la logique floue et saura l'utiliser...(en dehors des applications pour la robotique domaine dans lequel je ne connais strictement rien pas plus qu'en philosophie d'ailleurs)

[jghislain]

Moi, ça m'intéresse fort. Donc si je comprends bien, le zéro et le un de Boole correspondrait à un nombre entier, hormis le zéro ni l'infini, puisque rien n'est entièrement faux ni entièrement vrai ?

[saphiraméthyste]

Moi, ça m'intéresse fort. Donc si je comprends bien, le zéro et le un de Boole correspondrait à un nombre entier, hormis le zéro ni l'infini, puisque rien n'est entièrement faux ni entièrement vrai ?

sauf pour l'element 0 valeur fausse d'une proposition fausse et l'element 1 valeur vraie d'une proposition vraie

toutes les autres valeurs n'étant ni vraies ni fausses

eh bien je laisserai le lien (car c'est ecrit sur papier et je dois le recopier en l'affichant en latex)

sinon à tout entier relatif x lorsque x est positif et non nul et non de valeur 1 alors on considere que x est analogue à un ensemble fini d'éléments de l'ensemble des entiers naturels |N donc bref analogue à une partie finie et non vide de  |N  

lorsque x est de valeur 1 ou lorsque x est négatif  alors on considere que x est analogue à un ensemble infini dénombrable d'éléments de l'ensemble des entiers naturels  |N donc bref analogue à une partie infinie de |N  

et on pose la convention que lorsque x est de valeur 1 alors  x est analogue à l'ensemble des entiers naturels |N
modération : insulte supprimée

[saphiraméthyste]

en attendant et ceci dit un autre exemple de logique non binaire d'ordre zero et extremement simple à écrire definie par une algebre de Boole sur un ensemble fini possédant 4 éléments ici E={0,1,2,3}

et on note l'endobijection dans E par la notation \x
\0=1
\1=0
\2=3
\3=2

0+0=0
0+1=1
0+2=2
0+3=3
1+0=1
1+1=1
1+2=1
1+3=1
2+0=2
2+1=1
2+2=2
2+3=1
3+0=3
3+1=1
3+2=1
3+3=3

0.0=0
0.1=0
0.2=0
0.3=0
1.0=0
1.1=1
1.2=2
1.3=3
2.0=0
2.1=2
2.2=2
2.3=0
3.0=0
3.1=3
3.2=0
3.3=3

[saphiraméthyste]

le thème est à suivre ici sur ce lien

http://www.ilemaths.net/forum-sujet-630128.html#fin

sur ce premier post les trois premiers chapitres du sommaire    

il reste encore cinq chapitres du sommaire à faire ... mais bon au fur et à mesure je le posterai

[saphiraméthyste]

il reste le plus gros à faire (tout étant manuscrit il ne s'agit pas d'un papier/collé ) mais bon ça avance...

seulement accessible pour maintenant sur le lien http://www.ilemaths.net/forum-sujet-630128.html#fin

le calcul des propositions généralisé et algebre de Boole sur

{0,1}
{0,1,2,3}
{0,1,2,3,4,5,6,7}
{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}

il reste à faire algebre de Boole sur {0,1,...,2^u-1} avec u > 4
(ce faisant on aura définit toute algebre de Boole sur un ensemble fini)

puis algebre de Boole sur les relatifs (l'ensemble sur lequel est definit cet algebre de Boole étant dénombrable)
puis algebre de Boole sur les réels par la trigonometrie classique
et enfin algebre de Boole sur les réels par la trigonometrie hyperbolique

pour les deux dernier l'ensemble sur lequel est definit l'algebre de Boole n'est pas dénombrable

[saphiraméthyste]

JGhislain  je viens juste de terminer l'algebre de Boole sur un ensemble fini là sur ce lien

http://www.ilemaths.net/forum-sujet-630128.html#fin

je reviendrai à chaque fois qu'un chapitre sera terminé

là il reste à faire : algebre de Boole sur l'ensemble dénombrable des entiers relatifs

algebre de Boole sur les réels par la trigonometrie classique

algebre de Boole sur les réels par la trigonometrie hyperbolique

à plus

[Contenu sponsorisé]