Отрывок: Если множество содержит пустой дизъюнкт, то оно противоречиво (невыполнимо). Если множество не содержит пустой дизъюнкт, то проверяется следующий факт: может ли пустой дизъюнкт быть получен из данного множества. Множество содержит пустой дизъюнкт, тогда и только тогда, когда оно пустое. Если множество можно свести к пустому, то тем самым можно доказать его противоречивость. В этом и состоит метод резолюций, который часто рассматривают как специальное правило вывода, используемое для ...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorЛезина И. В.ru
dc.contributor.authorМинистерство образования и науки Россииru
dc.contributor.authorСамарский государственный аэрокосмический университет им. С. П. Королева (национальный исследовательский университет)ru
dc.coverage.spatialискусственный интеллектru
dc.date.issued2012ru
dc.identifierRU/НТБ СГАУ/WALL/004/С 409-746197ru
dc.identifier.citationСистемы искусственного интеллекта [Электронный ресурс] : электрон. учеб.-метод. комплекс по дисциплине в LMS Moodle / Минобрнауки России, Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) ; [авт.-сост. И. В. Лезина]. - Самара, 2012. - on-lineru
dc.description.abstractИспользуемые программы: Система дистанционного обучения.ru
dc.description.abstractТруды сотрудников СГАУ(электрон. версия).ru
dc.format.extentЭлектрон. текстовые и граф. дан. (3,56 Мбайт)ru
dc.language.isorusru
dc.relation.isformatofСистемы искусственного интеллекта [Электронный ресурс] : электрон. учеб.-метод. комплекс по дисциплине в LMS Moodleru
dc.titleСистемы искусственного интеллектаru
dc.typeTextru
dc.subject.rugasnti28.23.27ru
dc.subject.udc004.8(075)ru
dc.textpartЕсли множество содержит пустой дизъюнкт, то оно противоречиво (невыполнимо). Если множество не содержит пустой дизъюнкт, то проверяется следующий факт: может ли пустой дизъюнкт быть получен из данного множества. Множество содержит пустой дизъюнкт, тогда и только тогда, когда оно пустое. Если множество можно свести к пустому, то тем самым можно доказать его противоречивость. В этом и состоит метод резолюций, который часто рассматривают как специальное правило вывода, используемое для ...-
Располагается в коллекциях: Учебные издания

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



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