Bonjour,

Je n'y connais rien en "moteurs d'inférence" mais d'après moi, il faut orienter tes recherches sur des mots-clés comme "logique : analyse, calcul propositionnel, induction, tautologie ..." ou bien du côté des langages informatiques "prolog" ou "lisp".

Les moteurs d'inférence permettent, à partir de plusieurs prémices avérées, de déduire de nouvelles assertions en utilisant simplement les règles du calcul propositionnel. Pour faire très très simple, voici 2 prémices :
"Jean est plus grand que Paul",
"Paul est plus grand que Pierre"
On peut en déduire la nouvelle assertion : "Jean est plus grand que Pierre".

Regarde aussi du côté des "grammaires génératives" de Noham Chomski et du côté des outils de traduction automatique.

Autres pistes : tout ce qui concerne les simulateurs de conduite (avions, voitures, trains ...) et tous les jeux vidéo purement "logiques"...

Bonjour
les jeux purement logiques : comme les zoombinis ?

Merci pour les réponses, et pour les grammaires génératives, j'ai cherché, j'arrive pas à voir comment j'pourrais l'introduire (j'ai pas compris le rapport en fait) ... Sinon pour les zoombinis j'connaissais pas mais je pourrais en parler puisque j'ai parlé des risques, je peux parler aussi des bienfaits (jeu éducatif) de l'IA après tout
Sinon, le plus dur pour moi c'est surtout d'essayer de simplifier des choses assez complexes parce que forcément c'est pas des maths de mon niveau... Mais bon, je fais de mon mieux !