Это очень просто…
Предположим, кто-то произнес следующее предложение:
(1) В каждой комнате дома Карлоса есть греческая статуя.
4-летний ребенок понимает приведенное выше предложение как «В каждой комнате в его доме у Карлоса есть греческая статуя», то есть 4-летний ребенок каким-то образом знает, что «греческая статуя» не относятся здесь к одной статуе, но ко многим — то есть они каким-то образом знают, что объем квантификаторов должен быть обратным (от A-in-Every к in-Every-A) и именно потому, что они знают, что физический объект не может находиться более чем в одном месте в определенный момент времени. Другими словами, они знают следующее:
Рассмотрим еще один простой пример. 4-летний ребенок слушает приговор
(2) Том сломал ногу в автокатастрофе, в которую попала его семья недалеко от Торонто.
знают, когда их спрашивают, «где Том сломал ногу», что это произошло недалеко от Торонто, и именно потому, что они каким-то образом знают, что дополнительное событие (например, Том сломал ногу) имеет то же местонахождение, что и более крупное событие (семейная авария). В частности, они каким-то образом осведомлены о следующем Универсально Действительном Когнитивном Шаблоне:
Рассмотрим теперь следующий диалог между Дэвидом и его матерью:
Дэвид: Мама, не забудь мою бейсбольную перчатку.
Мама: Куда ты ее положила?
Дэвид : Я положила синюю заднюю сумку?
Мама: А, тогда она уже в машине.
Из последнего ответа своей мамы Дэвид знал бы, что синяя задняя сумка, в которую он положил свою перчатку, уже помещена в машину и что все в порядке, поскольку он знает логику отношений «содержатся-в»:
И, наконец, рассмотрим следующий пример:
(3) Приз не помещался в чемодан, потому что онбыл слишком мал.
Опять же, 4-летний ребенок понимает, что «оно» в (3) относится к чемодану (если бы «маленькое» было заменено на «большое», то «оно» было бы отсылкой к трофею). Четырехлетний ребенок придет к такому пониманию, потому что знает следующее:
Универсально действительные когнитивные шаблоны (UVCT) с 1 по 4, как следует из названия, являются универсальными — это означает, что они не зависят от личности, культуры, возраста и т. д. Они не являются функцией какого-либо индивидуального опыта. Они также не являются «приблизительными» или «вероятностными» — они просто верны, несмотря на нас и наш индивидуальный опыт и наблюдения. И поскольку нам не позволено выучить их по-другому, они не выучены (и не могут быть выучены). По общему признанию, как мы начинаем уважать такие универсальные законы/правила и как такая логика была закодирована в нашей ДНК, это не тот вопрос, на который мы знаем, как ответить. Однако, несмотря на такой большой вопрос, ясно, что эти когнитивные шаблоны здравого смысла являются основными строительными блоками, которые позволяют нам разумно функционировать в мире, в котором мы живем (хотя приведенные выше примеры включали понимание языка, то же самое относится к планированию, рассуждению и т. д.). , и т. д.)
Так какой же ИИ мы делаем (сейчас)?
Четыре универсальных когнитивных шаблона (UVCT), которые мы обсуждали выше, явно необходимы для базового понимания языка. На самом деле дети достигают языковой компетенции только после того, как испытают (и воплотят в жизнь) эти когнитивные шаблоны, то есть после того, как осознают основные универсальные законы того, как устроен мир, в котором они живут.
В итоге,
Универсальные когнитивные шаблоны (UVCT) не зависят от индивидуального опыта/наблюдений, а также от культуры, возраста, местоположения и т. д. Норвегия). Таким образом, эти UVCT не изучаются, но существуют, и мы просто осознаем их. Более того, единственный способ смоделировать эти UVCT — это использовать символическую логику, которая позволяет нам количественно определять символы определенных онтологических типов.
Поэтому, прежде чем мы освоим взрослую жизнь, находя сложные закономерности в огромных объемах данных, кажется, что ИИ необходимо сначала освоить детство — усвоить базовую психологию здравого смысла и наивную метафизику, которые позволяют нам действовать как разумные агенты. На самом деле, я утверждаю, что именно этот тип знаний (полученных, а не извлеченных из опыта/наблюдений) составляет большую часть знаний, имеющих значение для создания интеллектуального агента. Поэтому, на мой взгляд, мы все еще не занимаемся самым важным аспектом создания интеллектуальных машин — мы все еще, так сказать, на неправильной стороне пути.
Заключительное замечание
Доказательство ниже проводится логическими шагами. Чтобы опровергнуть любое утверждение (включая последнее заключительное утверждение), вы должны опровергнуть любое утверждение выше него. Если вы не можете, то вы должны принять вывод.
- Чему бы мы ни научились из наблюдения/опыта, мы учимся постепенно и можем учиться по-разному, потому что у нас разные наблюдения/опыт.
- Большая часть знаний, необходимых для нашего функционирования как интеллектуальных агентов, не изучается, а приобретается, потому что ( i) он не приобретается постепенно и (ii) нам не разрешается приобретать его по-разному на основе наших индивидуальных наблюдений (см. примечание 1).
- Из (1) и (2): Большая часть знаний, имеющих значение для нашего функционирования как разумных агентов, не приобретается постепенно и не извлекается из наблюдения/опыта.
Из (3) мы делаем вывод, что крайний эмпиризм — крайняя восходящая парадигма «обучения», которая в настоящее время доминирует в ИИ, — по меньшей мере ошибочна.
Нужен немедленный разворот — и особенно логический разворот!
Примечание 1
Неофициально то, что универсально действительные когнитивные шаблоны (UCVT) усваиваются, но не (и не могут быть) изучены, связано с двумя важными фактами: (i) обучение происходит по-разному у разных людей из-за их разных индивидуальных наблюдений и опыта — поскольку эти UCVT не могут быть приобретены по-разному, они, следовательно, не изучаются, а приобретаются; и (ii) обучение является приблизительным и вероятностным; в то время как UCVT - нет, и, следовательно, - опять же, UCVT не могут быть постепенно и «приблизительно» изучены, а приобретаются.
