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