
- •И.В. Романова Интеллектуальные подсистемы сапр
- •Оглавление
- •6. Представление знаний и процедуры выводов с помощью
- •Введение
- •Глава 1. Искусственный интеллект как научное направление
- •1.1. Что такое Искусственный интеллект
- •И как должна себя вести интеллектуальная система?
- •1.2. История развития ии
- •1.3. Направления исследований в области ии
- •Глава 2. Общие сведения о системах искусственного интеллекта
- •2.1. Обобщенная схема системы искусственного интеллекта
- •2.2. Этапы разработки систем искусственного интеллекта
- •Глава 3. Представление знаний
- •3.1. Данные и знания
- •3.2. Модели представления знаний
- •3.3. Продукционная модель
- •3.4. Логические модели
- •3.5. Семантические сети
- •3.6. Фреймовые модели
- •Глава 4. Вывод на знаниях
- •4.1. Машина вывода
- •4.2. Стратегии управления выводом
- •4.3. Прямой и обратный вывод
- •4.4. Методы поиска в глубину и ширину
- •4.5. Графы и/или
- •Глава 5. Нечеткие знания
- •5.1. Основы теории нечетких множеств
- •5.2. Операции с нечеткими знаниями
- •Глава 6. Представление знаний и процедуры выводов с помощью логики предикатов
- •6.1. Понятие формальной системы
- •6.2. Исчисление высказываний
- •6.3. Исчисление предикатов первого порядка
- •6.4. Доказательство методом резолюции
- •Глава 7. Прикладные интеллектуальные системы
- •7.1. Введение в экспертные системы. Определение и структура
- •7.2. Классификация систем, основанных на знаниях
- •7.3. Трудности разработки экспертных систем
- •Формирование базы знаний экспертной системы и механизма логического вывода
- •Глава 8. Способы интеллектуализации сапр
- •8.1. Архитектура интеллектуальных сапр
- •8.2. Основные концепции интеллектуальных caпp
- •Вопросы для контроля
- •Библиографический список
Глава 3. Представление знаний
Одной из ключевых проблем создания ИИ является проблема представления и использования знаний. Ее разработка осуществляется различными направлениями ИИ.
Проблемы представления и использования знаний о мире, в котором функционирует ИИ, являются основными при построении его системы управления. В чем же сущность этих проблем и какова их специфика?
В области ИИ понятие о знаниях сформировалось в ходе исследований по созданию принципов и техники работы с большими объемами данных и по построению баз данных (БД). Эффективность БД во многом зависит от того, каким именно способом организовываются, структурируются данные в памяти ЭВМ. До недавнего времени основную роль в этом играли формальные характеристики данных: принадлежность их некоторой табличной рубрике, вхождение в одну тематическую группу и т. д.
Однако эффективность БД может быть существенно повышена, если связывать хранящуюся информацию не за счет форм тех или иных документов (таблиц, списков), а за счет тех отношений, которые существуют между фактами в объекте управления или в естественной среде. И отношения эти должны быть не случайными, ситуативными, а отражать существенные связи объекта, его природу, т. е. возникла необходимость отображения в БД знаний об объекте. Такие БД стали называть интеллектуальными базами данных или базами (системами) знаний.
Итак, каждая БЗ является математической моделью некоторой области прикладного, неформализованного знания. Система понятий и отношений такой модели отображает систему понятий и отношений прикладного знания, а зависимости, существующие в модели, аппроксимируют соответствующие зависимости в нем. Разработанные модели должны быть зафиксированы в памяти ЭВМ и использоваться для решения прикладных задач. Создание БЗ предполагает решение следующих взаимосвязанных проблем. Прежде всего необходимо формализовать соответствующую область прикладного знания. Это трудная задача, поскольку решается она вручную и требует совместной работы специалистов-прикладников и математиков. Для проведения формализации требуется выбрать или построить концептуальную схему модели. Разработка методологии всех этих операций и составляет содержание первой проблемы проблемы формализации.
Вторая проблема проблема представления знаний связана с разработкой формального аппарата для описания способов их фиксации в памяти ЭВМ.
Разработка теории вычислений и других преобразований, проводимых в построенных моделях, составляет третью проблему проблему использования знаний.
И, наконец, четвертая, технологическая проблема, решением которой занимаются системные программисты, это проблема разработки средств программной поддержки моделей, т. е. создания баз знаний и систем управления ими.
Основное внимание в ИИ уделяется второй и третьей из перечисленных проблем, причем ведущая роль отводится проблеме представления. На практике ее разрабатывают совместно с вопросами построения концептуальных схем моделей знаний, и многие полагают, что именно эта проблема является основной для современного ИИ.
К настоящему времени в области разработки БЗ достигнуты значительные успехи. Полученные результаты послужили толчком к созданию полезных и интересных систем нового класса, имеющих широкое практическое применение, экспертных систем, которые могут быть использованы в качестве советчиков и консультантов в самых разных сферах человеческой деятельности.