Le test de Socrate (fr)

On va voir comment réaliser un algorithme simple, qui permet de résoudre ce qu’on appelle le test de Socrate: “Socrate est un homme, les hommes sont mortels. Est ce que Socrate est mortel?”

C’est typiquement le genre de problèmes d’intelligence artificielle qu’on peut résoudre simplement ou au contraire pour lequel il faut sortir l’artillerie lourde de l’inférence et des moteurs de règles.