Il est intéressant de noter que les défenseurs de la logique dans l’IA ont, depuis un certain temps, essayé d’échapper à la fragilité des contraintes strictes en développant des logiques, telles que les logiques non monotones, où toutes les règles sont essentiellement utilisées ensemble pour faire des inférences, et non séparément.
Dans le paradigme symbolique, les contraintes sont typiquement dures, l’inférence est logique et le traitement peut donc être séquentiel (…). Dans le paradigme subsymbolique, les contraintes sont souples, l’inférence est statistique, et il est donc plus naturel d’utiliser des implémentations parallèles de l’inférence.

Les mathématiques... sont partie de toute investigation, aussi bien morale que physique. Même les règles de la logique, auxquelles elle sont rigidement liées, ne pourraient être déduites sans leur aide. Les lois de l'argumentation admettent la simple affirmation, mais étonnament elles doivent être transposées avant de pouvoir être appliquées à la parole vivante et vérifiées par l'observation. Dans sa forme pure et simple, le syllogisme ne peut être directement rapporté à toute expérience, sinon il n'aurait pas fallu un Aristote pour le découvrir. Il doit être transmuté dans toutes les formes possibles avec lesquelles le raisonnement aime à se vêtir. Transmutation qui est le processus mathématique dans l'établissement de la loi.