Отрывок: Если множество содержит пустой дизъюнкт, то оно противоречиво (невыполнимо). Если множество не содержит пустой дизъюнкт, то проверяется следующий факт: может ли пустой дизъюнкт быть получен из данного множества. Множество содержит пустой дизъюнкт, тогда и только тогда, когда оно пустое. Если множество можно свести к пустому, то тем самым можно доказать его противоречивость. В этом и состоит метод резолюций, который часто рассматривают как специальное правило вывода, используемое для ...
Название : Системы искусственного интеллекта
Авторы/Редакторы : Лезина И. В.
Министерство образования и науки России
Самарский государственный аэрокосмический университет им. С. П. Королева (национальный исследовательский университет)
Дата публикации : 2012
Библиографическое описание : Системы искусственного интеллекта [Электронный ресурс] : электрон. учеб.-метод. комплекс по дисциплине в LMS Moodle / Минобрнауки России, Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) ; [авт.-сост. И. В. Лезина]. - Самара, 2012. - on-line
Аннотация : Используемые программы: Система дистанционного обучения.
Труды сотрудников СГАУ(электрон. версия).
Другие идентификаторы : RU/НТБ СГАУ/WALL/004/С 409-746197
Ключевые слова: искусственный интеллект
Располагается в коллекциях: Учебные издания

Файлы этого ресурса:
Файл Размер Формат  
Лезина И. В. Системы.pdf3.85 MBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.