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

w10=
Найдено документов в текущей БД: 19
   З813я73
   Д259

    Системы искусственного интеллекта
[Текст] : Учеб. пособие для вузов по спец. "Информ. системы и технологии" и "Автоматизир. системы обраб. информ. и упр." по направлениям "Информатика и вычисл. техника" и "Информ. системы" / Девятков В.В. - Москва : МГТУ им. Н.Э.Баумана, 2001. - 351 с. : ил. - (Информатика в техн. ун-те). - Библиогр.: с. 346. - Предм. указ.: с. 347-351. - ISBN 5-7038-1727-7 : 116.40 р.
ГРНТИ
УДК

Аннотация: Изложены современные вопросы теории и практики систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т.п. С помощью аппарата логики показано, что входит в дисциплину искусственного интеллекта, начиная с решения методами искусственного интеллекта простых задач синтеза дискретных устройств и заканчивая задачами моделирования и анализа ситуаций, возникающих в процессе управления предприятиями. Содержание учебника соответствует курсу лекций, которые автор читает в МГТУ им.Н.Э.Баумана. Для студентов, аспирантов, инженеров и научных работников технических специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З-81
   П252

    Новый ум короля
[Текст] : О компьютерах, мышлении и законах физики / Р. Пенроуз; Пер. с англ., под общ. ред. Малышенко В.О. - Москва : Едиториал УРСС, 2003. - 384 с. : ил. - Библиогр.: с. 365-372. - Указ. имен., предм.: c. 373-379 . - Пер. изд. : The emperor's new mind/ Penrose R. - ISBN 5-354-00005-X : 202.00 р.
ББК З-813 + В31 + В127

Аннотация: Монография известного физика и математика Роджера Пенроуза посвящена изучению проблемы искусственного интеллекта на основе всестороннего анализа достижений современных наук. Возможно ли моделирование разума? Чтобы найти ответ на этот вопрос, Пенроуз обсуждает широчайший круг явлений: алгоритмизацию математического мышления, машины Тьюринга, теорию сложности, теорему Геделя, телепортацию материи, парадоксы квантовой физики, энтропию, рождение Вселенной, черные дыры, строение мозга и многое другое. Книга вызовет несомненный интерес как у специалистов гуманитарных и естественно-научных дисциплин, так и у широкого круга читателей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З-81
   Е601

    Теория и практика эволюционного моделирования
[Текст] : монография / В.В. Емельянов, В.В. Курейчик, В.М. Курейчик. - Москва : Физматлит, 2003. - 432 с. : ил., табл. - (Проблемы искусственного интеллекта). - Предм. указ.: с. 427-431. - Библиогр.: с. 416-426. - ISBN 5-9221-0337-7 : 50.00 р.
УДК
ББК З-813 + З-817

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Курейчик, Владимир Викторович; Курейчик, Виктор Михайлович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З-81
   Т827
З 813в641 / Т827-ИБФ-ООН

    Байесовские сети
[Текст] = Bayesian networks : Логико-вероятностный подход / А.Л. Тулупьев, С.И. Николенко, А.В. Сироткин ; Под общ. ред. Р.М. Юсупова; Рос. акад. наук, С.-Петерб. ин-т информатики и автоматизации. - Санкт-Петербург : Наука, 2006. - 607 с. : ил. - Предм. указ.: с. 586-589. - Библиогр.: с. 542-577. - Рез. англ. - ISBN 5-02-025107-0. - ISBN 5-02-025107-0 В пер. 5-02-025107-0 В пер. : 97.19 р., 473.00 р.
ГРНТИ
УДК
ББК З-813в641 + З 813в641

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Николенко, Сергей Игоревич; Сироткин, Александр Владимирович; Юсупов, Р.М. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1), ИБФ-ООН
Свободны: ИВМ-Фонд (1)
   З-81
   В546

    Извлечение знаний из данных. Компьютерное познание. Модели когнитивных процессов
[Текст] : монография / Е.Е. Витяев ; Федер. агентство по образованию, Новосиб. гос. ун-т. - Новосибирск : [б. и.], 2006. - 293 с. : ил. - Библиогр.: с. 283-293. - ISBN 5-94356-439-X : 8.50 р.
ГРНТИ
УДК
ББК З-813в641

