Logicien de reconnaissance