Raisonnement

“Socrate est un homme. Tous les hommes sont mortels. Donc Socrate est mortel. » Tout le monde connaît ce syllogisme proposé par Aristote, exemple canonique de la logique classique, qui est la base de la logique des propositions. Elle est censée être aussi le reflet de la « logique naturelle », celle que les hommes utilisent en situation courante. Pourtant, les recherches menées en intelligence* artificielle à partir des années 1960-70 ont conduit à dissocier la logique naturelle de la logique formelle. Quand on a voulu construire des programmes informatiques copiant la pensée humaine, on s’est aperçu que nos raisonnements ordinaires ne concordaient pas avec les règles de la logique. Par exemple : « Si Jean est dans la cuisine, il n’est pas dans la salle de bains »n’a rien d’évident pour une machine logique, pour laquelle rien ne s’oppose à ce que Jean soit « à la fois » dans les deux pièces. Il suffit d’admettre que la cuisine est dans la salle de bains ! Une grande partie de notre raisonnement habituel reposerait donc sur des connaissances ordinaires et non sur un raisonnement rationnel.