23661

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

Лекция

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

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

Русский

2013-08-05

68 KB

6 чел.

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

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

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

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

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

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

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

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

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

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

В СОЗ:

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Вещь = руб (500)

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

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

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

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

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

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

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

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

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

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

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

Ответ: ? - нет

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 

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

36815. Моделирование командных генераторов гармонических сигналов 55.5 KB
  Цель работы: определить схемы с помощью которых можно задать воздействие и рассчитать их параметры. схема моделирования Определим параметры модели: задание сигнала 2. схема моделирования Определим параметры модели: Таким образом данная схема не реализует синусоидальный сигнал невозможно скомпенсировать косинусоидальную составляющую. схема моделирования Определим параметры модели: задание сигнала 4.
36816. Информационно – образовательная среда вуза 73.5 KB
  Содержание работы: Задание №1 Сформируйте электронный глоссарий по тематике Информационно – образовательная среда: База данных Банк данных Дистанционное обучение Индивидуальный образовательный маршрут Индивидуальная образовательная траектория Информатизация образования Информационная деятельность Информационная подготовка Информационно – коммуникационная среда Информационно – коммуникационная предметная среда Информационно – методическое обеспечение учебно – воспитательного процесса Информационнообразовательная...
36817. Изучение возможностей работы в текстовом редакторе MS Word 64 KB
  проделайте следующие операции: Создайте тестовый документ с помощью меню Файл Создать. Установите параметры и размеры страницы открыв диалоговое окно Параметры страницы в меню Файл. Чтобы отменить ваши неправильные действия воспользуйтесь командой Отменить из меню Правка. Чтобы вернуть отмененное действие воспользуйтесь командой Повторить из меню Правка.
36818. ВЫБОР МЕТОДОВ И СРЕДСТВ ИЗМЕРЕНИЙ ЛИНЕЙНЫХ РАЗМЕРОВ 327 KB
  Лабораторная работа № 1 ВЫБОР МЕТОДОВ И СРЕДСТВ ИЗМЕРЕНИЙ ЛИНЕЙНЫХ РАЗМЕРОВ Цель работы: учебная получить навыки работы с нормативными документами для выбора методов и средств измерений линейных размеров; практическая выбрать для измерения линейных размеров детали выданной руководителем в соответствии с номером подгруппы соответствующие универсальные измерительные средства и указать их метрологические характеристики.80 всех видов измерений составляют линейные измерения. Любой линейный размер может быть измерен различными...
36819. ОЗНАКОМЛЕНИЕ С СИСТЕМОЙ MATLAB. ОДНОМЕРНЫЕ РАСПРЕДЕЛЕНИЯ ТЕОРИИ ВЕРОЯТНОСТЕЙ И МАТЕМАТИЧЕСКОЙ СТАТИСТИКИ 93.5 KB
  Язык программирования Matlab является интерпретатором. Это значит, что каждая инструкция программы распознается и тут же исполняется. Этап компиляции полной программы отсутствует. Интерпретация означает, что Matlab не создает исполняемых конечных программ. Они существуют лишь в виде m-файлов (файлов с расширением m)
36820. Определение уровня качества технических средств защиты информации 146.5 KB
  Цель работы Изучение методов определения показателей качества технических средств защиты информации и практическое определение их уровня качества с использованием комплексных показателей. Основные понятия термины и определения теории качества Технические средства защиты информации ТСЗИ в большинстве случаев представляют собой радиоэлектронные устройства РЭУ предназначенные для обнаружения и подавления прослушивающих устройств шифрования и кодирования информации защиты информации в возможных каналах утечки. Поэтому знание методов...
36821. ИЗУЧЕНИЕ РАВНОУСКОРЕННОГО ДВИЖЕНИЯ НА МАШИНЕ АТВУДА 101 KB
  ОТЧЁТ ПО ЛАБОРАТОРНОЙ РАБОТЕ № 1 ИЗУЧЕНИЕ РАВНОУСКОРЕННОГО ДВИЖЕНИЯ НА МАШИНЕ АТВУДА. В первом случае используя формулу пути при равноускоренном движении h=1t2 2 получим 1=2h t2 1 где пройденный грузами путь h и время движения t измеряются непосредственно. При втором способе формулу для определения ускорения на этом участке движения h получим из рассмотрения изменения энергии системы Ek= Где v –линейная...
36822. Сведения о некоторых командах ОС UNIX. Сведения к лабораторной работе 115 KB
  ls поданная без параметров команда выводит список файлов и каталогов содержащихся в текущем каталоге. Например чтобы получить список файлов в каталоге usr sbin необходимо использовать команду ls usr sbin У команды ls есть множество ключей которые нужны главным образом для того чтобы выводить дополнительную информацию о файлах в каталоге или выводить указанный список файлов вместо указания имен файлов можно использовать шаблоны. ll выводит список всех имен файлов каталога включая скрытые А lmostll выводит список всех...
36823. Запуск Word. Выход из Word. Настройка пользовательского интерфейса. Открытие и сохранение документа 294 KB
  Выход из Word. Существует несколько способов запустить Microsoft Word для Windows 95. Если вы запускаете Word с помощью кнопки Пуск Windows 95 Word создает пустой незаполненный документ.