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

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