Стратегии управления выводом в методе резолюций

Стратегии управления выводом в методе резолюций

Вид работы: Курсовая работа  |   Предмет работы: Программирование   |   Количество листов: 40

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


Введение…………………………………………………………………………
Глава 1 Принцип резолюций в логике высказываний………………………
1.1 Описание метода резолюции………………………………………
1.2 Теорема метода резолюций…………………………………………
1.3 Применение метода резолюций для доказательства…………….
Глава 2 Метод резолюций в логике предикатов……………………………
2.1 Унификация выражений…………………………………………..
2.2 Алгоритм унификации…………………………………………….
2.3 Пример унификации……………………………………………….
Глава 3 Стратегии метода резолюций………………………………………
3.1 Основные стратегии метода резолюций…………………………
3.2 Стратегия полного перебора………………………………………
3.3 Стратегия опорного множества…………………………………..
3.4 Стратегия предпочтения одночленам……………………………
3.5 Линейная стратегия……………………………………………….
Глава 4 Примеры использования метода резолюций………………………
Заключение…………………………………………………………………..
Список используемой литературы…………………………………………..
Приложения…………………………………………………………………..










ПОМОЩЬ С НАУЧНОЙ РАБОТОЙ

Подготовим для Вас работу по стандартам Вузов

Готовая работа с высокой уникальностью по минимальной цене
Срок выполнения от 2 часов
Антиплагиат более 70%

Быстрый заказ работы





[honeypot 2Mp1wUz2rkcR2jj1Ahxo]

Мы перезвоним через 5 минут

Яндекс.Метрика

Error: Please enter a valid email address

Error: Invalid email

Error: Please enter your first name

Error: Please enter your last name

Error: Please enter a username

Error: Please enter a password

Error: Please confirm your password

Error: Password and password confirmation do not match