Введение   Главы  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24   Приложения  1  2  

ГЛАВА 4. Символические вычисления


    ГЛАВА 4. Символические вычисления
    ГЛАВА 4. Символические вычисления 4.1. Символическое представление 4.2. Физическая символическая система 4.3. Реализация символических структур на языке LISP 4.3.1. Структуры данных в языке LISP 4...
    Символические вычисления
    Символические вычисления 4.1. Символическое представление 4.2. Физическая символическая система 4.3. Реализация символических структур на языке LISP 4.4. Почему LISP не является языком представлен...
    4.4. Почему. LISP не является языком представления знаний
    4.4. Почему. LISP не является языком представления знаний Невольно напрашивается вопрос, почему с помощью LISP нельзя удовлетворить все наши потребности в области представления знаний. Ведь, как б...
    Символический уровень и уровень знаний
    4.4.1. Символический уровень и уровень знаний Совершенно ясно, что среда символических вычислений весьма подходит для реализации структур, необходимых для представления знаний, но символический ур...
    LISP и разработка программ
    4.4.2. LISP и разработка программ Многие программисты склонны к тому, чтобы создавать программный код, напоминающий спагетти, и их буквально приводит в состояние шока знакомство с широкими возможн...
    Гипотеза Смита
    Смит выдвинул гипотезу представления знаний (Knowledge Representation Hypothesis), которая гласит [Smith, 1982]: Каждая интеллектуальная физическая символическая система включает символические стр...
    4.5. Языки представления знаний
    4.5. Языки представления знаний И представление знаний, и объектно-ориентированный подход к программированию основываются на одной и той же идее, что конкретная предметная область приложения имеет...
    Рекомендуемая литература
    Рекомендуемая литература В качестве наиболее доступного руководства по языку LISP я бы рекомендовал книгу Уинстона и Хорна [Winston and Horn, 1988], а в книгах Чарняка [Charniak et al., 1987] и Гр...
    Упражнения
    Упражнения 1. Что означает понятие символ применительно к проблематике искусственного интеллекта? Являются ли символами изображение и слово? 2. Что представляет собой гипотеза физической символиче...
    4.1. Символическое представление
    4.1. Символическое представление Понятие символ настолько распространено в современной теории и практике искусственного интеллекта, что важность его трудно переоценить. Именно на этом понятии бази...
    4.2. Физическая символическая система
    4.2. Физическая символическая система Ньюэлл [Newell, 1981] описывает физическую символическую систему как помещенную в некоторую среду машину, состоящую из следующих компонентов: памяти, включающ...
    Главная гипотеза
    Ньюэлл и Саймон следующим образом сформулировали гипотезу физической символической системы (Physical Symbol System Hypothesis) [Newell and Simon, 1976]: Физическая символическая система имеет необ...
    4.3. Реализация символических структур на языке LISP
    4.3. Реализация символических структур на языке LISP Как только мы беремся за задачу реализации символических структур и выполнения операций над такими структурами, немедленно встает вопрос, о как...
    4.3.1. Структуры данных в языке LISP
    4.3.1. Структуры данных в языке LISP Одним из первых языков обработки списков был LISP2 [McCarthy, 1960]. За четыре десятилетия, которые прошли после появления его первой версии, язык неоднократно...
    Списки и точечные пары
    Пусть задан оператор . для комбинирования ячеек в древовидной структуре. Тогда определение символического выражения в LISP можно сформулировать следующим образом. Любой атом является символическим...
    4.3.2. Структура LISP-программы
    4.3.2. Структура LISP-программы Как использовать список в качестве базовой структуры данных, понятно. Сложнее представить себе, как можно организовать программу или выражение программы в виде спис...
    4.3.
    4.3. Функции, их вычисление и проблема цитирования в CLIPS...
    Функции, их вычисление и проблема цитирования в CLIPS
    Существуют два основных метода разрешения проблемы цитирования, т.е. предотвращения интерпретации данных как функций или выражений. Один метод заключается в том, чтобы в число системных функций вв...
    4.3.3. Приложение функции и лямбда-исчисление
    4.3.3. Приложение функции и лямбда-исчисление Для того чтобы разобраться в связи между лямбда-исчислением и языком LISP, нужно постоянно держать в уме сформулированное Черчем отличие между денотац...
    4.3.4. Обработка списков
    4.3.4. Обработка списков Языку LISP можно дать очень лаконичное формальное определение. Большинство LISP-программ можно специфицировать, используя только пять простейших операторов над символическ...
    4.4.
    4.4. Примитивы в LISP...
    Примитивы в LISP
    В языке LISP имеется пять операций, которые, хотя и не имеют специальных наименований, лежат в основе всех остальных. LISP использует их в качестве виртуального машинного кода при построении более...
    4.3.5. Сопоставление с образцом
    4.3.5. Сопоставление с образцом Одним из ключевых компонентов в большинстве программ искусственного интеллекта является анализатор соответствия (pattern matcher) — компонент, который некоторым обр...


- Начало -