Тактики поиска вывода для локальных методов

ОГЛАВЛЕНИЕ
Введение
Глава I. Тактика взаимного поглощения и ее нормальная форма
I. Определение тактики взаимного поглощения.
2. Полнота тактики взаимного поглощения. Нормальная
форма вывода
3. Совместимость тактики взаимного поглощения и тактики избегания противоречивых конъюнктов
4. Сравнение сложности деревьев поиска вывода по
ВПтактике и ВПтактике без противоречий
Глава 2. Возможности линеаризации тактик
I. Условия полноты ИКтактики.
2. Обобщение тактики линейного вывода.
3. Усиление тактики линейного вывода
Глава 3. Тактики основанные на строгом упорядочении литер.
I. Тактики с упорядочением типа .
2. Анализ возможности максимального упорядочения
3. Стратегия увеличения свободы выбора при распознавании пропозициональной выполнимости
Приложение 1.1 ИЗ
Приложение 1.2.
Литература