Комментарий
Мне думается что затея копировать человеческие интеллект не только не достижима на данный момент (как вариант вообще не достижима), но и не перспективна.
У естественного интеллекта есть определенные ограничения и недостатки, так что задача формализмов как раз и преодолевать эти проблемы.
Собсно ведь формальные логики разрабатывали с целью получить как можно более строгие рассуждения, в частности для обоснования математики, математики ведь постоянно ошибаются в рассуждениях.
Сие есть трудный путь, но он дает результаты.