Это не ответ на вопрос, но оформлю его как отдельный ответ, так как большое число комментариев к разным ответам явно подводят к необходимости освятить этот вопрос. Насколько я понимаю, человеческое мышление больше похоже на так называемую "нечёткую логику" (о ней, по-моему, никто из классификаторов логик здесь не упомянул).
Как я понимаю:
она основана на сложных правилах множителей, которые умножаются на присвоенные единицам информации коэффициенты и позволяет делать не достоверные выводы, а предположения, с оценкой их достоверности. Собственно, как по большей части человеческое мышление. То есть "вот это почти точно", "вот это не уверен, но почему-то мне кажется, что правда", "вот это вряд ли конечно, но рассмотреть стоит" и тд. Используется при создании нейросетей, поэтому, собственно, они такие умные.
Имхо.