3. Структуризация знаний на декларативные и процедурные

По форме описания знания подразделяются на:

• декларативные;

• процедуральные.

Декларативные знания – это знания, которые записаны в памяти интеллектуальной системы так, что они непосредственно доступны для использования после обращения к соответствующему полю памяти. Обычно декларативные знания используются для представления информации о свойствах и фактах предметной области. По форме представления декларативные знания противопоставляются процедурным знаниям. Построение таких процедур связано со спецификой предметной области. Синтаксические и семантические знания здесь как бы отдалены, что придает этой форме большую универсальность и общность.

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

4. Структуризация приложения на основе иерархии «часть/целое»

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

Наиболее распространенные модели представления знаний показаны на рисунке 4.11:

Рис.4.11

Основой логических моделей является понятие формальной системы, задаваемой четверкой

M = ( T , P , A , F )

где T - множество базовых элементов; P - множество синтаксических правил, позволяющих строить из T синтаксически правильные выражения; A - множество априорно истинных выражений (аксиом); F - семантические правила вывода, позволяющие расширять множество аксиом за счет других выражений.

Использование логик различного типа порождает логические модели различных типов. Наиболее широко используются модели использующие исчисление высказываний и исчисления предикатов.

Особенно интенсивное развитие предикантые системы получили после создания мощных процедур вывода типа метода резолюций.

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

Основой такой модели является сеть , вершины которой отождествляются с некоторыми понятиями, а дуги - с отношениями между понятиями.