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

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

blank
blank
blank
Красота
blank
Братко И. — Программирование на языке Пролог для искусственного интеллекта
Братко И. — Программирование на языке Пролог для искусственного интеллекта



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



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


Название: Программирование на языке Пролог для искусственного интеллекта

Автор: Братко И.

Аннотация:

Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог.
Для программистов разной квалификации, специалистов по искусственному интеллекту, для всех изучающих программирование.


Язык: ru

Рубрика: Computer science/AI, knowledge/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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      
Файлы в Прологе      
Файлы термов      
Факты в Прологе      
Формула Хорна      
Форсированное дерево      
Функтор      
Функтор главный      
Функтор, арность      
Хвост списка      
Цели вычисление списка      
Цели, дизъюнкция      
Цели, конъюнкция      
Цель      
Цель достижима      
Цель имеет неуспех      
Цель логически следует      
Цель недостижима      
Цель терпит неудачу      
Цель успешна      
Числа в Прологе      
Чистый Пролог      
Шаг резолюции      
Эвристические оценки      
Эвристический поиск      
Эвристическое отсечение      
Экспертная система      
Элементарный совет      
Элементарный совет, выполнимость      
Эффект горизонта      
«Альфа-бета» алгоритм      
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте