Европа и Россия XVIII век Архитектура Рококо Скульптура Франсуа Буше Декоративно-прикладное искусство Севрский фарфор Бытовой жанр Собор Святого Павла Палладианство Пейзажный (английский) парк Британский музей в Лондоне Летний сад Зимний дворец

Рекомендуемая литература

Единственной книгой, в которой достаточно полно рассмотрена технология использования прецедентов в системах искусственного интеллекта, является [Kolodner, 1993]. В перечень кратких обзорных статей, которые можно рекомендовать для первого знакомства, я бы включил [Blade, 1991], [Harmon, 1992], [Kolodner, 1992] и [Watson and Marir, 1994]. Обзор инструментальных средств, предназначенных для работы с базами данных прецедентов, представлен в работе [Harmon and Hall, 1993].

Описания действующих систем, основанных на прецедентах, читатель найдет в работах [Acorn and Walden, 1992], [Allen, 1994], [Nguyen et al, 1993], [Hislop andPracht, 1994],-[Barren etal, 1993].

2. В чем состоит основное отличие методики формирования суждений на основе прецедентов от логического вывода на основе правил?

3. Как соотносятся прецеденты и фреймы? Как можно применить концепцию фреймов по отношению к прецедентам?

4. Предположим, вы купили омара и желаете приготовить из него какое-нибудь блюдо для себя и гостей. Библиотека прецедентов о блюдах из омаров состоит из записей такого формата.

Свойство

Вес

Свойство Вес

Наименование

0.0

Приправы

0.7

Основной соус

0.9

Алкоголь

0.5

 

Число в графе Вес указывает относительную важность соответствующей характеристики в рецепте.

Например, блюдо "Омар в сметане" будет представлено в этой библиотеке следующей записью.


Свойство

Значение

Наименование

Омар в сметане

Основной соус

Сметана

Основная приправа

Паприка

Алкоголь

Шерри

 

I) Каков будет результат выполнения алгоритма сопоставления с ближайшим соседом при обработке рецепта "Омар в сметане" и приведенного ниже рецепта "Омар о-Гратен"?

Свойство

Значение

Наименование

Омар о-Гратен

Основной соус

Сметана

Основная приправа

Паприка

Алкоголь

Коньяк

 

II) К какому из рецептов будет ближе "Омар в сметане" — к "Омару о-Гратен" или к "Омару франко-американскому"?

Свойство

Значение

Наименование

Омар франко-американский

Основной соус

Пищевая глазурь

Основная приправа

Стручковый красный перец

Алкоголь

Шерри

III) Подумайте над тем, как более разумно выполнить сопоставление рецептов при следующих условиях:

Как эти соображения могут повлиять на сопоставления с ближайшим соседом?

5. Подумайте над тем, как можно учесть перечисленные ниже факторы при вынесении решения, можно или нельзя оправдать человека в соответствии со статьей 35 Закона о

наказаниях как применившего для самозащиты при нападении "насилие, повлекшее за собой смерть".

Такой приговор считается обоснованным, если:

Такой приговор не может быть вынесен в случае, если:

Существуют еще и усложняющие дело факторы, например:

Постройте иерархию этих фактов, аналогичную приведенной на рис. 22.2.

Граф доказательства
Достоинством принципа резолюции является то, что при доказательстве истинности заключения применяют только одно правило: поиск и удаление контрарных литер на множестве дизъюнктов до получения пустой резольвенты.
Проблемы в исчислении высказываний
Для обоснования исчисления высказываний, как для любой аксиоматической теории, необходимо рассмотреть проблемы разрешимости и непротиворечивости.
Проблема разрешимости исчисления выказываний заключена в доказательстве существования алгоритма, который позволил бы для любой формулы исчисления высказываний определить ее доказуемость. Любая формула исчисления высказываний может быть представлена формулой алгебры высказываний.

Эффективность процедуры разрешения показана таблицами истинности для различных наборов значений пропозициональных переменных.
Проблема непротиворечивости исчисления высказываний заключена в доказательстве невыводимости формулы и ее отрицания. Исчисление высказываний непротиворечиво, т. к. каждая формула, доказуемая в исчислении высказываний, является тождественно истинной формулой в ал-гебре высказываний и легко проверяется на таблицах истинности. Тогда отрицание формулы не является тождественно истинной формулой, что проверяется на таблицах истинности и при доказательстве в исчислении высказываний ведет к противоречию.

Решение типовых задач по математике и физике