Моделирование знаний в курсе информатики

Моделирование знаний в курсе информатики. Изучаемые вопросы Что такое база знаний. Различные типы моделей знаний. Логическая модель знаний и Пролог. Среди разнообразных систем искусственного интеллекта наиболее распространенными являются экспертные системы. В основе экспертной системы лежит база знаний - модель знаний в определенной предметной области, представленная в формализованном виде и сохраненная в памяти компьютера.

Существуют различные типы моделей знаний. Наиболее известные из них - продукционная модель, семантическая сеть, фреймы, логическая модель. Продукционная модель знаний построена на правилах они называются продукциями, представляемыми в форме ЕСЛИ выполняется некоторое условие ТО выполняется некоторое действие На основе поступающих данных экспертная система, анализируя имеющиеся правила, принимает решение о необходимых действиях.

Например ЕСЛИ температура в помещении ?15 ТО включить отопление Продукционные модели часто используются в промышленных экспертных системах. Семантические сети. Семантической сетью называется система понятий и отношений между ними, представленная в форме ориентированного графа. Это одна из наиболее гибких и универсальных форм моделей знаний. На рис. 3 приведен пример, представляющий в форме графа сведения, заключенные в предложении Петух Петя является птицей, и он умеет кукарекать. Рис. 3. Пример семантической сети Фреймы.

Фрейм - это некоторый абстрактный образ, относящийся к определенному типу объектов, понятий. Фрейм объединяет в себе атрибуты характеристики, свойственные данному объекту. Фрейм имеет имя и состоит из частей, которые называются слотами. Изображается фрейм в виде цепочки Имя фрейма слот 1 слот 2 слот N Вот пример фрейма под названием Битва Битва кто? с кем? когда? где? результат Такое представление называется прототипом фрейма. Если же в слоты подставить конкретные значения, то получится экземпляр фрейма.

Например Битва Царевич Кощей Бессмертный утром в чистом поле победил Слоты сами могут быть фреймами. Таким образом, возможны иерархии фреймов, сети фреймов. К фреймам применимо понятие наследования свойств. Для реализации моделей знаний с использованием фреймов хорошо подходит технология объектно-ориенированного программирования. Логическая модель знаний представляет собой совокупность утверждений. О каждом утверждении можно сказать истинно оно или ложно. Утверждения делятся на факты и правила.

Совокупность фактов представляет собой базу данных, лежащую в основе базы знаний. Правила имеют форму ЕСЛИ А, ТО Б здесь есть сходство с продукционной моделью. Механизм вывода основан на аппарате математической логики он называется исчислением предикатов первого порядка. Прикладные возможности этой модели весьма ограничены. Логическая модель знаний лежит в основе языка ПРОЛОГ. ПРОЛОГ является языком логического программирования.

Как известно, в программировании для ЭВМ существует несколько различных направлений парадигм процедурное программирование, функциональное программирование, логическое программирование, объектно-ориентированное программирование. В языке Пролог реализована логическая парадигма. Однако в рамках базового курса информатики использование Пролога очень ограничено и о программировании, в полном смысле этого слова, здесь речи не идет. Пролог рассматривается лишь как средство построения несложных баз знаний логического типа. При таком подходе систему Пролог можно рассматривать как своеобразную систему управления базами знаний по аналогии с СУБД . Она позволяет создавать базу знаний и обращаться к ней с запросами. Реализации Пролога существуют для большинства компьютеров, доступных школам.

Поэтому представляется возможным предлагать Пролог в качестве средства для практической работы по теме Искусственный интеллект и моделирование знаний.