Математика

Логический подход к искусственному интеллекту: от классической логики к логическому программированию — Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф.

Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Научное издание

Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф.

год издания — 1990, кол-во страниц — 432, ISBN — 5-03-001636-8, 2-04-018658-1, тираж — 20000, язык — русский, тип обложки — твёрд. 7Б, масса книги — 440 гр., издательство — Мир

цена: 499.00 руб

Сохранность книги — хорошая

APPROCHE LOGIQUE DE L'INTELLIGENCE ARTIFICIELLE
DE LA LOGIQUE CLASSIQUE A LA PROGRAMMATION LOGIQUE

par
André Thayse, Pascal Gribomont, Georges Louis, Dominique Snyers, Pierre Wodon
Philips Research Laboratory, Bruxelles

Paul Gochet
Université de Liège

Eric Grégoire
Université de Louvain, Louvain-la-Neuve

Eduardo Sanchez
Ecole Polytechnique Fédérale de Lausanne

avec de collaboration de
Philippe Delsarte
Philips Research Laboratory, Bruxelles

Dunod informatique
1988

Пер. с фр. П. П. Пермякова

Формат 84x108 1/32. Бумага офсетная №2. Печать высокая

Монография специалистов из Бельгии и Швейцарии излагает проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание основ информатики.

Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.

Книги на ту же тему

Элементы математической логики, Новиков П. С., 1959
Теория решения задач: Подход к созданию искусственного интеллекта, Бенерджи Р., 1972
Логическая семантика и модальная логика, Таванец П. В., ред., 1967
Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
Заметки по логике, Линдон Р., 1968
Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
Математическая логика, Клини С. К., 1973
Программирование на языке Пролог для искусственного интеллекта, Братко И., 1990
Программирование на языке Пролог, Клоксин У., Меллиш К., 1987
Системы искусственного интеллекта, Лорьер Ж. Л., 1991
Жемчужины теории формальных языков, Саломаа А., 1986
Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
Теория формальных грамматик, Гросс М., Лантен А., 1971
Представление и анализ смысла в интеллектуальных информационных системах, Рубашкин В. Ш., 1989
Нечёткие множества в моделях управления и искусственного интеллекта, Аверкин А. Н., Батыршин И. 3., Блишун А. Ф., Силов В. Б., Тарасов В. Б., 1986
Фантазия или наука: На пути к искусственному интеллекту, Поспелов Д. А., 1982
Искусственный интеллект: Методы поиска решений, Нильсон Н., 1973
Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках, Горбатов А. В., 2000
Искусственный интеллект и интеллектуальные системы управления, Макаров И. М., Лохин В. М., Манько С. В., Романов М. П., 2006
Интеллектуальные информационные системы, Любарский Ю. Я., 1990
Искусственный интеллект: применение в химии, Пирс Т., Хони Б., ред., 1988
Компьютерное конструирование неорганических соединений: использование баз данных и методов искусственного интеллекта, Киселёва Н. Н., 2005
Представление знаний о времени и пространстве в интеллектуальных системах, Кандрашина Е. Ю., Литвинцева Л. В., Поспелов Д. А., 1989
Элементы программирования, Гнеденко Б. В., Королюк В. С., Ющенко Е. Л., 1961

http://knigoprovod.com