Главная/ Электронный каталог

Сводный каталог книг

w10=
Найдено документов в текущей БД: 2
   Ю43
   В12
    Дедукция и обобщение в системах принятия решений
Вагин, В. Н.
[Текст] : монография / В.Н. Вагин. - Москва : Наука, 1988. - 383 с. : ил + табл. - (Проблемы искусственного интеллекта). - Библиогр: с. 370-381%ISBN 5-02-013887-8. - 4.50 р.
УДК
519.816%ББК 32.813

Аннотация: Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификаций излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и по структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
Найти похожие
   З 813
   Д 70
    Достоверный и правдоподобный вывод в интеллектуальных системах
[Текст] : учебное пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 712 с. ; 22 . - Предм. указ.: с. 679-710. - Библиогр.: с. 648-678. - 1500 экз. - ISBN 978-5-9221-0962-8 (в пер.) : 815.00 р.
Допущено Министерством образования Российской Федерации в качестве учебного пособие для вузов по специальностям "Прикладнаяматематика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатиака"
ГРНТИ
28.23
УДК
519.85^V3
ББК З 813я73
Рубрики:
Искусственный интеллект
Кл.слова (ненормированные):
Интеллектуальные системы -- Вычислительная математика -- Формальные системы -- Автоматическое доказательство теорм -- Графа связей -- Метод OR-параллельной резолюции -- Принцип резолюции -- DCDP-параллельный вывод -- AND-параллельная резолюция -- LSD- резолюция -- Вывод Эрбрана -- Язык Пролог -- Эвристическая функция -- Математический препроцессор -- Графа дизъюнктов -- Аналитические таблицы -- Иерархические структуры -- Аргументация -- Абдукция -- Интеллектуальные системы -- Монотонные классические модальные логики -- Система S1 -- Система S4 -- Система S5 -- Семантика возможных миров Крипке -- Миры Крипке -- Логики убеждения -- Логики знания -- Немонотонные логики Мак - Дермотта и Дойла -- Автоэптимистические логики -- Логики умолчаний -- Системы поддержки истинности -- Логическое программирование -- Структурно - логические методы обобщения -- Пороговое расстояние -- Алгоритм MAXMIN -- Алгоритм "К средних" -- Алгоритм ДРЕВ -- Алгоритм IDTUV -- Тестовый набор данных -- Случай неполной информации -- Перекрестная проверка -- Обучающие выборки -- "Зашумленные" базы данных -- Индуктивные методы

Аннотация: Рассмотрены методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах разнообразного назначения. Приведены методы дедуктивного вывода на графовых структурах. Описаны как традиционные, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приведены основы теории аргументации и методы абдуктивного вывода. Рассмотрены основные особенности построения систем обучения и принятия решений и предоставляются задания обучения "без учителя" и "с учителем". Изложены индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении изречений и об исчислении предикатов первого порядка, а также о работе с реальными "зашумленными" базами данных в задаче индуктивного формирования понятий.


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, Вадим Николаевич \ред.\; Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)
Найти похожие