Мы продолжаем рассматривать парадигмы и подходы в Искусственном Интеллекте, и вслед за интуитивным подходом, который мы изучили в прошлый раз, сегодня мы рассмотрим два близкородственных подхода нисходящей парадигмы — символьный и логический. Это позволит нам моделировать высшие психологические функции человека. Мы уже несколько раз упоминали о том, что человек оперирует символами. Об этом же говорит упомянутая ранее гипотеза Ньюэлла — Саймона о том, что любая система, показывающая интеллектуальное поведение, должна с необходимостью оперировать символьной информацией...

Введение Знаете ли вы, что каждый раз, когда вы просите голосового помощника проложить маршрут, он использует логические правила, разработанные ещё древнегреческими философами? Логический вывод — это не просто абстрактная наука. Это основа, на которой работают алгоритмы искусственного интеллекта, навигаторы, системы безопасности и даже ваша умная кофеварка. Как компьютеры учатся «мыслить»? И почему логика первого порядка, о которой писали Аристотель и Фреге, сегодня спасает жизни в медицине...