Аннотация: В работе излагается подход к компьютерному познанию, разработанный за последние 35 лет в Институте математики им. С.Л. Соболева. За основу подхода взята теория измерений, разработанная под руководством известного учёного и философа Patrick Suppes (Stanford university), в которой излагается аксиоматический подход к исследованию предметных областей. Нами разработаны необходимые теоретические и компьютерные методы, реализующие этот процесс познания. Излагается решение некоторых сложных проблем работы со знаниями. В частности, описываются методы достаточно полного извлечения знаний из данных. Наш подход к компьютерному познанию является междисциплинарным и основан на различных областях знания: логике и методологии науки, искусственном интеллекте, анализе данных, когнитивных науках и в том числе на психологии и физиологии работы мозга. Автор придерживался многослойности изложения: 1) идеи изложены отдельно от технических результатов, потому что сами идеи имеют самостоятельную ценность и могут формализоваться различным образом, уточняться и развиваться самостоятельно; 2) для технических результатов приводится объяснение их смысла (что формализуется) и связи с основными идеями, поэтому читать текст можно пропуская технические детали. Монография предназначена всем интересующимся проблемами познания, мышления и работы мозга, учёным, аспирантам и студентам.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З81
   Р922

    Универсальный искусственный интеллект и экспертные системы
[Текст] : монография / В. Н. Ручкин, В. А. Фулин. - Санкт-Петербург : БХВ-Петербург, 2009. - 238 с. : ил. - Библиогр.: с. 237-238. - ISBN 978-5-9775-0460-7 : 218.00 р.
ГРНТИ
УДК
ББК З813 + З973.205-01

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Фулин, Владимир Андреевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З81
   И741

    Информационные технологии работы со знаниями: обнаружение, поиск, управление
[Текст] : сборник научных трудов / Институт математики им. С. Л. Соболева (Новосибирск) ; ред.: Е. Е. Витяев, Д. Е. Пальчунов. - Новосибирск : Институт математики, 2008. - 171 с. : ил. ; 20 см. - (Вычислительные системы, ISSN 0568-661Х ; 175). - Библиогр. в конце ст. - В надзаг.: Российская академия наук; Сибирское отделение; Институт математики им. С.П. Соболева. - 50 р.
ГРНТИ
УДК
ББК З 813в641я43 + З 973.205-01я43

Аннотация: Традиционно работа со знаниями рассматривалась в таких областях искусственного интеллекта как экспертные системы и базы данных. Однако в настоящее время возникли новые направления исследований, связанные с работой со знаниями - онтологии, интеллектуальный анализ данных (Knowledge Discovery in Data bases and Data Mining - KDD&DM), извлечение знаний из текстов, поиск знаний и другие. Продолжают развиваться такие направления исследований как индуктивный вывод знаний, извлечение знаний из эксперта, нечеткие рассуждения и вывод знаний в разнообразные логиках. В сборнике представлены работы, связанные с информационными технологиями работы со знаниями. В него включены работы по обнаружению знаний и предсказанию, анализу формальных понятий, проблеме индукции, системе подбора эвристик для виртуального каталога, автоматизации поиска научных публикаций в сети Интернет и обнаружению знаний в биоинформатике. Материалы сборника могут быть полезными научным работникам, аспирантам и студентам, специализирующимся в области информационных технологий, интеллектуального анализа данных и искусственного интеллекта.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

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

    Идеи и решения фундаментальных проблем науки и техники
[Текст] : монография / В. В. Гладких, П. В. Гладких, В. П. Гладких. - Санкт-Петербург : БХВ-Петербург, 2010. - 168 с. : ил. - (Глобальный проект Гладких). - Библиогр.: с. 169. - ISBN 978-5-94157-663-0 : 0.00, оц. ст-ть 100.00 р.
ГРНТИ
УДК
ББК З 816.2 + З 813 + В333.48 + З816.2,0 + З813,0 + В333.45,0

Аннотация: Рассмотрены три проекта. В проекте "Механические роботы" обсуждаются управляющие системы на основе техногенетического кода. В проекте "Искусственный интеллект на основе N-нейтронных модулей" вводится понятие интеллектономии и рассматриваются ее законы. В проекте "Управляемая реакция термоядерного синтеза" речь идет о проблеме управляемой реакции термоядерного синтеза, для решения которой предлагается кибернетическая модель структурной единицы материи.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Гладких, Петр Викторович; Гладких, Виктор Петрович
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)
   З81
   Р903

    Методы и технологии искусственного интеллекта
