поддержка
проекта:
разместите на своей странице нашу кнопку!И мы
разместим на нашей странице Вашу кнопку или ссылку. Заявку прислать на
e-mail
код нашей кнопки:
Предоставление знаний
В статье "Искусственный интеллект"
говорилось, что новое поколение технических систем, названное
интеллектуальным, отличается от всех ранее созданных человеком тем, что
их деятельность основана на знаниях о предметной области, в которой
система решает те или иные задачи.
Любая предметная область (будь то кардиология, автомобилестроение или
органическая химия) характеризуется своим набором понятий и связей между
ними, своими законами, связывающими между собой объекты данной
предметной области, своими процессами и событиями. И конечно, каждая
предметная область имеет свои, специфические методы решения задач.
Знания о предметной области и способах решения в ней задач весьма
разнообразны. Возможны различные классификации этих знаний, выбор
которых зависит от конкретных целей классификации. Наиболее часто знания
подразделяются на декларативные и процедурные.
Процедурные знания описывают последовательности действий, которые могут
использоваться при решении задач. Это, например, программы для ЭВМ,
словесные записи алгоритмов, инструкция по сборке некоторого изделия.
Декларативные знания - это все знания, не являющиеся процедурными,
например, статьи в толковых словарях и энциклопедиях, формулировки
законов в физике, химии и других науках, собрание исторических фактов и
т. п. В отличие от процедурных знаний, отвечающих на вопрос: "Как
сделать XI", декларативные знания отвечают, скорее, на вопросы: "Что
есть XI" или "Какие связи имеются между X и У?", "Почему XI" и т. д.
Интеллектуальные системы - это сложные программно-аппаратные комплексы,
обязательно включающие в свой состав ЭВМ. Чтобы ввести знания о
предметной области в память ЭВМ, необходимо представить их в такой
форме, которая была бы понятна машине. Иными словами, знания надо
записать на языке, понятном ЭВМ, как понятны ей записи на языках
программирования.
Для этого существуют специальные языки представления знаний. Их можно
разделить на типы по тем формальным моделям представления знаний,
которые лежат в их основе. Таких моделей три: логическая, сетевая и
продукционная.
Логическая модель представляет собой формальную систему - некоторое
логическое исчисление, как правило, исчисление предикатов первого
порядка (см. Моделирования рассуждений).
Все знания о предметной области описываются в виде формул этого
исчисления или правил вывода.
Описание в виде формул дает возможность представить
декларативные знания, а правила вывода - процедурные знания. Рассмотрим
в качестве примера знание: "Когда температура в печи достигает 120° и
прошло менее 30 мин с момента включения печи, давление не может
превосходить критическое. Если с момента включения печи прошло более 30
мин, то необходимо открыть вентиль №2". Логическая модель представления
этого знания имеет вид:
Р(р = 120) T(t< 30) -+(D<DKp);
Р(р= 120) Га >30) =>Л№2).
В этой записи использованы следующие обозначения:
Р(р = 120) - предикат, становящийся истинным, когда температура
достигает 120°;
T(t < 30) - предикат, остающийся истинным в течение 30 мин с начала
процесса;
TU > 30) - предикат, становящийся истинным по истечении 30 мин с начала
процесса;
D < DKp - утверждение о том, что давление ниже критического;
,F(№2) - команда открыть вентиль №2.
Кроме того, в этих записях использованы типовые логические связки
конъюнкции ( V), импликации ( -*) и логического следования ( => ).
Первая строчка в записи представляет декларативные знания, а вторая -
процедурные.