Тей А., Грибомон П., Луи Ж. — Логический подход к искусственному интеллекту :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Тей А., Грибомон П., Луи Ж. — Логический подход к искусственному интеллекту

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

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

Авторы: Тей А., Грибомон П., Луи Ж.

Аннотация:

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

Язык:

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1990

Количество страниц: 432

Добавлена в каталог: 09.07.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

ATOM (atome)      59
Абстракция- $\lambda$ , (abstraction- $\lambda$ )      161
Автомат детерминированный (automate deterministe)      303
Автомат конечный (atomate fini)      128 303
Автомат недетерминированный (automate non deterministe)      303
Автомат стековый (automate a pile)      305
Автомат стековый детерминированный (automate a pile deterministe)      308
Автоэпистемическая интерпретация (interpretation autoepistemique)      255 261
Автоэпистемическая логика (logique autoepisternique)      227 253
Автоэпистемическая модель (modele autoepistemique)      255 261
Автоэпистемическая теория легальная (theorie autoepistemique legale)      255
Автоэпистемическая теория основанная (theorie autoepistemique fondee)      257
Автоэпистемическая теория полная (theorie autoepistemique complete)      255
Автоэпистемическая теория устойчивая (theorie autoepistemique stable)      256
Аксиома (axiome)      113
Аксиоматическая система (systeme axiomatique)      92
Аксиоматическая система немонотонная (systeme axiomatique non monotone)      247
Алгебра булева (algebre de Boole)      29
Алгоритм (algorithme)      125
Алгоритм Девиса и Патнема (algorithme de Davis et Putnam)      33
Алгоритм Куайна (algorithme de Quine)      24 83
Алгоритм редукции (algorithme de reduction)      26
Алгоритм унификации (algorithme d’unification)      357
Алгоритмы Пролога (algorithmes de Prolog)      351
Алетическая логика (logique alethique)      152
Антисимметричность (antisymetrie)      28
Ассоциативность (associative)      28
Атрибут (attribut)      198
Ввод-вывод в Прологе (entree-sortie Prolog)      384
Возврат (retour en arriere)      299 343
Вопрос (question)      293 337 353
Временная логика (logique temporelle)      153
Вывод (inference)      103
Вывод немонотонный (inference non monotone)      248
Выражение- $\lambda$ (expression- $\lambda$ , )      161
Выражение- $\lambda$ , тело (corps d’une expression- $\lambda$ )      162
Высказывание (proposition)      11
Гипотеза (hypothese)      21
Грамматика атрибутная (grammaire attribuee)      407
Грамматика контекстно-свободная (grammaire hors-contexte)      49 270 305 399
Грамматика определенных дизъюнктов (grammaire DCG)      278 279 283 290 330 407
Грамматика регулярная (grammaire reguliere)      305
Грамматика структуры фразы (grammaire a structure de phrase)      300
Грамматика Хомского (grammaire de Chomsky)      300
Грамматика Хомского типа 0 (grammaire de Chomsky de type 0)      311
Грамматика Хомского типа 1 (grammaire de Chomsky de type 1)      310
Грамматика Хомского типа 2 (grammaire de Chomsky de type 2)      305
Грамматика Хомского типа 3 (grammaire de Chomsky de type 3)      300
Граф канонический (graphe canonique)      181
Граф концептуальный (graphe conceptuel)      169
Дедукции метатеорема (metatheoreme de la deduction)      96
Дедукции принцип (principe de deduction)      22
Дедукция обратная (deduction inverse)      167
Дедукция прямая (deduction directe)      166
Деонтическая логика (logique deontique)      152
Дерево-И/ИЛИ (arbre ET/OU)      296
Дерево-И/ИЛИ семантическое (arbre semantique)      23
Дерево-И/ИЛИ семантическое полное (arbre semantique complet)      23
Дерево-И/ИЛИ синтаксическое (arbre syntaxique)      274 329
Диаграмма переходов (diagramme de transition)      303
Диаграмма состояний (diagramme d’etat)      303
Дизъюнкт (clause)      30 72
Дизъюнкт резольвентный (clause resolvante)      86
Дизъюнкт хорновский (clause de Horne)      45 49 274 345
Дизъюнктивная нормальная форма (forme disjonctive normale)      33 72
Дистрибутивность (distributivite)      28
Доказательство (demonstration)      92 103
Доказательство посредством опровержения (preuve par refutation)      163
Дополнительность (complementarite)      29
Доступности отношение (accesstbilite)      242
Завершаемость (completude)      40
Заголовок (tete)      271
Заключение (conclusion)      21
Заключение импликации (consequent)      18
Законы де Моргана (lois de Morgan)      28
Замены правило (regie d’echange)      97
Замыкание $\exists$ (fermeture existentielle)      69
Замыкание $\forall$ (fermeture universelle)      69
Замыкание (fermeture)      268
Замыкание положительное (fermeture positive)      268
Замыкание рефлективное и транзитивное (fermeture reflexive et transitive)      272
Знаний представление (representation de la connaissance)      141
Значение (valeur)      198
Значение слота (valeur de la facette)      172
Идемпотентность (idempotence)      28
Иерархия (hierarchie)      185
Иерархия типов (hierarchie des types)      185
Иерархия Хомского (hierarchie de Chomsky)      299
Имя индивидуума (nom specifique)      143
Имя предикатное (nom de predicat)      143
Имя слота (nom de la facette)      147
Имя совокупности (nom generique)      143
Имя функциональное (nom de fonction)      143
Интерпретация (interpretation)      16 63
Интерпретация высказываний (interpretation propositionnelle)      255
Интерпретация частичная (interpretation partielle)      23
Интерпретация Эрбрана (interpretation de Herbrand)      77
Интерпретация, область (domaine d’interpretation)      63
Исчисление высказываний (calcul des propositions)      11 12
Исчисление предикатов (calcul des predicate)      54 57
Категория синтаксическая (categorie syntaxique)      270
Квантификация (quantification)      56
Квантификация, область действия (portee d’une quantification)      61
Квантор (quantificateur)      56
Квантор общности (quatificateur universel)      56
Квантор существования (quantificateur existentiel)      56
Кластер схематический (amas schematique)      190
Клаузальная форма (forme clausal)      76
Ключ (cle)      147
Коммутативность (commutativite)      28
Компактности теорема (theoreme de compacite)      54
Композиционный метод (principe do compositionnalite)      150
Конкретизация (instance)      67 75 143
Конкретизация фундаментальная (instance fondamentale)      79
Константа (constante)      55 143
Константа индивидная (constante individuelle)      57
Константа предикатная (constante predicative)      56 57 143
Константа функциональная (constante fonctionnelle)      57 143
Конфигурация (configuration)      302 306 311
Концептуальное отношение (relation conceptuel)      172
Конъюнкт (cube)      33 72
Конъюнктивная нормальная форма (forme conjonctive normale)      30 72
Легальность (legalite)      255
Литера (litteral)      16 72
Логика веры (logique des croyances)      153
Логика возможного (logique du possible)      152
Логика высказываний (logique des propositions)      211
Логика немонотонная (logique non monotone)      220 227 245
Логика предикатов (logique des predicats)      211
Логика трехзначная (logique ternaire)      158
Логика умолчаний (logique des defauts)      226 227
Логика четырехзначная (logique quaternaire)      160
Логическое программирование (programmation logique)      89 266 333
Матрица (matrice)      68
Машина Тьюринга (machine de Turing)      127 311
Множество рекурсивно перечислимое (ensemble recursivement enumerable)      137
Множество рекурсивное (ensemble recursif)      14 138
Модальная логика (logique modale)      239
Модальная нормальная система (systeme modal normal)      239
Модальная теорема (theoreme modal)      250
Модальный оператор (operateur modal)      153
Моделей теория (theorie des modeles)      122
Модель (modele)      16 113 243

