|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Братко И. — Программирование на языке Пролог для искусственного интеллекта |
|
|
|
| Предметный указатель |
ALO
ALO, реализация
AVL-дерево
AVL-справочник
AVL-справочник, вставление элемента
Абстракция данных
Автомат недетерминированный
Автоматический возврат
Анонимная переменная
Арифметика в Прологе
Арифметические операторы
Арифметические ребусы
Арность
Атом
Атомы, декомпозиция
Атомы, синтаксис
Атомы, создание
База данных в Прологе
База знаний
Быстрая сортировка
Вариант предложения
Вероятностные знания
Возврат автоматический
Возвращенные оценки
Вопрос типа «как»
Вопрос типа «почему»
Встроенные операторы: +, -, *, /, div, is, mod
Встроенные процедуры: !
Встроенные процедуры: =..
Встроенные процедуры: ==
Встроенные процедуры: >, <, >=, =<, =:=, =\=
Встроенные процедуры: arg
Встроенные процедуры: assert
Встроенные процедуры: asserta
Встроенные процедуры: assertz
Встроенные процедуры: atom
Встроенные процедуры: atomic
Встроенные процедуры: bagof
Встроенные процедуры: call
Встроенные процедуры: consult
Встроенные процедуры: fail
Встроенные процедуры: findall
Встроенные процедуры: functor
Встроенные процедуры: get
Встроенные процедуры: get0
Встроенные процедуры: integer
Встроенные процедуры: is
Встроенные процедуры: name
Встроенные процедуры: nl
Встроенные процедуры: nonvar
Встроенные процедуры: nospy
Встроенные процедуры: not
Встроенные процедуры: notrace
Встроенные процедуры: put
Встроенные процедуры: read
Встроенные процедуры: reconsult
Встроенные процедуры: repeat
Встроенные процедуры: retract
Встроенные процедуры: see
Встроенные процедуры: seen
Встроенные процедуры: setof
Встроенные процедуры: spy
Встроенные процедуры: tab
Встроенные процедуры: tell
Встроенные процедуры: told
Встроенные процедуры: trace
Встроенные процедуры: ttyflush
Встроенные процедуры: var
Встроенные процедуры: write
Встроенные процедуры: \==
Гамильтонов цикл
Главная цель
Главный функтор
Голова предложения
Голова списка
Головоломка «восемь»
Головоломка «ханойская башня»
Граф И/ИЛИ
Граф направленный
Граф, построение пути
Граф, представление
Двоично-троичное (2-3) дерево
Двоично-троичный справочник
Двоично-троичный справочник, вставление элемента
Двоичное дерево
Двоичный справочник
Двоичный справочник, вставление элемента
Двоичный справочник, поиск
Двоичный справочник, удаление элемента
Двунаправленный поиск
Декларативный смысл
Дерево AVL
Дерево двоичное
Дерево решающее
Дерево сбалансированное
Дерево «2-3»
Дерево, отображение
Дизъюнкт
Дизъюнкция целей
Доказательство теорем методом резолюций
Доказательство теорем, программа
Допустимость поиска в И/ИЛИ-графах
Допустимость поиска в пространстве состояний
Задача о восьми ферзях
Замкнутость мира
Запоминание ответов
И-вершина
И/ИЛИ-граф
И/ИЛИ-граф, допустимость поиска
И/ИЛИ-граф, поиск в глубину
И/ИЛИ-граф, поиск в ширину
И/ИЛИ-граф, поиск маршрута
И/ИЛИ-граф, поиск с предпочтением
И/ИЛИ-граф, представление игровых задач
И/ИЛИ-граф, процедуры поиска
И/ИЛИ-граф, решающее дерево
Игра двух лиц с полной информацией
Игра, формулировка в виде И/ИЛИ-графа
Игровое дерево
ИлИ-вершина
Инженерия знаний
Интерпретатор программ, управляемых образцами
Категорические знания
Комбинаторная сложность
Комбинаторный взрыв
Комментарии в Прологе
Конкатенация списков
Конкретизация наиболее общая
Конкретизация переменной
Конфликтное множество
Конъюнктивная нормальная форма
Конъюнкция целей
Коэффициент достаточности
Коэффициент необходимости
Коэффициент определенности
Логика предикатов 1-го порядка
Логика пропозициональная
Логика, взаимосвязь с Прологом
Машина логического вывода
Методология программирования, отладка
Методология программирования, эффективность
Минимаксная процедура
Минимаксные программы
Минимаксный принцип
Модель Prospector'a
Модуль, управляемый образцом
Мягкие знания
Наиболее общая конкретизация
Направленный граф
Недетерминированный автомат
| Неопределенность (в экспертных системах)
Обобщение
Оболочка (экспертной системы)
Объекты данных Пролога
Объяснение типа «как»
Объяснение типа «почему»
Ограничения на ходы
Окончание «Король и ладья против короля»
Окончание «Король и ладья против короля», программа
Оператор отсечения
Операторная нотация
Операторы в Прологе
Операторы предопределенные
Операторы сравнения
Операторы, приоритет операторов
Операторы, тип оператора
Основной вариант
Остовное дерево, программа построения
Откомпилированная программа
Отладка
Отрицание как неуспех
Отсечения зеленые
Отсечения красные
Оценочная функция (в играх)
Перебор, ограничение
Перебор, управление
Переменная, анонимная
Переменная, конкретизация
Переменная, синтаксис
Перестановки списка
Планирование (прохождения задач)
Поиск в глубину
Поиск в глубину с ограничением
Поиск в ширину
Поиск с предпочтением
Поиск с предпочтением в И/ИЛИ-графах
Поиск с предпочтением в пространстве состояний
Последовательное углубление
Построение маршрута
Построение маршрута, И/ИЛИ-представление
Построение пути
Поток входной
Поток выходной
Пошаговая детализация
Правила в Прологе
Правила типа «если-то»
Предложение
Предложение, вариант
Предложение, голова
Предложение, конкретизация
Предложение, тело
Принцип резолюции
Приоритет операторов
Программа, управляемая образцами
Программа-интерпретатор
Программирование в терминах образцов
Продукции
Прозрачность системы
Пространство состояний
Пространство состояний, допустимость поиска
Пространство состояний, представление
Процедура в Прологе
Процедура, табличная организация
Процедурный смысл
Работа с базой данных
Равенства, типы
Разрешение конфликта
Раскраска карты (программа)
Распространение оценок по сети вывода
Рекурсия
Решающее дерево
Сбалансированное дерево
Сведение задач к подзадачам
Селектор
Сеть вывода
Система автоматического доказательства теорем
Система, основанная на знаниях
Система, управляемая образцами
Смысл декларативный
Смысл процедурный
Сопоставление
Сопоставление с образцами
Сортировка быстрая
Сортировка методом «пузырька»
Сортировка со вставками
Сортировка списков
Списковая структура
Список внесение элемента
Список, голова
Список, длина
Список, добавление элемента
Список, конкатенация
Список, перестановки
Список, подсписок
Список, представление
Список, принадлежность
Список, разбиение
Список, разностное представление
Список, сортировка
Список, удаление элемента
Список, хвост
Справочник AVL
Справочник двоичный
Справочник «2—3»
Статические оценки
Степень доверия
Стиль программирования
Стиль программирования, комментарии
Стиль программирования, стилистические правила
Структурное программирование
Структурные объекты
Структуры в Прологе
Субъективная уверенность
Таблица советов
Тело предложения
Терм
Терм, включение
Терм, копия
Терм, унификация
Файл user
Файлы в Прологе
Файлы термов
Факты в Прологе
Формула Хорна
Форсированное дерево
Функтор
Функтор главный
Функтор, арность
Хвост списка
Цели вычисление списка
Цели, дизъюнкция
Цели, конъюнкция
Цель
Цель достижима
Цель имеет неуспех
Цель логически следует
Цель недостижима
Цель терпит неудачу
Цель успешна
Числа в Прологе
Чистый Пролог
Шаг резолюции
Эвристические оценки
Эвристический поиск
Эвристическое отсечение
Экспертная система
Элементарный совет
Элементарный совет, выполнимость
Эффект горизонта
«Альфа-бета» алгоритм
|
|
|
| Реклама |
|
|
|
|
|
О проекте