[Текст] : монография / Л. Рутковский ; пер. И. Д. Рудинский. - Москва : Горячая линия - Телеком, 2010. - 519 с. : ил. - Библиогр.: с. 503-514. - Предм. указ.: с. 515-517. - Пер. изд. : Metody i techniki sztucznej inteligencji / P. Leszek. - ISBN 978-5-9912-0105-6 : 910.00 р.
ГРНТИ
ББК З 81
Рубрики:
искусственный интеллект
Кл.слова (ненормированные):
Искусственный интеллект

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Рудинский, И.Д. \пер. с пол.\; Leszek, P.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   В12
   М366

    Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа
[Текст] : монография / С. Д. Махортов ; ред. В. А. Васенин. - Москва : МЦНМО, 2009 (Москва). - 299 с. - Библиогр.: с. 279-292.- Предм. указ.: с. 293-296. - ISBN 978-5-94057-575-7 : 180.00 р.
ГРНТИ
ББК В12 + З81

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Васенин, В.А. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З81
   О-742

    Методы искусственного интеллекта
[Текст] : монография / Г. С. Осипов. - Москва : Физматлит, 2011. - 295 с. : ил. - Библиогр.: с. 288-295. - ISBN 978-5-9221-1323-6 : 140.00 р.
ГРНТИ
УДК
ББК З 813

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З 81
   Б832

    Основы искусственного интеллекта
[Текст] : учебное пособие / Е.В. Боровская, Н.А. Давыдова. - Москва : БИНОМ. Лаборатория знаний, [2014]. - 127 с. : ил. ; 22 см. - (Педагогическое образование). - Библиография в конце глав. - 1500 экз. - ISBN 978-5-94774-480-4 (в пер.) : 157.30 р.
ГРНТИ
УДК
ББК З 813я73

Аннотация: Учебное пособие знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Описаны основные направления и методы, применяемые при анализе, разработке и реализации интеллектуальных систем. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Книга поможет читателю овладеть навыками логического проектирования баз данных предметной области и программирования на языке Prolog. Для студентов и преподавателей педагогических вузов, учителей общеобразовательных школ, гимназий, лицеев.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Давыдова, Надежда Алексеевна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З 81
   К903

    Алгебраический подход к интеллектуальной обработке данных и знаний
[Текст] / Б.А. Кулик, А.А. Зуенко, А.Я. Фридман. - Санкт-Петербург : Издательство Политехнического университета, 2010. - 235 с. : ил., табл. ; 20 см. - Библиогр.: с. 216 - 223. - Предм. указ.: с. 231 - 233. - 300 экз. - ISBN 978-5-7422-2836-3 : Б. ц.
ГРНТИ
УДК
ББК З 811в641 + В123

Аннотация: В книге представлен новый математический аппарат – алгебра кортежей (АК), которая относится к классу булевых алгебр и позволяет реализовать алгебраический подход к логическому анализу в системах искусственного интеллекта. В АК, в отличие от формальных систем, где основа – символьные конструкции, в качестве базового выбрано понятие “многоместное отношение” и предложены обобщения операций алгебры множеств для работы с отношениями, заданными в разных схемах. Это позволило расширить возможности существующих систем обработки данных и знаний, основанных на бинарных и реляционных отношениях. АК дает возможность унифицировать представление и анализ как данных, так и знаний, и, следовательно, решить проблему сопряжения баз данных и баз знаний в рамках одной программной системы. Алгоритмы обработки отношений, записанных в виде АК-объектов, хорошо поддаются распараллеливанию. Кроме того, разработаны дополнительные методы уменьшения трудоемкости, а в некоторых случаях – и вычислительной сложности интеллектуальных процедур. В алгебре кортежей, помимо известных методов логических исчислений, реализованы новые алгебраические методы проверки корректности следствия и поиска следствий из заданной системы аксиом. В ходе вывода учитывается внутренняя структура обрабатываемых знаний, что ускоряет решение стандартных задач логического анализа. Помимо логического вывода, АК служит для формализации широкого круга логических задач (абдуктивные и модифицируемые заключения, моделирование графов и семантических сетей, экспертных правил и т.д.).

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Зуенко, Александр Анатольевич; Фридман, А.Я.; Российская ассоциация искусственного интеллекта
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З 81
   З-143
З 811.3 / З-143-ЦНБ-АБ

    Когнитивный анализ данных
[Текст] / Н.Г. Загоруйко. - Новосибирск : Гео, 2013. - 183, [3] с. : ил., табл. - Библиогр.: с. 178 - 183. - ISBN 978-5-906284-04-4 : 5.00 р.
ГРНТИ
ББК З 811.3 + З 813

