Назад | Содержание | Вперёд


    ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

 

    А

    абстракция данных

    автомат недетерминированный

    автоматический возврат      ещё 1 ссылка

    альфа-бета алгоритм
          программная реализация
          эффективность

    анонимная переменная

    арифметика в Прологе

    арифметические
          операторы
          ребусы

    арность

    атом

    атомы
          декомпозиция      ещё 1 ссылка
          синтаксис
          создание

    ALO
          реализация

    AVL-справочник
          вставление элемента

    AVL-дерево

 

    Б   

    база
          данных в Прологе
          знаний

    быстрая сортировка

 

    В

    вариант предложения

    вероятностные знания

    возврат автоматический      ещё 1 ссылка

    возвращенные оценки

    вопрос типа
          "как"      ещё 1 ссылка
          "почему"      ещё 1 ссылка

    встроенные операторы
          +,  -,  *,  /,  div,  is,  mod      ещё 1 ссылка

    встроенные процедуры
          >,  <,  >=,   =<,   =:=,  =\=
          !   
  ещё 1 ссылка
          =..
          ==
          \==
          arg
          assert
          asserta
          assertz
          atom
          atomic
          bagof
          call
          consult
          fail
          findall
          functor
          get      
ещё 1 ссылка
          get0   
  ещё 1 ссылка
          integer
          is
          name   
  ещё 1 ссылка
          nl
          nonvar
          nospy
          not
          notrace
          put
          read
          reconsult
          repeat
          retract
          see
          seen
          setof
          spy
          tab
          tell
          told
          trace
          ttyflush
          var
          write

 

    Г

    гамильтонов цикл

    главная цель

    главный функтор

    голова
          предложения
          списка

    головоломка
          "восемь"
          "ханойская башня"

    граф
          И / ИЛИ      ещё 1 ссылка
          направленный
          построение пути
          представление

 

    Д

    двоичное дерево

    двоично-троичное (2-3)  дерево

    двоично-троичный справочник
          вставление элемента

    двоичный справочник
          вставление элемента       ещё 1 ссылка
          поиск
          удаление элемента

    двунаправленный поиск

    декларативный смысл      ещё 1 ссылка

    дерево
          двоичное
          отображение
          решающее      ещё 1 ссылка
          сбалансированное
          AVL
          2-3

    дизъюнкт

    дизъюнкция целей

    доказательство теорем
          методом резолюций
          программа

    допустимость поиска
          в И / ИЛИ графах
          в пространстве состояний

 

    Е

    "если-то"-правила

 

    З

    задача о восьми ферзях

    замкнутость мира

    запоминание ответов

 

    И

    И-вершина

    игровое дерево

    игра
          двух лиц с полной информацией
          формулировка в виде И / ИЛИ графа

    И / ИЛИ граф       ещё 1 ссылка
          допустимость поиска
          поиск
                в глубину
                в ширину
                маршрута       ещё 1 ссылка
                с предпочтением       ещё 1 ссылка
          представление игровых задач
          процедуры поиска
          решающее дерево

    ИЛИ-вершина

    инженерия знаний

    интерпретатор программ, управляемых образцами

 

    К

    категорические знания

    комбинаторная сложность

    комбинаторный взрыв

    комментарии в Прологе

    конкатенация списков

    конкретизация
          наиболее общая
          переменной

    конфликтное множество

    конъюнктивная нормальная форма

    конъюнкция целей

    коэффициент
          достаточности       ещё 1 ссылка
          необходимости       ещё 1 ссылка
          определенности

 

    Л

    логика
          взаимосвязь с Прологом
          предикатов 1-го порядка
          пропозициональная

 

    М

    машина логического вывода

    методология программирования
          отладка
          эффективность

    минимаксный принцип

    минимаксные программы

    минимаксная процедура

    модель Prospector'a       ещё 1 ссылка

    модуль, управляемый образцом

    мягкие знания

 

    Н

    наиболее общая конкретизация

    направленный граф

    недетерминированный автомат

    неопределенность (в экспертных системах)

 

    О

    обобщение

    оболочка (экспертной системы)

    объекты данных Пролога

    объяснение типа
          "как"
          "почему"

    ограничения на ходы

    окончание "король и ладья против короля"
          программа

    операторная нотация

    оператор отсечения      ещё 1 ссылка

    операторы
          в Прологе
          предопределенные
          приоритет операторов
          сравнения
          тип оператора

    основной вариант

    остовное дерево
          программа построения      ещё 1 ссылка

    откомпилированная программа

    отладка

    отрицание как неуспех

    отсечения       ещё 1 ссылка
          зеленые
          красные

    оценочная функция (в играх)

 

    П

    перебор
          ограничение
          управление

    переменная
          анонимная
          конкретизация
          синтаксис

    перестановки списка

    планирование (прохождения задач)

    поиск
          в глубину
                с ограничением
          в ширину
          с предпочтением       ещё 1 ссылка
                в И / ИЛИ графах
                в пространстве состояний

    последовательное углубление

    построение маршрута      ещё 1 ссылка
          И / ИЛИ-представление

    построение пути

    поток
          входной
          выходной

    пошаговая детализация

    правила
          в Прологе      ещё 1 ссылка
          типа "если-то"

    предложение
          вариант
          голова      ещё 1 ссылка
          конкретизация
          тело      ещё 1 ссылка

    принцип резолюции      ещё 1 ссылка

    приоритет операторов

    программа-интерпретатор

    программа, управляемая образцами

    программирование в терминах образцов       ещё 1 ссылка

    продукции

    прозрачность системы

    пространство состояний
          допустимость поиска
          представление       ещё 1 ссылка

    процедура
          в Прологе
          табличная организация

    процедурный смысл      ещё 1 ссылка

 

    Р

    работа с базой данных

    равенства
          типы

    разрешение конфликта      ещё 1 ссылка

    раскраска карты (программа)

    распространение оценок по сети вывода

    рекурсия

    решающее дерево       ещё 1 ссылка

 

    С

    сбалансированное дерево

    сведение задач к подзадачам

    селектор

    сеть вывода

    система
          автоматического доказательства теорем
          основанная на знаниях
          управляемая образцами

    смысл
          декларативный       ещё 1 ссылка
          процедурный       ещё 1 ссылка

    сопоставление       ещё 1 ссылка       ещё 1 ссылка
          с образцами

    сортировка
          быстрая
          методом "пузырька"
          со вставками
          списков

    списковая структура

    список
          внесение элемента
          голова
          длина
          добавление элемента      ещё 1 ссылка
          конкатенация
          перестановки
          подсписок
          представление
          принадлежность       ещё 1 ссылка
          разбиение
          разностное представление
          сортировка
          удаление элемента
          хвост

    справочник
          двоичный
          AVL
          2-3

    статические оценки

    степень доверия

    стиль программирования
          комментарии
          стилистические правила

    структурное программирование

    структурные объекты

    структуры в Прологе

    субъективная уверенность

 

    Т

    таблица советов

    тело предложения

    терм
          включение
          копия      ещё 1 ссылка
          унификация

 

    Ф

    файл user

    файлы
          в Прологе
          термов

    факты в Прологе

    формула Хорна

    форсированное дерево

    функтор
          арность
          главный

 

    Х

    хвост списка

 

    Ц

    цель
          достижима
          имеет неуспех
          логически следует
          недостижима
          терпит неудачу
          успешна

    цели
          вычисление списка
          дизъюнкция
          конъюнкция

 

    Ч

    числа в Прологе

    чистый Пролог

 

    Ш

    шаг резолюции       ещё 1 ссылка

 

    Э

    эвристические оценки

    эвристический поиск      ещё 1 ссылка

    эвристическое отсечение

    экспертная система

    элементарный совет
          выполнимость

    эффект горизонта


Назад | Содержание | Вперёд