Статья 2464

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