КнигоПровод.Ru25.11.2024

/Наука и Техника/Математика

Логический подход к искусственному интеллекту: от классической логики к логическому программированию — Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф.
 Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Научное издание
Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф.
год издания — 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. Печать высокая
ключевые слова — искусственн, интеллект, логик, знан, формальн, грамматик, логическ, пролог

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

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

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

  1. Логическая семантика и модальная логика, Таванец П. В., ред., 1967
  2. Заметки по логике, Линдон Р., 1968
  3. Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
  4. Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
  5. Математическая логика, Клини С. К., 1973
  6. Программирование на языке Пролог для искусственного интеллекта, Братко И., 1990
  7. Системы искусственного интеллекта, Лорьер Ж. Л., 1991
  8. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
  9. Жемчужины теории формальных языков, Саломаа А., 1986
  10. Теория формальных грамматик, Гросс М., Лантен А., 1971
  11. Представление и анализ смысла в интеллектуальных информационных системах, Рубашкин В. Ш., 1989
  12. Нечёткие множества в моделях управления и искусственного интеллекта, Аверкин А. Н., Батыршин И. 3., Блишун А. Ф., Силов В. Б., Тарасов В. Б., 1986
  13. Фантазия или наука: На пути к искусственному интеллекту, Поспелов Д. А., 1982
  14. Искусственный интеллект: Методы поиска решений, Нильсон Н., 1973
  15. Искусственный интеллект и интеллектуальные системы управления, Макаров И. М., Лохин В. М., Манько С. В., Романов М. П., 2006
  16. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках, Горбатов А. В., 2000
  17. Интеллектуальные информационные системы, Любарский Ю. Я., 1990
  18. Компьютерное конструирование неорганических соединений: использование баз данных и методов искусственного интеллекта, Киселёва Н. Н., 2005
  19. Искусственный интеллект: применение в химии, Пирс Т., Хони Б., ред., 1988
  20. Представление знаний о времени и пространстве в интеллектуальных системах, Кандрашина Е. Ю., Литвинцева Л. В., Поспелов Д. А., 1989
  21. Элементы программирования, Гнеденко Б. В., Королюк В. С., Ющенко Е. Л., 1961
© 1913—2013 КнигоПровод.Ruhttp://knigoprovod.ru