Таким образом, современное развитие ЭВМ делает актуальным анализ новых гносеологических проблем, встающих перед computer science, и разработку новых направлений исследований для решения этих проблем.

В то же время, следует отметить, что успехи в области программирования во многом связаны с уже накопленным теоретическим багажом решения гносеологических проблем в науках комплекса computer science. Необходимость учета этого влияния "опыта" computer science на "практику" программирования ("искусственного интеллекта") выдвигает задачу осмысления достижений теоретических дисциплин комплекса computer science для дальнейшего развития информационных "орудий" человечества.

Цели и задачи исследования
Данная работа посвящена анализу одной из научных дисциплин computer science — теории поиска вывода (ТПВ), которая исследует возможные способы решения задач в логических исчислениях. Целью исследования является ответ на вопрос: как возможно использование метауровневых средств для решения задач в логических исчислениях? Достижение этой цели осуществляется в ходе решения следующих задач:

— построение методологической базы исследования, основой которой выступает понятие интеллектуальной (логико-эвристической) системы.

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

— выявление возможных "точек" развития ТПВ в данном направлении и обоснование перспективности использования для этих целей идеи глобальной обработки информации (метода метапеременных).

— конкретная реализация некоторых из выявленных идейных "схем" (прежде всего, связанных с идеей глобальной обработки информации) для более эффективного использования метауровневых средств в исчислениях поиска вывода.

Степень разработанности темы исследования
С одной стороны, проблематика ТПВ тесно связана с проблематикой автоматического доказательства теорем, и существует целый ряд исследований, посвященных анализу систем автоматического доказательства теорем, в которых в той или иной степени затрагивается круг проблем ТПВ. Достаточно полный обзор этих исследований дан в работе [1].

С другой стороны, теория поиска вывода является пограничной дисциплиной комплекса computer science, на стыке логики, эвристики, психологии, и возможен анализ ее проблематики с точки зрения разных "родительских" наук. Условно можно выделить следующие направления исследований:

1. Анализ с точки зрения психологии с целью выявления и моделирования психологических механизмов решения задач человеком. Этот аспект исследований (развития) теории поиска вывода может быть выражен вопросом: каковы психологические механизмы решения задач человеком и как возможно их моделирование в рамках ТПВ? Этот подход представлен в работах психологов [2] и философов [3].

2. Сложностной анализ достижений ТПВ, при котором главными вопросами являются следующие: каковы сложностные оценки эффективности разных систем доказательства теорем и каковы наиболее эффективные средства повышения мощности исчислений? Данный подход представлен в появившейся на стыке математики, теории алгоритмов и логики новой дисциплины теории сложности, проблематика которой тесно связана с проблематикой ТПВ. Это направление исследований представлено в работах специалистов по теории сложности [4] и математической логике.

3. "Качественный" подход, при котором анализируются наиболее интересные идейные подходы, реализованные при развитии ТПВ. Центральным вопросом исследования при этом является следующий: каковы возможные "механизмы" решения задач, и какие из них поддаются моделированию в логических системах? Это направление исследований (развития) теории поиска вывода опирается на достижения философии (гносеологии), логики и эвристики и может быть названо логико-эвристическим или эвристическим подходом. К базовым работам этого подхода можно отнести работы российских логиков и философов О. Серебрянникова [6], В. Смирнова [7], а также пионера собственно теории поиска вывода С. Маслова [8]. Именно к этому направлению исследований относится данная работа.

Теоретическая и методологическая основа исследования

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

Теоретической основой исследования являются труды логиков и пионеров теории поиска вывода Ж. Эрбрана, Г. Генцена, С.К. Клини, Х.Б. Карри, Я. Хинтикки, Э. Бета, Р. Смальяна, Д. Правица, С. Кангера, Д.