Отрывок: Если множество содержит пустой дизъюнкт, то оно противоречиво (невыполнимо). Если множество не содержит пустой дизъюнкт, то проверяется следующий факт: может ли пустой дизъюнкт быть получен из данного множества. Множество содержит пустой дизъюнкт, тогда и только тогда, когда оно пустое. Если множество можно свести к пустому, то тем самым можно доказать его противоречивость. В этом и состоит метод резолюций, который часто рассматривают как специальное правило вывода, используемое для ...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Лезина И. В. | ru |
dc.contributor.author | Министерство образования и науки России | ru |
dc.contributor.author | Самарский государственный аэрокосмический университет им. С. П. Королева (национальный исследовательский университет) | ru |
dc.coverage.spatial | искусственный интеллект | ru |
dc.date.issued | 2012 | ru |
dc.identifier | RU/НТБ СГАУ/WALL/004/С 409-746197 | ru |
dc.identifier.citation | Системы искусственного интеллекта [Электронный ресурс] : электрон. учеб.-метод. комплекс по дисциплине в LMS Moodle / Минобрнауки России, Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) ; [авт.-сост. И. В. Лезина]. - Самара, 2012. - on-line | ru |
dc.description.abstract | Используемые программы: Система дистанционного обучения. | ru |
dc.description.abstract | Труды сотрудников СГАУ(электрон. версия). | ru |
dc.format.extent | Электрон. текстовые и граф. дан. (3,56 Мбайт) | ru |
dc.language.iso | rus | ru |
dc.relation.isformatof | Системы искусственного интеллекта [Электронный ресурс] : электрон. учеб.-метод. комплекс по дисциплине в LMS Moodle | ru |
dc.title | Системы искусственного интеллекта | ru |
dc.type | Text | ru |
dc.subject.rugasnti | 28.23.27 | ru |
dc.subject.udc | 004.8(075) | ru |
dc.textpart | Если множество содержит пустой дизъюнкт, то оно противоречиво (невыполнимо). Если множество не содержит пустой дизъюнкт, то проверяется следующий факт: может ли пустой дизъюнкт быть получен из данного множества. Множество содержит пустой дизъюнкт, тогда и только тогда, когда оно пустое. Если множество можно свести к пустому, то тем самым можно доказать его противоречивость. В этом и состоит метод резолюций, который часто рассматривают как специальное правило вывода, используемое для ... | - |
Располагается в коллекциях: | Учебные издания |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Лезина И. В. Системы.pdf | 3.85 MB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.