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

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

w10=
Найдено документов в текущей БД: 2
   З973.2-018
   Б87
З973.2-018 / Б87-ИБФ-КФ
    Программирование на языке ПРОЛОГ для искусственного интеллекта
Братко, И.
[Текст] : учебное пособие / И. Братко; Пер. с англ. А.И.Лупенко, А.М. Степанова ; Под ред. А.М. Степанова. - Пер. изд.: PROLOG programming for artificial inteligenсe/ Bratko I. - Москва : Мир, 1990. - 559 с. : ил. - Предм. указ.: с. 552-556. - ISBN 5-03-001425-X : 3.50 р., 3.50 р.
УДК
519.68
22.19
ББК З973.2-018.12

Кл.слова (ненормированные):
язык ПРОЛОГ -- экспертные системы

Аннотация: Книга известного специалиста по программированию (Югославия), содержащая основыязыка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной квалификации, специалистов по искусственному интеллекту, для всех изучающих программирование.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Библиотека Института биофизики СО РАН : 660036, Красноярск, Академгородок, 50/12
Экземпляры всего: 2
ИВМ-Фонд (1), ИБФ-КФ (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)
Найти похожие