Аннотация: Представлены новые методы решения задач анализа данных (АД), основанные на переходе от абсолютных мер сходства между объектами к относительной мере “конкурентного” сходства. Выбор эталонных представителей образов (столпов) управляется естественным ограничением: объекты образа должны быть похожими на столпы своего образа больше, чем на столпы любого другого образа. Столпы служат основой решающих правил при распознавании и кластеризации неверифицированных объектов. В качестве критерия информативности признаков при любом виде распределения образов используется впервые предложенная количественная мера компактности. Применение столпов и компактности позволяет решать задачи комбинированного типа, вплоть до предельно сложной задачи SDX: одновременного выбора признаков (X), в пространстве которых объекты разделяются на компактные классы (S), представленные наборами столпов (D). Для научных работников и студентов, изучающих методы АД, а также инженеров, экономистов и медиков, применяющих эти методы в своей работе.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Российская академия наук. Сибирское отделение; Институт математики им. С.Л.Соболева (Новосибирск)
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)
   З 81
   И73
З 81 / И73-ИБФ-ООН

    Интеллектуальные процессы и их моделирование.
. - Москва : Наука, 1987. - 397 с. : ил. - Библиогр. в конце разд. - ISBN 5-02-006781-4 : 3.20 р., 4.00 р.
Библиогр. в конце ст
ГРНТИ
ББК З81 + Ю935.113.93 + Е991.782.7В605Я43


Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Велихов, Е.П. \отв. ред.\; Чернавский, А.В. \отв. ред.\; АН СССР. Отд-ние информатики, вычисл. техники и автоматизации. Ин-т пробл. передачи информации
Экземпляры всего: 1
ЦНБ-ХР (1), ИБФ-ООН
Свободны: ЦНБ-ХР (1)
   З 813
   П 25

    Новый ум короля. О компьютерах, мышлении и законах физики
[Текст] : монография / Р. Пенроуз ;ПОд общ. ред. А. В. Малышенко ;Предисл. Г. Г. Малинецкого. - 4-е изд. - Москва : URSS, 2011. - 400 с. : ил. - (Синергетика: от прошлого к будущему). - перевод с английского. - Библиогр.: с. 384-390. -Именн. указ.: с.391 . - Предм. указ.: с. 392-395. - Пер. изд. : The emperor's new mino / R. Penrose. - Oxfod, 1989. - ISBN 978-5-382-01266-7 (URSS) (в пер.). - ISBN 978-5-453-00013-5 (ЛКИ) : 379.40 р.
ГРНТИ
УДК
ББК З 813в641

Аннотация: Монография известного физика и математика Роджера Пенроуза посвящена изучению проблемы искусственного интеллекта на основе всестороннего анализа достижений современных наук. Возможно ли моделирование разума? Чтобы найти ответ на этот вопрос, Пенроуз рассматривает широчайший круг явлений: алгоритмизацию математического мышления, машины Тьюринга, теорию сложности, теорему Геделя, парадоксы квантовой физики, энтропию, рождение Вселенной, черные дыры, строение мозга и многое другое.


Доп.точки доступа:
Малышенко, А.В. \ред.\; Малинецкий, Г.Г. \авт. предисл.\; Penrose, R.
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)
   З 813
   Д 70

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

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


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

    Взаимодействие робота с внешней средой
[Текст] : пер. с фр. / Ф. Куафе. - М. : Мир, 1985. - 285 с. : ил. - Библиогр.: с. 272-278. - 1.30 р.
ГРНТИ
УДК
ББК З 816.2
Рубрики:
Искусственный интеллект
Кл.слова (ненормированные):
РОБОТЫ -- ВЗАИМОДЕЙСТВИЕ РОБОТОВ



Доп.точки доступа:
Блеер, М. Б. \пер.\; Фанченко, М. С. \пер.\; Мещеряков, А. Б. \ред. пер.\
Экземпляры всего: 1
ИХХТ-АБ (1)
Свободны: ИХХТ-АБ (1)
   З973
   Л 36

    Прощание с алголом
[Текст] : соч. в 2 ч. для объединенного академического институтского и университетского хора и голоса во славу компьютера / К. Е. Левитин. - Москва : Знание, 1989. - 223 с. - 100000 экз. - 0.80 р.
УДК
ББК В185 + З973.26-018


Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)