Исчисление предикатов. Принцип резолюции.

Если в результате приведения к виду ПНФ матрица формулы M не будет содержать свободных переменных и сколемовских функций, то для вывода заключения полностью применим принцип резолюции исчисления высказываний (см. вопрос 9). Необходимо сформировать из матрицы множество дизъюнктов и сравнивая контрарные литеры получить пустую резольвенту . В результате приведения формулы к виду ССФ матрица формулы будет содержать сколемовские функции, где для получения контрарных литер необходимо выполнить операцию подстановки и замены термов предикатов. Т. о. главной проблемой принципа резолюции в исчислении предикатов является замена и подстановка термов. В случае решения этой задачи принцип резолюции применим также, как в исчислении высказываний. Принцип резолюции является более эффективной процедурой вывода, нежели дедуктивный вывод (процедура Эрбрана). Но он страдает существенным недостатком в формировании множества излишних и ненужных резольвент.

Не сдавайте скачаную работу преподавателю!

С помощью нашего сервиса Вы можете собрать свою коллекцию шпаргалок по нужному предмету, и распечатать готовые ответы в удобном для вырезания виде. Для этого начните собирать ответы, добавляя в "Мои шпаргалки".

Доработать Узнать цену работы по вашей теме

Поделись с друзьями, за репост + 100 мильонов к студенческой карме :

Заказать работу:

!	Курсовая работа
!	Дипломная работа
!	Реферат
!	Решение задач
!	Отчет по практике
!	Контрольная работа

Делаем шпаргалки правильно:

!	Шпаргалки для экзаменов Какие бывают шпаргалки, как их лучше подготовить и что писать.
!	Делаем правильную шпаргалку Что представляет собой удобная и практичная шпаргалка, как ее сделать.
!	Как воспользоваться шпаргалкой В какой момент лучше достать шпаргалку, как ей воспользоваться и что необходимо учесть.

Читайте также:

→	Сдаем экзамены Что представляет собой экзамен, как он проходит.
→	Экзамен в виде тестирования Каким образом проходит тестирование, в чем заключается его суть.
→	Готовимся к экзаменам Как правильно настроиться, когда следует прекратить подготовку и чем заниматься в последние часы.
→	Боремся с волнением Как преодолеть волнение, как внушить себе уверенность.
→	Отвечаем на экзамене Как лучше отвечать и каким идти к преподавателю.
→	Не готов к экзамену Что делать если не успел как следует подготовиться.
→	Пересдача экзамена На какое время назначается пересдача, каким образом она проходит.
→	Микронаушники Что такое микронаушник или "Профессор .. ллопух ...".

Виды дипломных работ:

→	выпускная работа бакалавра Требование к выпускной работе бакалавра. Как правило сдается на 4 курсе института.
→	магистерская диссертация Требования к магистерским диссертациям. Как правило сдается на 5,6 курсе обучения.

Другие популярные шпаргалки:

шпаргалки	Договор аренды
шпаргалки	Налог на прибыль организаций
шпаргалки	Шпаргалка по Страхованию
шпаргалки	Шпоры по анатомии и физиологии человека
шпаргалки	Правапіс не,ня,ні з рознымі часцінамі мовы
шпаргалки	Предмет и метод бухгалтерского учета
шпаргалки	Учет основных средств
шпаргалки	Учет собственного капитала
шпаргалки	Кредитный договор
шпаргалки	Некоммерческие организации
шпаргалки	Понятие и признаки государства.
шпаргалки	Договор подряда. Общие положения
шпаргалки	Закон денежного обращения
шпаргалки	Понятие, признаки, виды юридических лиц.
шпаргалки	Анализ дебиторской и кредиторской задолженностей

Сейчас смотрят :

шпаргалки	Источники международного права
шпаргалки	Понятия и основания наследования
шпаргалки	Убийство при отягчающих обстоятельствах (ч. 2 ст. 105 ук рф)
шпаргалки	Аудит финансовых результатов
шпаргалки	Понятие и виды правонарушений.

Шпаргалка по предмету "Математическая логика"

Исчисление предикатов. Принцип резолюции.

Другие популярные шпаргалки:

Сейчас смотрят :