Допущено Министерством образования Российской Федерации в качестве учебного пособие для вузов по специальностям "Прикладнаяматематика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатиака"
ГРНТИ | |
УДК |
Рубрики:
Искусственный интеллект
Кл.слова (ненормированные):
Интеллектуальные системы -- Вычислительная математика -- Формальные системы -- Автоматическое доказательство теорм -- Графа связей -- Метод OR-параллельной резолюции -- Принцип резолюции -- DCDP-параллельный вывод -- AND-параллельная резолюция -- LSD- резолюция -- Вывод Эрбрана -- Язык Пролог -- Эвристическая функция -- Математический препроцессор -- Графа дизъюнктов -- Аналитические таблицы -- Иерархические структуры -- Аргументация -- Абдукция -- Интеллектуальные системы -- Монотонные классические модальные логики -- Система S1 -- Система S4 -- Система S5 -- Семантика возможных миров Крипке -- Миры Крипке -- Логики убеждения -- Логики знания -- Немонотонные логики Мак - Дермотта и Дойла -- Автоэптимистические логики -- Логики умолчаний -- Системы поддержки истинности -- Логическое программирование -- Структурно - логические методы обобщения -- Пороговое расстояние -- Алгоритм MAXMIN -- Алгоритм "К средних" -- Алгоритм ДРЕВ -- Алгоритм IDTUV -- Тестовый набор данных -- Случай неполной информации -- Перекрестная проверка -- Обучающие выборки -- "Зашумленные" базы данных -- Индуктивные методы
Искусственный интеллект
Кл.слова (ненормированные):
Интеллектуальные системы -- Вычислительная математика -- Формальные системы -- Автоматическое доказательство теорм -- Графа связей -- Метод OR-параллельной резолюции -- Принцип резолюции -- DCDP-параллельный вывод -- AND-параллельная резолюция -- LSD- резолюция -- Вывод Эрбрана -- Язык Пролог -- Эвристическая функция -- Математический препроцессор -- Графа дизъюнктов -- Аналитические таблицы -- Иерархические структуры -- Аргументация -- Абдукция -- Интеллектуальные системы -- Монотонные классические модальные логики -- Система S1 -- Система S4 -- Система S5 -- Семантика возможных миров Крипке -- Миры Крипке -- Логики убеждения -- Логики знания -- Немонотонные логики Мак - Дермотта и Дойла -- Автоэптимистические логики -- Логики умолчаний -- Системы поддержки истинности -- Логическое программирование -- Структурно - логические методы обобщения -- Пороговое расстояние -- Алгоритм MAXMIN -- Алгоритм "К средних" -- Алгоритм ДРЕВ -- Алгоритм IDTUV -- Тестовый набор данных -- Случай неполной информации -- Перекрестная проверка -- Обучающие выборки -- "Зашумленные" базы данных -- Индуктивные методы
Аннотация: Рассмотрены методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах разнообразного назначения. Приведены методы дедуктивного вывода на графовых структурах. Описаны как традиционные, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приведены основы теории аргументации и методы абдуктивного вывода. Рассмотрены основные особенности построения систем обучения и принятия решений и предоставляются задания обучения "без учителя" и "с учителем". Изложены индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении изречений и об исчислении предикатов первого порядка, а также о работе с реальными "зашумленными" базами данных в задаче индуктивного формирования понятий.
Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, Вадим Николаевич \ред.\; Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)