Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=системы поддержки истинности<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Вагин, В. Н.
Методы абдуктивного вывода в задачах планирования работы в сложных объектах [Текст] / В. Н. Вагин, К. Ю. Хотимчук // Известия РАН. Теория и системы управления. - 2010. - N 5. - С. 95-113. . - Библиогр.: c. 112-113 (30 назв. )

УДК

^a330.105

ББК 32.813
Рубрики: Радиоэлектроника
Искусственный интеллект. Экспертные системы
Кл.слова (ненормированные):
планирование работы в сложных объектах -- интеллектуальные системы -- методы абдуктивного вывода -- системы поддержки истинности -- алгоритмы абдуктивного вывода -- Assumption-based Truth Maintenance System-based Abduction Algorithm -- Implicate Abductive Algorithm -- энергохранилища -- задачи составления расписаний
Аннотация: Рассматриваются методы абдуктивного вывода в интеллектуальных системах. Приводится описание систем поддержки истинности, основанных на предположениях, и базовых понятий для работы с системами поддержки истинности, основанными на предположениях. Разработаны алгоритмы абдуктивного вывода: Assumption-based Truth Maintenance System-based Abduction Algorithm и алгоритм Implicate Abductive Algorithm с использованием первичных импликат. Дается их сравнительная характеристика. Результаты экспериментов, проведенных на примере задачи составления расписаний для энергохранилищ, подтвердили эффективность алгоритма Assumption-based Truth Maintenance System-based Abduction Algorithm.

Доп.точки доступа:
Хотимчук, К. Ю.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Вагин, В. Н.
Использование логики предикатов первого порядка в системах поддержки истинности на основе предположений [Текст] / В. Н. Вагин, Д. С. Зарецкий // Программные продукты и системы. - 2013. - № 4. - С. 127-133. - Библиогр.: с. 132-133 (8 назв.) . - ISSN 0236-235X

УДК

^a16

ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
ATMS -- логика предикатов -- логические выводы -- системы поддержки истинности -- учет предположений
Аннотация: Система поддержки истинности, основанная на предположениях (ATMS), является мощным инструментом поддержки логического вывода и наряду с достоверными фактами использует в своей работе факты, истинность которых неопределенна или на данном этапе неочевидна (множество предположений). За счет сохранения информации о происхождении сделанных выводов и анализа возникающих противоречий ATMS удается отсекать те подмножества предположений, которые были сделаны неверно.

Доп.точки доступа:
Зарецкий, Д. С.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 24.07.2024
Число запросов	120764
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)