This is a multi-part message in MIME format.
On 9/28/24 08:54, jean herbert wrote:
voilà qui est bien expliqué : donc cela peut etre integre à un projet
IA (r&d ?) par contre pour ce qui est des applications , je doute un
peu de la pertinence ; en effet pour la traduction , c'est deja connu
et largement au point (mais avec l'arrivée des cartes meres avec IA(gpu)
*Certes non*; on ne sait pas traduire automatiquement du russe au
français un livre tel que la biographie de boulgakov en
https://www.amazon.fr/Mikha%C3%AFl-Boulgakov-Alexei-Varlamov/dp/B07R326TWS
(ce livreISBN-13 : 979-1095454298 a été traduit par ma fille, majore à l'agrég de Russe, elle y a passé deux ans et bien sûr utilisé un ordinateur Linuxien)
Il suffit par exemple de lancer un programme de traduction automatique
sur des vers de Pouchkine (qui a écrit en russe et quelques poèmes en français) pour en mesurer l'insuffisance. A contrario des universitaires soviétiques ont su traduire des vers russes en vers français (et pour comprendre ces deux langues je vous assure que c'est difficile et le
travail est impressionnant).
Même sur des bulletins météos la traduction automatique est
insuffisante... mais très largement utilisée (et souvent assez bonne en
2024, avec des surprises...).
Pour des notices de médicaments, la traduction automatique devient plus
utile et bien plus compliquée (en particulier parce que le dosage ou le
prix des médicaments varient d'un pays à l'autre, les traditions
médicales différentes, même au sein de l'UE. comparez le prix d'un
Doliprane -la même boîte- acheté à Paris en France et à Athènes en France)
Et même les messages d'erreur de GNU libc ou GNU emacs sont difficiles à traduire (de l'anglais au français) et ont souvent été mal traduits.
Même des textes extrêmement classiques (comme les psaumes de David ou le livre de la Genèse ou les livres de Victor Hugo ou les pièces de
Shakespeare) sont encore l'objet de nouvelles traductions (faites par
des traducteurs humains professionnels et chevronnés) innovantes.
Observez que le fameux "to be or not to be" shakespearien a été traduit
de moultes façons.
Il suffit de connaître des traducteurs professionnels: l'informatique
peut les aider, mais ne menace pas leur métier (qu'elle fait évoluer).
et tel-portables cela peu interrese (fairphone ?) par contre pour un
paquet debian, là je vois pas du tout l'utilité (manque d'imagination
sans doute desole ;) _ cela peut etre un service utile dirige en
aide a un "anonymat ? beaucoup de variables , mais n'est-ce pas deja
integre dans des 'programmes' dedie à ce genre de chose ?
Le 27 sept. 2024 à 10:23, Basile STARYNKEVITCH
<basile@starynkevitch.net> a écrit :
Bonjour
(je mets debian-user-french en copie, bien que ça n'a pas été
demandé, je vous prie de m'en excuser)
Un moteur d'inférences est un logiciel qui fait des inférences
logiques et reproduit le raisonnement humain sur ordinateur; il gère
conceptuellement une base de faits et une base de règles. Ces trois
composants (moteur, règles, faits) forment un système expert.
Jacques Pitrat a été le pionner français des moteurs d'inférences (et
avait présidé mon jury de thèse).
les systèmes experts peuvent avoir des applications variées et sont
une branche de l'intelligence artificielle symbolique. Il y en a dans
une variété de domaines (aide à la décision et à la prescription
médicales, synthèse de textes en langage naturel - par exemple les
bulletins météos, gestion d'un parc d'ordinateurs informatiques en
réseau, aide à la conception d'objets industriels, pilotage des gros
calculs de simulation - par exemple en astrophysique pour la
collision de galaxies, correction grammaticale d'un document, analyse
des décisions de justice, assistance à la traduction automatique,
logiciels de jeux, aide à la gestion documentaire ou administrative....). >>
On 9/27/24 08:55, jean herbert wrote:
qu'est-ce que le moteur d'inference libre ? un consortium ou une
fondation ?
Le 24 sept. 2024 à 09:49, Basile STARYNKEVITCH
<basile@starynkevitch.net> <mailto:basile@starynkevitch.net> a écrit : >>>>
On 9/24/24 09:43, jean herbert wrote:
je cherche un soft à mettre sur debian pour mon hdd : le fabricant
(de disque dur interne) en propose un pour windows et mac mais
rien pour linux.
est-ce que quelqu'un(e) connait ca ?
le hdd peut etre bloqué par 2 mdp /user et admin : pratique et
efficace (moins sur que le cryptage/chiffrement mais j'aime bien
l'option.
Il existe sous Debian ou Ubuntu des systèmes de fichiers cryptés
https://www.debian.org/releases/bullseye/amd64/ch07s02.en.html
Pour ma part, je cherche un consortium intéressé à financer le
moteur d'inférences libre https://github.com/RefPerSys/RefPerSys
peut-être dans le cadre
https://piq.inria.fr/
RefPerSys <http://refpersys.org/> (acronyme pour *REF*lexive
*PER*sistent *SYS*tem) n'est pas en fin septembre 2024 un moteur
d'inférences complet, mais contient déjà trente six mille lignes de
code en C++ sous licence GPLv3+ ou CeCILL pour système Linux. J'y
travaille actuellement notamment sur la génération de code machine
(via GNU lightning <https://www.gnu.org/software/lightning/>) ou C++,
reprenant aussi des idées expliquées dans cette
<https://arxiv.org/pdf/1109.0779> publication.
RefPerSys manipule des valeurs immuables légères et des objets
mutables plus lourds et les stocke dans des fichiers textuels qui
sont chargés au démarrage et écrits sur disque à la fin du processus.
Le modèle objet de RefPerSys est inspiré par ObjVLisp
<https://dl.acm.org/doi/10.1145/38807.38822>. Les valeurs immuables
peuvent être scalaires ou des composites (en particulier des
ensembles finis ou des séquences d'objets).
A la fin normale d'un processus RefPerSys l'ensemble du tas (les
valeurs et objets) est écrit sur disque pour être rechargé au
démarrage suivant.
Dans RefPerSys manquent notamment (en fin septembre 2024) une
interface graphique (esquissée dans le fichier fltk_rps.cc), une
syntaxe agréable pour l'expression des règles et des méta-règles. La
génération à la volée de code machine ou de code C++ (qui pourrait
être compilé en un greffon chargé par dlopen(3)
<https://man7.org/linux/man-pages/man3/dlopen.3.html>....) est en
cours d'écriture et permettra d'avoir un filtrage ("pattern matching"
par unification) efficace. Mais un ramasse-miettes et un mécanisme
d'agenda y est déjà implémenté.
Une méta-règle, quand elle peut être appliquée par le moteur
d'inférences, peut modifier ou ajouter des informations ou du code
dans les representations des règles (y compris des méta-règles) pour
en faciliter l'utilisation par le moteur.
Un consortium est une structure légale ad-hoc qui permet de financer
le développement d'un logiciel libre en formalisant et organisant la
relation entre developpeurs de logiciel libre (dont votre serviteur)
et utilisateurs potentiels qui décrivent leur besoins et la
participation à des conférences. Des agences de financement comme
l'ANR (voir https://anr.fr/ ...) ou HorizonEurope (voir
https://www.horizon-europe.gouv.fr/ ...) ou ITEA (voir
https://itea4.org/ ...) ou https://piq.inria.fr/
N'hésitez pas à me contacter par courriel (y compris aussi vers
b.starynkevitch@gmail.com) ou courrier postal si vous êtes intéressés
par RefPerSys ou pour me poser des questions à son sujet.
Je cherche également des parrains pour RefPerSys et pour en faire un
paquet Debian.
Librement.
NB. Le logo de RefPerSys
<https://github.com/RefPerSys/RefPerSys/blob/master/doc/refpersys_logo.svg> >> a été fourni par Gaëtan Tapon
--
Basile STARYNKEVITCH<basile@starynkevitch.net> <mailto:basile@starynkevitch.net>
8 rue de la Faïencerie
92340 Bourg-la-Reine mobile: +33 6 8501 2359
Francehttp://starynkevitch.net/Basile/
--
Sent with https://mailfence.com
Secure and private email
--
Basile STARYNKEVITCH<
basile@starynkevitch.net>
8 rue de la Faïencerie
92340 Bourg-la-Reine mobile: +33 6 8501 2359 France
http://starynkevitch.net/Basile/
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 9/28/24 08:54, jean herbert wrote:<br>
</div>
<blockquote type="cite"
cite="mid:
1967927454.75200.1727506491655@ichabod.co-bxl">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div style="font-family:arial; font-size:13px;">voilà qui est bien
expliqué : donc cela peut etre integre à un projet IA (r&d
?) par contre pour ce qui est des applications , je doute un peu
de la pertinence ; en effet pour la traduction , c'est deja
connu et largement au point (mais avec l'arrivée des cartes
meres avec IA(gpu) </div>
</blockquote>
<p><b>Certes non</b>; on ne sait pas traduire automatiquement du
russe au français un livre tel que la biographie de boulgakov en <a href="
https://www.amazon.fr/Mikha%C3%AFl-Boulgakov-Alexei-Varlamov/dp/B07R326TWS"
class="moz-txt-link-freetext">
https://www.amazon.fr/Mikha%C3%AFl-Boulgakov-Alexei-Varlamov/dp/B07R326TWS</a>
(ce livre<span class="a-list-item"><span class="a-text-bold"> <font
face="monospace">ISBN-13 : </font></span><font
face="monospace"> <span>979-1095454298</span></font></span> a
été traduit par ma fille, majore à l'agrég de Russe, elle y a
passé deux ans et bien sûr utilisé un ordinateur Linuxien)</p>
<p>Il suffit par exemple de lancer un programme de traduction
automatique sur des vers de Pouchkine (qui a écrit en russe et
quelques poèmes en français) pour en mesurer l'insuffisance. A
contrario des universitaires soviétiques ont su traduire des vers
russes en vers français (et pour comprendre ces deux langues je
vous assure que c'est difficile et le travail est impressionnant).<br>
</p>
<p>Même sur des bulletins météos la traduction automatique est
insuffisante... mais très largement utilisée (et souvent assez
bonne en 2024, avec des surprises...).<br>
</p>
<p>Pour des notices de médicaments, la traduction automatique
devient plus utile et bien plus compliquée (en particulier parce
que le dosage ou le prix des médicaments varient d'un pays à
l'autre, les traditions médicales différentes, même au sein de
l'UE. comparez le prix d'un Doliprane -la même boîte- acheté à
Paris en France et à Athènes en France)<br>
</p>
<p>Et même les messages d'erreur de GNU libc ou GNU emacs sont
difficiles à traduire (de l'anglais au français) et ont souvent
été mal traduits.<br>
</p>
<p>Même des textes extrêmement classiques (comme les psaumes de
David ou le livre de la Genèse ou les livres de Victor Hugo ou les
pièces de Shakespeare) sont encore l'objet de nouvelles
traductions (faites par des traducteurs humains professionnels et
chevronnés) innovantes. Observez que le fameux "to be or not to
be" shakespearien a été traduit de moultes façons.<br>
</p>
<p>Il suffit de connaître des traducteurs professionnels:
l'informatique peut les aider, mais ne menace pas leur métier
(qu'elle fait évoluer).<br>
</p>
<p><br>
</p>
<blockquote type="cite"
cite="mid:
1967927454.75200.1727506491655@ichabod.co-bxl">
<div style="font-family:arial; font-size:13px;">et tel-portables
cela peu interrese (fairphone ?) par contre pour un paquet
debian, là je vois pas du tout l'utilité (manque d'imagination
sans doute desole ;) _ cela peut etre un service utile dirige
en aide a un "anonymat ? beaucoup de variables , mais n'est-ce
pas deja integre dans des 'programmes' dedie à ce genre de chose
?<br>
<br>
<div>Le 27 sept. 2024 à 10:23, Basile STARYNKEVITCH
<a class="moz-txt-link-rfc2396E" href="mailto:
basile@starynkevitch.net"><
basile@starynkevitch.net></a> a écrit :
<blockquote type="cite" cite="<
aeb9d2ee-90a4-4540-8647-e7fa1ce97233@starynkevitch.net>">
<p>Bonjour <br>
</p>
<p>(je mets debian-user-french en copie, bien que ça n'a pas
été demandé, je vous prie de m'en excuser)<br>
</p>
<p>Un moteur d'inférences est un logiciel qui fait des
inférences logiques et reproduit le raisonnement humain
sur ordinateur; il gère conceptuellement une base de faits
et une base de règles. Ces trois composants (moteur,
règles, faits) forment un système expert.</p>
<p>Jacques Pitrat a été le pionner français des moteurs
d'inférences (et avait présidé mon jury de thèse).<br>
</p>
<p>les systèmes experts peuvent avoir des applications
variées et sont une branche de l'intelligence artificielle
symbolique. Il y en a dans une variété de domaines (aide à
la décision et à la prescription médicales, synthèse de
textes en langage naturel - par exemple les bulletins
météos, gestion d'un parc d'ordinateurs informatiques en
réseau, aide à la conception d'objets industriels,
pilotage des gros calculs de simulation - par exemple en
astrophysique pour la collision de galaxies, correction
grammaticale d'un document, analyse des décisions de
justice, assistance à la traduction automatique, logiciels
de jeux, aide à la gestion documentaire ou
administrative....).<br>
</p>
<div class="">On 9/27/24 08:55, jean herbert wrote:<br>
</div>
<blockquote type="cite"
cite="mid:
385799744.56638.1727420127487@ichabod.co-bxl">
<div style="font-family:arial; font-size:13px;">qu'est-ce
que le moteur d'inference libre ? un consortium ou une
fondation ?<br>
<br>
<div>Le 24 sept. 2024 à 09:49, Basile STARYNKEVITCH <a
class="" href="mailto:
basile@starynkevitch.net"
moz-do-not-send="true"><
basile@starynkevitch.net></a>
a écrit :
<blockquote type="cite" cite="<
37b19004-78a2-4f8e-961c-1ae2a5bd86db@starynkevitch.net>">
<p><br>
</p>
<div class="">On 9/24/24 09:43, jean herbert wrote:<br>
</div>
<blockquote type="cite" cite="mid:
1481840367.78256.1727163789928@ichabod.co-bxl">
<div style="font-family:arial; font-size:13px;">je
cherche un soft à mettre sur debian pour mon hdd
: le fabricant (de disque dur interne) en
propose un pour windows et mac mais rien pour
linux.
<div>est-ce que quelqu'un(e) connait ca ?</div>
<div>le hdd peut etre bloqué par 2 mdp /user et
admin : pratique et efficace (moins sur que le
cryptage/chiffrement mais j'aime bien
l'option.</div>
<div><br>
</div>
</div>
<br>
<br>
</blockquote>
<p><br>
</p>
<p>Il existe sous Debian ou Ubuntu des systèmes de
fichiers cryptés <a class="moz-txt-link-freetext" href="
https://www.debian.org/releases/bullseye/amd64/ch07s02.en.html"
moz-do-not-send="true">
https://www.debian.org/releases/bullseye/amd64/ch07s02.en.html</a><br>
</p>
<p>Pour ma part, je cherche un consortium intéressé
à financer le moteur d'inférences libre <a
class="moz-txt-link-freetext"
href="
https://github.com/RefPerSys/RefPerSys"
moz-do-not-send="true">
https://github.com/RefPerSys/RefPerSys</a>
peut-être dans le cadre <br>
</p>
<pre wrap="" class=""><a
class="moz-txt-link-freetext"
href="
https://piq.inria.fr/" moz-do-not-send="true">
https://piq.inria.fr/</a></pre>
</blockquote>
</div>
</div>
</blockquote>
<p><a href="
http://refpersys.org/" moz-do-not-send="true">RefPerSys</a>
(acronyme pour <b>REF</b>lexive <b>PER</b>sistent <b>SYS</b>tem)
n'est pas en fin septembre 2024 un moteur d'inférences
complet, mais contient déjà trente six mille lignes de
code en C++ sous licence GPLv3+ ou CeCILL pour système
Linux. J'y travaille actuellement notamment sur la
génération de code machine (via GNU <a
href="
https://www.gnu.org/software/lightning/"
moz-do-not-send="true">lightning</a>) ou C++, reprenant
aussi des idées expliquées dans <a
href="
https://arxiv.org/pdf/1109.0779"
moz-do-not-send="true">cette</a> publication. <br>
</p>
<p>RefPerSys manipule des valeurs immuables légères et des
objets mutables plus lourds et les stocke dans des
fichiers textuels qui sont chargés au démarrage et écrits
sur disque à la fin du processus. Le modèle objet de
RefPerSys est inspiré par <a
href="
https://dl.acm.org/doi/10.1145/38807.38822"
moz-do-not-send="true">ObjVLisp</a>. Les valeurs
immuables peuvent être scalaires ou des composites (en
particulier des ensembles finis ou des séquences
d'objets). </p>
<p>A la fin normale d'un processus RefPerSys l'ensemble du
tas (les valeurs et objets) est écrit sur disque pour être
rechargé au démarrage suivant.<br>
</p>
<p>Dans RefPerSys manquent notamment (en fin septembre 2024)
une interface graphique (esquissée dans le fichier <font
face="monospace">fltk_rps.cc</font>), une syntaxe
agréable pour l'expression des règles et des méta-règles.
La génération à la volée de code machine ou de code C++
(qui pourrait être compilé en un greffon chargé par <a href="
https://man7.org/linux/man-pages/man3/dlopen.3.html"
moz-do-not-send="true">dlopen(3)</a>....) est en cours
d'écriture et permettra d'avoir un filtrage ("pattern
matching" par unification) efficace. Mais un
ramasse-miettes et un mécanisme d'agenda y est déjà
implémenté.<br>
</p>
<p>Une méta-règle, quand elle peut être appliquée par le
moteur d'inférences, peut modifier ou ajouter des
informations ou du code dans les representations des
règles (y compris des méta-règles) pour en faciliter
l'utilisation par le moteur.<br>
</p>
<p>Un consortium est une structure légale ad-hoc qui permet
de financer le développement d'un logiciel libre en
formalisant et organisant la relation entre developpeurs
de logiciel libre (dont votre serviteur) et utilisateurs
potentiels qui décrivent leur besoins et la participation
à des conférences. Des agences de financement comme l'ANR
(voir <a href="
https://anr.fr/"
class="moz-txt-link-freetext" moz-do-not-send="true">
https://anr.fr/</a>
...) ou HorizonEurope (voir <a
href="
https://www.horizon-europe.gouv.fr/"
class="moz-txt-link-freetext" moz-do-not-send="true">
https://www.horizon-europe.gouv.fr/</a>
...) ou ITEA (voir <a href="
https://itea4.org/"
class="moz-txt-link-freetext" moz-do-not-send="true">
https://itea4.org/</a>
...) ou <a class="moz-txt-link-freetext"
href="
https://piq.inria.fr/"
style="white-space: pre-wrap;" moz-do-not-send="true">
https://piq.inria.fr/</a></p>
<p>N'hésitez pas à me contacter par courriel (y compris
aussi vers <a href="mailto:
b.starynkevitch@gmail.com"
class="moz-txt-link-freetext" moz-do-not-send="true">
b.starynkevitch@gmail.com</a>)
ou courrier postal si vous êtes intéressés par RefPerSys
ou pour me poser des questions à son sujet.</p>
<p>Je cherche également des parrains pour RefPerSys et pour
en faire un paquet Debian.<br>
</p>
<p>Librement.<br>
</p>
<p>NB. Le <a href="
https://github.com/RefPerSys/RefPerSys/blob/master/doc/refpersys_logo.svg"
moz-do-not-send="true">logo de RefPerSys</a> a été
fourni par Gaëtan Tapon<br>
</p>
<pre class="" cols="72">--
Basile STARYNKEVITCH <a class=""
href="mailto:
basile@starynkevitch.net"
moz-do-not-send="true"><
basile@starynkevitch.net></a>
8 rue de la Faïencerie
92340 Bourg-la-Reine mobile: +33 6 8501 2359
France <a class="moz-txt-link-freetext"
href="
http://starynkevitch.net/Basile/"
moz-do-not-send="true">
http://starynkevitch.net/Basile/</a></pre>
</blockquote>
</div>
</div>
<br>
<br>
-- <br>
Sent with <a class="moz-txt-link-freetext" href="
https://mailfence.com">https://mailfence.com</a> <br>
Secure and private email<br>
</blockquote>
<pre class="moz-signature" cols="72">--
Basile STARYNKEVITCH <a class="moz-txt-link-rfc2396E" href="mailto:
basile@starynkevitch.net"><
basile@starynkevitch.net></a>
8 rue de la Faïencerie
92340 Bourg-la-Reine mobile: +33 6 8501 2359
France <a class="moz-txt-link-freetext" href="
http://starynkevitch.net/Basile/">http://starynkevitch.net/Basile/</a></pre>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
![https://github.com/RefPerSys/RefPerSys/blob/master/doc/refpersys_logo.svg">logo](https://github.com/RefPerSys/RefPerSys/blob/master/doc/refpersys_logo.svg">logo){kind=link}
![https://github.com/RefPerSys/RefPerSys/blob/master/doc/refpersys_logo.svg"](https://github.com/RefPerSys/RefPerSys/blob/master/doc/refpersys_logo.svg"){kind=link}