Модель высказываний (modele propositionnel)      255
Моноид свободный (monoide libre)      268
Монотонность ограниченная (monotonie restreinte)      221
Наследственное свойство (propriete d’heritage)      183
Неклаузальное правило резолюций (resolution non clausalе)      44 89
Неклаузальное правило согласия (consensus non clausale)      89
Область Эрбрана (domaine de Herbrand)      76
Обоснование (justification)      229
Общезначимость (valide)      244
Общезначимость в модели (valide dans un modele)      244
Общезначимость в структуре (valide dans une structure)      244
Общезначимые рассуждения (raisonnement valide)      217
Объявление оператора (declaration d’operateur)      391
Одновременная постановка (substitution uniforme)      12 60 97
Оператор- $\lambda$ , (operateur- $\lambda$ )      160
Операции над списками (operation sur les listes)      378
Операция паросочетания (operation de correspondance)      200
Остановки проблема (probleme de l’arret)      139
Отношение порядка (relation d’ordre)      28 117
Отрицание в Прологе (negation Prolog)      349
Отсечение (coupure)      363 366
Оценка (Valuation)      242
Переменная (variable)      55 57 143 270
Переменная анонимная (variable anonyme)      344
Переменная квантифицированная (variable quantified)      61
Переменная начальная (variable de depart)      270
Переменная свободная (variable libre)      60
Подстановка (substitution)      66 354
Полугруппа свободная (demigroup libre)      268
Правило (regie)      165 268 270 293 345
Правило Modus Ponens (Modus Ponens)      94
Правило бинарный (predicat binaire)      144
Правило встроенный (predicat predefini)      362
Правило немонотонного вывода (inference non monotone)      223
Правило обобщения (regie de generalisation)      106
Правило переписывания (regie de reecriture)      271
Правило рекурсивное (regie recursive)      348
Правило соединения (regie d’assemblage)      143
Правило умолчания (regie de defaut)      229
Правило унарный (predicat unaire)      144
Предваренная форма (forme prenexe)      70
Предикат (predicat)      59 143
Префикс (prefixe)      70
Принцип двойственности (principe de dualite)      29 65
Принцип монотонности (principe de monotonie)      104
Продукция (production)      268 270
ПРОЛОГ (PROLOG)      290
Прототип (prototype)      187 189 191
Процедура (procedure)      125
Разрешимая теория (theorie decidable)      120
Разрешимость (decidabilite)      123
Рассуждения модифицируемые(raisonnement revisable)      217
Рассуждения с умолчаниями (raisonnement par defaut)      206 228
Расширение (extension)      232
Расширение устойчивое (extension stable)      257 258 262
Резольвента (resolvante)      38
Резолюций принцип (resolution)      38 42 87 99
Резолюция фундаментальная (resolution fondamentale)      84
Рефлексивность (reflexivite)      28
Решетка (treillis)      28
Решетка Линденбаума (treillis de Ltndenbaum)      28
Решетка множеств (treillis des ensembles)      186
Решетка типов (treillis des types)      186
Свойство унаследованное (propriete heritee)      183
Связанная переменная (variable liee)      60
Связка (connecteur)      57
Семантика (semantique)      15 62 150 157 162
Семантика возможных миров (semantique des mondes possibles)      158 242
Сеть базовая переходов (reseau BTN)      316
Сеть рекурсивная переходов (reseau RTN)      320
Сеть семантическая (reseau semantique)      172
Сеть усиленная переходов (reseau ATN)      325
Сигнатура (signature)      113
Символ исходный (symbole initial)      270
Символ нетерминальный (symbole non terminal)      270
Синтаксис (syntaxe)      15
Система натурального вывода (deduction naturelle)      102 107
Сколемовская форма (forme de Skolem)      73
Следствие логическое (sonsequence logique)      21
Слот (facette)      147 198
Совокупности поле (champ generique)      176
Совокупность — ссылка (generique — referent)      175 188
Согласие (Consensus)      43 89
Сортировка (tri)      380
Список (liste)      275 376
Ссылки поле (champ referent)      176
Стратегия (strategie)      298
Стратегия Девиса и Патнема (strategie de Davis et Putnam)      83
Структура (structure)      113 242
Схема (schema)      190
Сцепка (unite)      197
Тавтология (tautologie)      21
Тезис Чёрча (these de Church)      133
Тело (corps)      271
Теорема (theoreme)      92 113
Теория (theorie)      113
Теория категоричная (theorie categorique)      121
Теория нормальная (theorie normale)      233
Теория первого порядка (theorie du premier ordre)      111 113
Теория полная (theory complete)      121
Теория полунормальная (theory semi-normale)      236
Теория с умолчаниями (theorie avec defauts)      229
Терм (terme)      56 58
Терм индивидный (terme fondamental)      337
Терм константный (terme constant)      337
Точка неподвижная (point fixe)      250
Транзитивность (transitivite)      28
Требование (prerequis)      229
Узел связывающий (noeud relationnel)      172
Узел — индивид (noeud specifique)      176
Узел, концепт (noeud concept)      172
Узел, совокупность (noeud generique)      176
Узел, ссылка (noeud referent)      176
Умолчание (defaut)      229
Умолчание нормальное (defaut normal)      234
Универсум (univers)      242
Унификатор (unificateur)      355
Унификатор наиболее общий (unificateur le plus general)      86 356
Унификация (unification)      85
Унифицируемые Литеры (litteraux unifiables)      85
Факт (fait)      46 165 201 293 337
Финитно выполнимое подмножество (sous-ensemble finiment consistant)      51
Форма предикатная (forme predicative)      56 59 144
Формализм усиленных сетей переходов (formalisme ATN)      314
Формула (formule)      13 59
Формула выполнимая (formule sonsistante)      20 64
Формула невыполнимая (formule inconsistante)      20 64
Формула нейтральная (formule contingente)      21 64
Формула общезначимая (formule valide)      20 64
Фрейм (cadre)      197
Фрейм функциональный (cadre fonctionnel)      199
Фрейм явный (cadre explicite)      198
Фундаментальная форма (forme fondamentale)      78
Функциональная форма (forme fonctionnelle)      58
Функция (fonction)      59 149
Функция примитивно рекурсивная (fonction primitive recursive)      136
Функция рекурсивная (fonction recursive)      137
Цель (but)      46 165 201 293 341 353
Элиминация (elimination)      28
Эпистемическая логика (logique epistemique)      153
Язык (langage)      113
Язык алгоритмический Гёделя (langage algorithmique de Godel)      131
Язык контекстно-свободный (langage hors-contexte)      272

О проекте