Символические вычисления

Первобытное и «примитивное»
искусство
Истоки христианского искусства
Индия и Китай Западная Азия
Эллада
Древнехристианская эпоха
Магометанское искусство в Индии
Дальнейшее развитие христианства
в Европе
Архитектура Запада
Романский стиль. Готика
Италия в эпоху возрождения
Фламандская и Голландская школы
Современные интерьеры
общественных зданий
Эмоциональный потенциал
архитектуры
История искусства
Об условном развитии
пространства
О масштабе и образе
Форма, материал, цвет
О  компонентах интерьера
Язык архитектуры
Дизайн архитектурной среды
Стиль модерн Ар Нуво
Промышленные выставки
Искусство Западная Европа
Искусство Россия
Архитектура и скульптура
Живопись Россия
Импрессионизм
Эпоха Возрождения
Искусство Испании
Искусство Голландии
Европа и Россия XVIII век
Формирование
История искусства
  • Доисторическая эпоха
  • Изображении божеств Египта
  • Индия и Китай Буддизм
  • Западная Азия
  • Искусство у египтян, вавилонян и персов
  • Архитектура
  • Жертвоприношение Ифигении
  • При раскопках Помпеи
  • Культ Аполлона
  • Регалии древних царей Рима
  • Идеи христианства
  • Расцвет древнехристианского искусства
  • Сасаниды
  • Постройки Индии
  • В Михайловском храме
  • Лобное место
  • Первые мастера и живописцы
  • Одежда XI—XVII веков
  • Возрождение Италии
  • Микеланджело
  • Тициан Вечеллио
  • Брабантская школа фламандцев
  • Директория и империя
  • Эпоха петровских преобразований
  • Кандинский — теоретик искусства
    Математика
    Математический анализ
    Математика лекции и примеры решения задач
    Векторная алгебра
    Интеграл Фурье
    Вычисление интегралов
    Поверхностный интеграл первого рода
    Матрицы и определители
    Типовые расчеты по математике
    Расчет электрических цепей
    Электротехника
    Курс физики кинематика Задачи
    Методы расчета сложных цепей
    Физика Задачи примеры решения
    Электротехника расчет цепей
    Задачи по электротехнике
    Примеры решения задач
    к контрольной работе
    .
    Мащиностроительное черчение
    Начертательная геометрия
    Черчение
    Техническая механика
    Инженерная графика
    Информатика
    Локальные компьютерные сети
    Базы данных Access
    Информационные сети
    Аппаратура передачи данных
    Доступ к корпоративным
    базам данных
    Локальные и глобальные сети
    Информатика
    Администрирование баз
    данных
    Атомные станции
    Воздействие радиации на человека
    Экология энергетики
    Энергетика

  • Прежде чем приступить в обсуждению специализированных языков представления знаний, остановимся на более общей теме языков программирования задач искусственного интеллекта. В этой главе мы не задавались целью научить читателя пользоваться определенным языком, а стремились познакомить с некоторыми темами, касающимися представления и управления, которые имеют отношение к программной реализации экспертных систем.
  • Понятие символ настолько распространено в современной теории и практике искусственного интеллекта, что важность его трудно переоценить. Именно на этом понятии базируются главные связи между проблематикой искусственного интеллекта и формальными системами математики и логики.
  • Ньюэлл [Newell, 1981] описывает физическую символическую систему как помещенную в некоторую среду машину, состоящую из следующих компонентов:

    • памяти, включающей символические структуры, число и содержание которых может изменяться во времени;
    • набора операторов для манипулирования символическими структурами, например чтения, записи, копирования;
    • средств управления, предназначенного для непрерывной интерпретации текущей активной символической структуры или структуры, к которой выполняется обращение;
    • средств ввода из окружающей среды посредством рецепторов и вывода в окружающую среду посредством эффекторов.
    • Определить вид кривой . Справочный материал и примеры к выполнению контрольной работы по математике
  • Как только мы беремся за задачу реализации символических структур и выполнения операций над такими структурами, немедленно встает вопрос, о каких именно структурах идет речь. Символы в логике и математике обычно организованы в виде множеств или последовательностей.
  • Одним из первых языков обработки списков был LISP2 [McCarthy, 1960]. За четыре десятилетия, которые прошли после появления его первой версии, язык неоднократно, модифицировался и расширялся, но в основе своей изменился мало. Разработчики языка утверждали, что LISP отличается от прочих языков программирования следующими свойствами [McCarthy et al, I960]:
  • Общепринятым методом реализации функциональных языков типа LISP является использование четырехстековой машины, за которой закрепилось наименование SECD-машины. В четырех стеках машины отслеживаются промежуточные результаты, значения переменных, текущее выражение и копии текущего состояния процесса вычислений сложного выражения, которые нужны, чтобы восстановить состояние после завершения вычисления вложенного выражения (подвыражения). Не вдаваясь в подробности, отметим, что процесс оценивания символического выражения в такой машине — это не что иное, как реализация базовой операции приложения функции, как это определено в лямбда-исчислении (см., например, [Henderson, 1980], [Glaser et al., 1984]).
  • Для того чтобы разобраться в связи между лямбда-исчислением и языком LISP, нужно постоянно держать в уме сформулированное Черчем отличие между денотацией (означиванием) и абстракцией.
  • В языке LISP имеется пять операций, которые, хотя и не имеют специальных наименований, лежат в основе всех остальных. LISP использует их в качестве виртуального машинного кода" при построении более сложных примитивов. Например, в LISP имеются полиморфные предикаты равенства.
  • Сопоставление с образцом В главе 3 мы обращали ваше внимание на то, что факты, относящиеся к состоянию окружающего мира, представляются в форме "предикат— аргумент". Тот факт, что робот находится в комнате, был представлен в модели мира формулой
  • Невольно напрашивается вопрос, почему с помощью LISP нельзя удовлетворить все наши потребности в области представления знаний. Ведь, как было показано, этот язык позволяет хранить и обрабатывать символические структуры и управлять процессом их оценивания.
  • Ньюэлл в работе [Newell, 1982] назвал его уровнем знаний и предположил, что знания должны быть охарактеризованы функционально, т.е. в терминах действия, а не в терминах структурной организации.

    Из предложения Ньюэлла следует, что нельзя адекватно представлять знания, не располагая сведениями о том, как они могут быть использованы. Возможно, это одна из причин, которая побуждает нас разделить факты и знания.

  • Смит выдвинул гипотезу представления знаний (Knowledge Representation Hypothesis), которая гласит [Smith, 1982]: "Каждая интеллектуальная физическая символическая система включает символические структуры, которые мы, как внешние наблюдатели, можем расценивать как предложение, .основанное на знаниях, которыми располагает система".
  • И представление знаний, и объектно-ориентированный подход к программированию основываются на одной и той же идее, что конкретная предметная область приложения имеет такое же значение для модели, как и для проблем, которые нужно разрешить. Если вы работаете в определенной предметной области — технической, издательском деле или сфере управления, — то вид проблемы, которую потребуется решить, будет изменяться не только от проекта к проекту, но и на разных стадиях работы над проектом, по мере того как будут уточняться концепции проекта и его цели. Относительно постоянными остаются только "обитатели" предметной области — машины, процессы, неживые объекты или люди. Представление этих сущностей, которое может быть воспринято машиной и обработано программой, формируется таким образом, чтобы его можно было использовать в самых разнообразных проектах.
  • Что представляет собой гипотеза физической символической системы! Является ли она, по вашему мнению, правдоподобной?
  • Решение типовых задач по математике и физике