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