Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Язык включает средства (правда, ограниченные), позволяющие комбинировать правила и объекты.
Содержание книги
- Тогда, Используя механизм исчислений только правил влияния, мы можем показать, что справедлива теорема.
- Основной алгоритм, реализующий идею восхождения на гору, можно сформулировать следующим образом.
- CLOSED — список, который содержит обработанные узлы.
- Действие третье: получить чек. Заплатить официанту/официантке или кассиру. Покинуть заведение.
- Летучие мыши и проблема с пингвинами
- Период модернизма: технологии и приложения
- Процедуральное или декларативное знание
- Машина логического вывода и база знаний
- Условия головоломки следующие.
- II) какая из предложенных выше оценочных функций является более чувствительной. Можете ли вы предложить лучший способ управления поиском.
- Представление знаний: принципы и методы
- Здесь выражение push(X, Y, Z)
- Анализ метода представления и управления в strips
- Со степенью уверенности 0. 6 организм-1 является аэробным (Т. Е. Воздушная среда способствует его росту).
- X имеет служебное удостоверение и
- Если микроорганизм идентифицирован как pseudomonas,
- Иногда оказывается, что прогресс в движении к заданной цели требует, чтобы окружающая среда была не более упорядоченной, А более неорганизованной (в смысле применения оценочной функции).
- Что такое порождающее правило. Какое, на ваш взгляд, существует соответствие между набором порождающих правил и деревом решений.
- ГЛАВА 4. Символические вычисления
- Физическая символическая система
- Любой атом является символическим выражением.
- И пытаться отыскать определение функции (1 2 3).
- В различных диалектах языка допустимы вариации, но смысл остается тем же. В частности, в диалекте Common LISP используется сокращенная форма
- Фактически система, состоящая из трех компонентов
- Символический уровень и уровень знаний
- Язык включает средства (правда, ограниченные), позволяющие комбинировать правила и объекты.
- Системы порождающих правил для решения проблем
- Пусть задано порождающее правило в форме
- В данном случае предпосылка состоит в том, что определенный микроорганизм имеет форму палочки и размножается в воздушной среде.
- Удовлетворяет предпосылку в правиле
- Управление функционированием интерпретатора
- Свойства механизмов разрешения конфликтов, которые реально применяются в системах, при всем их разнообразии можно разделить на три довольно компактные группы.
- Стратегия сложности. Использует тот же критерий, что и стратегия простоты, но располагает правила в обратном порядке — более сложные занимают более приоритетное место в списке.
- Аса, aacaa, caacaac, bcaacaacb, cbcaacaacbc.
- Трассировка программы строительства башни
- Свойство выпуклости в clips: пингвины обретают способность летать (или не обретают)
- Таким образом, и образец в левой части порождающего правила, и сопоставляемые с ним элементы в рабочей памяти должны соответствовать этим шаблонам.
- Следующее Определение сети более близко к специфике задач искусственного интеллекта, которыми мы сейчас занимаемся.
- Два аспекта модели памяти, предложенной квиллианом, оказали особенно существенное влияние на последующее развитие исследований в области применения систем семантических сетей.
- Анализ адекватности ассоциативных сетей
- Из сказанного выше ясно, что первоначальные виды формализмов ассоциативных сетей страдают минимум двумя недостатками.
- Значения по умолчанию и демоны
- Если отсутствует любая информация о параметрах четырехугольника, не выполнять никаких вычислений.
- Система инициализируется командой (reset). Теперь можно активизировать демон, послав ему сообщение
- Подводя итог всему сказанному выше об ассоциативных сетях и фреймах, отметим, что в большинстве предлагаемых структур сетей не удалось дать четкий ответ на два важных вопроса.
- Для этого вам понадобится сначала внести изменения в определение класса square.
- Формирование объекта класса на языке clips
- Скомбинировать их таким образом, чтобы получить желаемый эффект.
- Множественное наследование в CLOS и clips
- Наложение методов в CLOS и clips
В главе 6 будет проанализировано использование структурированных объектов, таких как семантические сети и фреймы, а в главе 7 мы перейдем к более тщательному анализу объектно-ориентированного подхода. Описание методики логического программирования, в частности с использованием языка PROLOG, завершит в главе 8 тему изучения языков представления знаний. В главе 17 вы найдете обзор множества доступных на сегодняшний день программных пакетов, предназначенных для построения экспертных систем, а в главах 18 и 19 анализируются более специализированные инструментальные средства.
Рекомендуемая литература
В качестве наиболее доступного руководства по языку LISP я бы рекомендовал книгу Уинстона и Хорна [Winston and Horn, 1988], а в книгах Чарняка [Charniak et al., 1987] и Грехема [Graham, 1994] можно уточнить многие детали применения LISP для решения задач искусственного интеллекта.
В прекрасной книге Норвига [Norvig, 1992] подробно описан базовый диалект Common LISP, а в книге Рассела и Норвига [Russel and Norvig, 1995] основное внимание уделено программированию задач искусственного интеллекта.
В книге Кратко [Braico, 1990] читатель найдет обширный материал по использованию языка PROLOG для решения задач искусственного интеллекта. Кроме того, желающим изучить язык PROLOG я также рекомендую прочесть книгу Стерлинга и Шапиро [Sterling and Shapiro, 1994].
Упражнения
1. Что означает понятие "символ" применительно к проблематике искусственного интеллекта? Являются ли символами изображение и слово?
2. Что представляет собой гипотеза физической символической системы! Является ли она, по вашему мнению, правдоподобной?
Пусть L — список
(а (b) с ((d) е (f) g).
Какое значение вернет следующее выражение, состоящее из вложенных функций: first(first(rest(rest(rest(L))))).
Запишите приведенное выше выражение в синтаксисе примитивов LISP.
4. Пусть функция f определяется следующим образом:
f(X Y) = (ЛX)(if Y = 0 then 1, else X f(X, Y - 1)).
Какое значение будет иметь такое применение этой функции:
F(2 3)?
Запишите приведенное выше выражение в синтаксисе примитивов LISP.
5. Усовершенствуйте приведенную в тексте программу анализа соответствия таким образом, чтобы она могла обрабатывать списки с произвольной вложенностью. Эта программа должна быть способна, например, показать, что список
(lisp (a functional language)
(invented by (John mccarthy)))
Соответствует образцу
(lisp (a? language) (invented by (? mccarthy))),
Но не соответствует образцу
(lisp (a? language) (invented by (тагу?))).
6. Усовершенствуйте приведенную в тексте программу анализа соответствия таким образом, чтобы она возвращала подстановку значений для переменных, которая будет превращать образец в пример. Образец для переменной имеет в таком случае вид
(? Variable-name),
И тогда образцу
(at (? X) (? Y))
будет соответствовать пример
(at robot room),
А программа должна вернуть подстановку
((X robot) (Y room))
в виде списка. Можно положить, что пример представляет собой простой список.
7. Скомбинируйте программы, разработанные в упр. 5 и 6, таким образом, чтобы результирующая программа могла обрабатывать вложенные списки и формировать подстановку. Эта программа должна быть способна, например, показать, что список (lisp (a functional language) (invented by (John mccarthy))) соответствует образцу
(lisp (a (? type) language)
(invented by ((? name) mccarthy))),
И вернуть подстановку
((type functional) (name John)).
ГЛАВА 5. Системы, основанные на знаниях
Канонические системы
Системы порождающих правил для решения проблем
Синтаксис представления правил
Рабочая память
Управление функционированием интерпретатора
Разрешение конфликтов
Прямая и обратная цепочки рассуждений
Правила и метаправила
Рекомендуемая литература
Упражнения
ГЛАВА 5. Системы, основанные на знаниях
Канонические системы
|
