База данных: Каталог ЭБС Университетская библиотека онлайн
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Достоверный и правдоподобный вывод в интеллектуальных системах [Электронный ресурс] : учебное пособие / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина. - 2-е изд., испр. и доп. - Москва : Физматлит, 2008. - 712 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0962-8 : Б. ц.
ББК 16.333я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «без учителя» и «с учителем». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении высказываний и об исчислении предикатов первого порядка, а также о работе с реальными «зашумленными» базами данных в задаче индуктивного формирования понятий.
Доп.точки доступа:
Вагин, В. Н.
Головина, Е. Ю.
Загорянская, А. А.
Фомина, М. В.
Физматлит
Достоверный и правдоподобный вывод в интеллектуальных системах [Электронный ресурс] : учебное пособие / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина. - 2-е изд., испр. и доп. - Москва : Физматлит, 2008. - 712 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-9221-0962-8 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения «без учителя» и «с учителем». Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении высказываний и об исчислении предикатов первого порядка, а также о работе с реальными «зашумленными» базами данных в задаче индуктивного формирования понятий.
Доп.точки доступа:
Вагин, В. Н.
Головина, Е. Ю.
Загорянская, А. А.
Фомина, М. В.
Физматлит
2.
Подробнее
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний [Электронный ресурс] : монография / П. Н. Бибило, В. И. Романов. - Минск : Белорусская наука, 2011. - 280 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-985-08-1322-0 : Б. ц.
ББК 32.965.6 + 22.18
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Белорусская, наука
Бибило, П. Н.
Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний [Электронный ресурс] : монография / П. Н. Бибило, В. И. Романов. - Минск : Белорусская наука, 2011. - 280 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-985-08-1322-0 : Б. ц.
| УДК |
Аннотация: Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида «если то». Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах.Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Доп.точки доступа:
Романов, В. И.
Белорусская, наука
Страница 1, Результатов: 2