23661

Основы построения систем основанных на знаниях (Соз)

Лекция

Информатика, кибернетика и программирование

Предположим нас интересует что имеет Иван: Запрос: имеет иван Вещь Ответ: Вещь = машина Если мы заполним базу еще рядом фактов имеет петр руб.500 имеет петр телевизор цена видео 4200 цена приемник 20 цена часы 70 тогда на аналогичный запрос но только относительно Петра мы получим ответ: Запрос: имеет петр Вещь Ответ: Вещь = часы Вещь = руб 500 Вещь = телевизор Заметим что имя петр мы вводим со строчной буквы так как это атом; а Вещь является переменной и записывается с заглавной буквы. Чтобы не...

Русский

2013-08-05

68 KB

7 чел.

 © SerP   С.Хабаров  - Лекция по курсу "Информационные технологии " (4 стр.)    стр. 4

  1.  Основы построения систем основанных на знаниях (Соз)

  1.  Общие сведения о СОЗ

Искусственный интеллект (ИИ) является новой информационной технологией в решении задач на ЭВМ и представляет собой программные системы, имитирующие на компьютере мышление человека.

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

Человек, понимая речь, изображение, образы и т. д., для решения возникающих задач использует знания с конкретной предметной области.

Для выполнения той же работы компьютером необходимо знания представить в некоторой стандартной форме и составить программу их обработки.

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

Однако такой подход затрудняет понимание того, каким образом используются знания и какую роль выполняют. Т. е. знания, заложенные в программу, и сама программа их обработки оказываются  жестко связанными между собой и представляют возможность получать только те выводы из имеющихся знаний, которые предусмотрены программой их обработки.

В системах, основанных на концепции ИИ и инженерии знаний, которые называются системами основанными на знаниях, такая проблема отсутствует. В этих системах функции хранения знаний и функции решения задач разделены подобно БД, где СУБД обеспечивает автономное хранение данных от программ их обработки (рис. 1.1).

В СОЗ:

  •  знания представляются в конкретной форме в БЗ, которая позволяет их легко определять, модифицировать и пополнять;
  •  функции решения задач реализуются автономным механизмом логических выводов, делаемых на знаниях, хранящихся в базе.

Рис. 1.1. Система основанная на знаниях (СОЗ)


1.2. Пример независимости знаний и процедур их обработки

Упрощенно иллюстрацию независимости двух основных компонентов систем основанных на знаниях можно показать на примере использования языка Пролог.

Пусть имеется набор фактов, внесенных в базу:

имеет (иван, машину)

имеет (петр, часы)

имеет (николай, телевизор)

Рассмотрим различные виды запросов, которые можно вводить и получать на них ответы с использованием внутреннего механизма логического вывода Пролога. Предположим, нас интересует, что имеет Иван:

Запрос: ? - имеет (иван, Вещь)

Ответ: Вещь = машина

Если мы заполним базу еще рядом фактов

имеет (петр, руб.(500))

имеет (петр, телевизор)

цена (видео, 4200)

цена (приемник, 20 )

цена (часы, 70)

тогда на аналогичный запрос, но только относительно Петра, мы получим ответ:

Запрос: ? - имеет (петр, Вещь)

Ответ: Вещь = часы

Вещь = руб (500)

Вещь = телевизор

Заметим, что имя «петр» мы вводим со строчной буквы, так как это атом; а «Вещь» является переменной и записывается с заглавной буквы.

Независимость базы от механизмов логических выводов, реализованных, в частности, в рассматриваемых примерах на Прологе, позволяет формулировать любые произвольные запросы к существующей базе.

Рассмотрим еще ряд примеров. Предположим, нас интересует, кто является владельцем телевизора (простой запрос)

Запрос: ? - имеет (Человек, телевизор)

Ответ: Человек = николай

Человек = петр

и может ли Петр купить видео (сложный запрос)

Запрос: ? - имеет (петр, руб (Наличные)),

цена (видео, Цена),

Наличные ≥ Цена

Ответ: ? - нет

Символ «,» в запросах аналогичен логической операции конъюнкции. В этих условиях последний запрос требует одновременного удовлетворения трех перечисленных через запятую условий.

Чтобы не вводить каждый раз сложные запросы, мы можем сформулировать правило, определяющее наши знания о том, что некто может купить вещь, если у него хватит денег и такая вещь у него отсутствует:

