5.5. Логическая (предикатная) модель представления знаний

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

Пример. Возьмем утверждение: «Инфляция в стране превышает прошлогодний уровень в 2 раза». Это можно записать в виде логической модели: r(InfNew, InfOld, n), где r(x,y) - отношение вида «x=ny», InfNew - текущая инфляция в стране, InfOld - инфляция в прошлом году. Тогда можно рассматривать истинные и ложные предикаты, например, r(InfNew, InfOld, 2)=1, r(InfNew, InfOld, 3)=0 и т.д. Очень полезные операции для логических выводов - операции импликации, эквиваленции и др.

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

Вопросы для повторения

1. Классификация знаний.

2. Понятие продукционной модели представления знаний.

3. Понятие семантической сети.

4. Понятие фреймовой модели представления знаний.

5. Понятие логической модели представления знаний.

Резюме по теме

Даны основные понятия существующих моделей представления знаний.

6.Моделирование предметных областей в экономике

Цели и задачи изучения темы

Целью темы является изучение понятия модели предметной области, основ функциональной методологии IDEF0, методики потоков данных и объектной модели.

6.1.Понятие модели предметной области

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

Под моделью предметной области понимается некоторая система, имитирующая структуру или функционирование исследуемой предметной области.

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

К моделям предметных областей предъявляются следующие требования:

• формализация, обеспечивающая однозначное описание структуры предметной области;

• понятность для заказчиков и разработчиков на основе применения графических средств отображения модели;

• реализуемость, подразумевающая наличие средств физической реализации модели предметной области в ИС;

• обеспечение оценки эффективности реализации модели предметной области.

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