Тактики поиска вывода для локальных методов Курьеров, Юрий Николаевич

Краткое описание

Курьеров, Юрий Николаевич.Тактики поиска вывода для локальных методов : диссертация ... кандидата физико-математических наук : 01.01.09. - Ленинград, 1982. - 122 с.

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