может_купить (Некто, Вещь): имеет (Некто, руб (Наличные)),

цена (Вещь, Цена),

Наличные ≥ Цена,

не (имеет (Некто, Вещь)).

Если теперь данное правило добавить в базу знаний к имеющимся там восьми фактам, то мы сможем сформулировать к базе запрос «Что может купить Петр?»:

Запрос: ? - может_купить (петр, Вещь)

Ответ: Вещь = приемник

  1.  Понятие знаний, фактов и правил

С точки зрения ИИ знания - это формализованная информация, на которую ссылаются или которую используют в процессе логического вывода.

В СОЗ знания разделяются на:

  •  факты (фактические знания);
  •  правила (знания для принятия решений).

Под фактами подразумевают знания типа «А это А»; они характерны для БД и сетевых моделей. В рассматриваемом примере фактами являлись кортежи отношений:

имеет (КТО, ЧТО)

цена (Вещь, ЦЕНА)

Под правилом подразумеваются знания вида «ЕСЛИ – ТО». В приведенном примере это правило:

может_купить (Некто, Вещь)

Знания обычно имеют классификационную иерархическую структуру вида: «живое существо животное человек мужчина Вадим»

Каждый элемент такой структуры имеет различные связи с элементами других иерархических структур, поэтому возникает необходимость в представлении всех знаний в виде некоторой модели. Этот подход характерен не только для фактов, но и для правил принятия решений.


 

А также другие работы, которые могут Вас заинтересовать

42130. Експертна система в області кооперації 43.5 KB
  Володіє гнучкістю 5 Рівень продажів для різних типів покупців та продавців можна оцінити за таблицею: ПР 1 и ПК 1 Результат продажів середній; висока взаємоповага та суперництво ПР 1 и ПК 2 Результат продажів нижче середнього; продавець з презирством ставиться до покупця и той відмовляється від покупки ПР 1 и ПК 3 Результат продажів вище середнього продавець домінує над покупцем покупець приймає пропозиції продавця ПР 1 и ПК 4 Результат продажів середній; продавець ставиться до покупця з повагою але той йому не довіряє ПР 2 и ПК 1...
42131. Типы паралеллилизма 80.5 KB
  Особенности построения вычислительных систем Конвейерные вычислительные системы Основной принцип построения заключается в том что ускорение вычислений в них достигается за счет разделения всей работы на последовательность более мелких узкоспециализированных операций. Необходимо наличие достаточно сложной операционной системы. Мультипроцессорные вычислительные системы В отличии от матричной системы в мультипроцессорной системы каждый из процессоров имеет свое устройство управления. Память может быть как общей так и не общей...
42132. Программа ввода-вывода для КР 580 ВВ 55 макет М1 71 KB
  Формирование управляющего слова Оно формируется в виде восьмиразрядного управляющего слова. Управляющее слово 92 Разряды порта С индицируются Программа 1 0800 3Е92 MVI92 запись в регистр А цифра 92 управляющее слово 0802 D383 OUT 83 Запись управляющего слова в регистр управляющего слова параллельного адаптера К580 ВВ55 0804 DB80 IN 80 Принять в А байт из порта А 0806 32000B ST0B00 Записать из А в ячейку памяти 0B00 0809 3E55 MVI55 Записать в А число 55 080B D382 OUT 82 Вывести число 55 в порт С 080D C30000 JMP0000 Возврат в монитор В...
42136. Особливості написання власних назв 55.5 KB
  З великої букви пишуться ремарки які вказуюсь на ставлення слухачів до якоїсь особи інші ремарки стоять після закінченого речення: Мова категорія Загальнонародна вона характеризує відмінності народів а не суспільних класів Сучасна українська літературна мова. З великої букви також пишеться перше слово рубрики тексту якщо кожна рубрика закінчується крапкою; перше слово прямої мови після двокрапок; початкове слово постанови резолюції протоколу; після двокрапки за словами Слухали Ухвалили в протоколі. З великої букви...
42138. Лаборатоные работы в пакете EViews 463.5 KB
  Появится окно группы в котором можно создавать и работать с рядами рис. Создание просмотр и редактирование ряда данных Ряды данных можно создавать двумя способами. Создание пустого ряда в группе. В этом случае для создания ряда необходимо в открытой группе щелчком мыши активировать в самой верхней строке obs первую пустую ячейку и ввести название ряда затем нажать Enter и OK рис.