Представление знаний в интеллектуальных системах (часть 2)

представления знаний.

Кафедра «КРЭМС»

пособие / Е. В. Боровская, Н. А. Да- выдова. — 3-е изд. (эл.). — Электрон. текстовые дан. (1 файл pdf : 130 с.). — М. : Лаборатория знаний, 2016. – Режим доступа: http://files.pilotlz.ru/pdf/cE421-8-ch.pdf – Загл. с экрана.
2. Информационные технологии : учебник / Ю. Ю. Громов, И. В. Дидрих, О. Г. Иванова, М. А. Ивановский, В. Г. Однолько. [Электронный ресурс]: Учебные пособия – Тамбов : Изд-во ФГБОУ ВПО «ТГТУ», 2015. – 260 с. – Режим доступа: http://www.tstu.ru/book/elib/pdf/2015/gromo – Загл. с экрана.
2 Дополнительная литература
1. Гаскаров, Д.В. Интеллектуальные информационные системы: учебник для вузов / Д.В. Гаскаров. М.: Высш. шк., 2003. – 431 с. ил.
2. Коробова, Б.Л. Принятие решений в системах, основанных на знаниях: учеб. пособие / Б.Л. Коробова, Г.В. Артёмов. Тамбов: ТГТУ, 2005. – 80 с.
3. Коробова, И.Л. Методы представления знаний: метод. указания / И.Л. Коробова. Тамбов: ТГТУ, 2003. – 24 с.
3 Периодическая литература
1. РАДИОТЕХНИКА: науч.-технический журн. / Изд-во «Радиотехника». – Издается с 1937 г. – 12 раз в год.
2. ЭЛЕКТРОНИКА: науч.-технический журн. / Изд-во «Техносфера». – Издается с 1996 г. – 8 раз в год.
3. МИКРОЭЛЕКТРОНИКА: науч.-технический журн. / Изд-во «Наука». – Издается с 1972 г. – 6 раз в год.
4. ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ И ПРИНЯТИЕ РЕШЕНИЙ: науч.-технический журн. / Изд-во «Институт системного анализа РАН». – Издается с 2008 г. – 4 раза в год.
4 Интернет - ресурсы: выделенные ресурсы представлены ниже.
1. Единое окно доступа к образовательным ресурсам window.edu.ru
2. Научная электронная библиотека www.elibrary.ru

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

базе знаний для представления знаний используется семантическая сеть (рис.2а) и продукция (рис.2б). Поиск А в базе знаний организуется различными способами. Можно, например, сначала искать вершину а. Если в базе знаний такой вершины нет, то поиск заканчивается неудачей. Если вершина а найдена, то ищутся все выходящие из нее дуги, помеченные отношением R3, так как в образце справа от этой дуги стоит вершина x, на месте которой в базе знаний может находиться любая вершина. Если из а не выходит ни одной дуги, помеченной отношением R3, то поиск заканчивается неудачей. Но если такие дуги есть, то происходит переход во все вершины, с которыми вершину а связывает отношение R3, т.е. возникает параллельный процесс поиска. В примере произойдет переход от вершины а к вершинам b и f, из которых начинается поиск выходящих из них дуг, помеченные отношением R1, ведущих в любую вершину, так как в образце далее стоит вершина, которой соответствует свободная переменная y. Далее процесс продолжается аналогичным образом. В примере поиск оказывается успешным. После нахождения А в семантической сети
происходит замена, которая определяется правой частью образца. В результате возникает трансформированная сеть (рис. 2в).

воспринимаемым посредством фигуры, записи, языка или формализма. Теория знаний изучает связи между субъектом (изучающим) и объектом. Знание (в объективном смысле) - то, что известно (то, что знаем после изучения).
Представление знаний- формализация истинных убеждений посредством фигур, записей или языков. Нас особенно интересуют формализации, воспринимаемые (распознаваемые) ЭВМ. Возникает вопрос о представлении знаний в памяти ЭВМ, т.е. о создании языков и формализмов представления знаний. Они преобразуют наглядное представление (созданное посредством речи, изображением, естественным языком, вроде английского или немецкого, формальным языком, вроде алгебры или логики, рассуждениями и т.д.) в пригодное для ввода и обработки в ЭВМ. Результат формализации должен быть множеством инструкций, составляющих часть языка программирования.

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

В силу всех этих причин математическая логика лежит в основе различных представлений в ИИ. Данный раздел посвящен представлению простых фактов с помощью логики предикатов. Логическое представление служит также отправной точкой для других представлений (таких как "сетевые" и "объективные"), используемых в ИИ.

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

-Константы. Они служат именами индивидуумов (в отличие от имен совокупностей): объектов, людей или событий. Константы представляются символами вроде Жак_2 (добавление 2 к слову Жак указывает на вполне
определенного человека среди людей с таким именем), Книга_22, Посылка_8.
- Переменные. Обозначают имена совокупностей, таких как человек, книга, посылка, событие. Символ Книга_22 представляет вполне определенный экземпляр, а символ книга указывает либо множество "всех книг", либо "понятие книги". Символами x,y,z представлены имена совокупностей (определенных множеств или понятий).

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

Представление должно исключать всякую двусмысленность языка. Поэтому имена индивидуумов содержат цифры, приписываемые к именам совокупностей. Жак_1 и Жак_2 представляют двух людей с одинаковыми именами. Эти представления суть конкретизации имени совокупности "Жак". Предикат - это предикатное имя вместе с подходящим числом термов. Предикат называют так же предикатной формой.

фразам их перевод на язык логического формализма.
По русски: Жак посылает книгу Мари,
Логически: Посылка (Жак_2, Мари_4, Книга_22).