Декларативные знания
Cтраница 3
База знаний / БЗ / предназначена - для хранения в формалЕзоьанном виде знаний системы о - предметной - области. Для представления знаний, предложен продукционно-фреймовый формализм. В КМС сосредоточены декларативные знания о функционально-производственной стр - туре - НПП и ei O взаимосвязях с внешним мирон. [31]
Формирование процедуры так же, как и композиция, используется для усиления продукций, что ускоряет развитие когнитивного навыка. Суть формирования процедуры заключается в том, чтобы поменять в продукционных условиях переменные на константы. Данный прием позволяет ввести декларативные знания непосредственно в продукцию. Рассмотрим все тот же пример со стиранием слова. Положение курсора и цели ( координаты х и у) определяется двумя переменными. Чтобы выбрать продукцию 1, испытуемый должен хранить в рабочей памяти как координаты курсора, так и координаты слова-цели. Предположим, что если слово имеет конкретное местоположение х, у ( например, 1 1), то имеется общая операция стирания. [32]
Декларативные знания содержат сведения о некоторых объектах, их признаках, свойствах, характеристиках, о вхождении объектов между собой в определенные отношения, о ситуациях, в которых участвуют объекты, о явлениях действительности и ее основных закономерностях. Другими словами, декларативные знания позволяют системе иметь ответы на вопросы что это такое. В более частной форме декларативные знания способны дать системе возможность ответить на вопросы типа: Обладает ли предмет X признаком У. Находится ли объект X в отношении Р с объектом У. [33]
Формирование процедуры так же, как и композиция, используется для усиления продукций, что ускоряет развитие когнитивного навыка. Суть формирования процедуры заключается в том, чтобы поменять в продукционных условиях переменные на константы. Данный прием позволяет ввести декларативные знания непосредственно в продукцию. Рассмотрим все тот же пример со стиранием слова. Положение курсора и цели ( координаты х и у) определяется двумя переменными. Чтобы выбрать продукцию 1, испытуемый должен хранить в рабочей памяти как координаты курсора, так и координаты слова-цели. Предположим, что если слово имеет конкретное местоположение х, у ( например, 1 1), то имеется общая операция стирания. [34]
Логическая модель представляет собой формальную систему - некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое. [35]
 |
Пример сетевого представления совокупности знаний. [36] |
Более наглядными являются языки, опирающиеся на сетевую модель представления знаний. В основе такой модели лежит идея о том, что любые знания можно представить в виде совокупности объектов ( понятий) и связей ( отношений) между ними. Рассмотрим, например, текст, содержащий некоторые декларативные знания: Слева от станка расположен приемный бункер. Расстояние до него равно двум метрам. [37]
Различные авторы по-разному классифицируют продукционные системы с точки зрения дихотомии декларативность / процедурность. По нашему мнению, даже в самом простом продукционном правиле ( т.е. правиле, не содержащем присоединенных процедур) есть элемент процедурности, так как предполагается, что правило будет использовано для выполнения некоторого действия. Именно это и отличает процедурное представление от декларативного, поскольку декларативные знания не несут никакой информации о том, как они будут использованы. [38]
Появление развитых диалоговых систем, языков общения и специальных средств редактирования и отладки недвусмысленно говорит об этом. Переход к системам, в памяти которых хранятся не только процедуральные знания, но и декларативные знания, требует нового подхода к проблеме обще-гшя. [39]
Более широкие возможности системы MYCIN в решении проблем проистекают от двух факторов: большой набор правил, которые используются для формирования гипотез и способов подтверждения их истинности, и большая база данных, в которой хранится информация о микроорганизмах, медикаментах и лабораторных тестах. Основное различие между двумя программами состоит не в отличиях между областями применения, а в способности использовать декларативные знания в своей области. [40]
Когнитивные агенты как источники знаний не участвуют в их текущей обработке: они имеют декларативные знания и метазнания, используемые в модулях знаний. Специальный класс источников знаний образует схему базы знаний, аналогичную схеме базы данных. Они реализуют механизм хранения метазнаний, описывающих модули знаний. Метазнания - это декларативные знания, описывающие процесс решения задачи и относящиеся к верхнему уровню интеллектуальной системы. Метазнания определяют, как используются модули знаний, как активируются правила, как они соотносятся с контекстом и другими модулями знаний. [41]
В информационной базе между ИЕ должна быть предусмотрена возможность установления связей различного типа. Прежде всего эти связи могут характеризовать отношения между ИЕ. Семантика отношений может носить декларативный или процедурный характер. Например, две или более ИЕ могут быть связаны отношением одновременно, две ИЕ - отношением причина - следствие или отношением аргумент - функция. Приведенные отношения характеризуют декларативные знания. Различают отношения структуризации, функциональные отношения, каузальные отношения и семантические отношения. С помощью первых задаются иерархии ИЕ, вторые несут процедурную информацию, позволяющую находить ( вычислять) одни ИЕ через другие, третьи задают причинно-следственные связи, четвертые соответствуют всем остальным отношениям. [42]
Основным недостатком данного подхода является его более низкая эффективность по сравнению с методами традиционного программирования. Различные авторы по-разному классифицируют продукционные системы. Одни относят их к декларативному представлению, другие - к процедурному или декларативно-процедурному. По нашему мнению, даже в самом простом продукционном правиле ( т.е. правиле, не содержащем присоединенных процедур) есть элемелт процедурности, так как предполагается, что правило будет использовано для выполнения некоторого действия. Именно это и отличает процедурное представление от декларативного, поскольку декларативные знания не несут никакой информации о том, как они будут использованы. [43]
Страницы: 1 2 3