Dans son Dictionnaire de logique pour linguistes, puf, 1995, A. Bannour définit l'inférence comme le « processus logique par lequel on admet une proposition en raison de sa relation avec d'autres ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

Engagés dans une entreprise de recherche-développement de longue haleine qui n'a pas son précédent, des Informaticiens de plusieurs pays s'efforcent aujourd'hui de faire de l'intelligence rudimentaire ...