Инструментальные средства разработки ЭС
Трудоемкость разработки ЭС зависит от используемых инструментальных средств. Инструментальные средства для разработки ЭС можно классифицировать по следующим параметрам:
1)уровень используемого языка; 2)парадигмы программирования и механизмы реализации; 3)способ представления знаний; 4)механизмы вывода и моделирования;
5)средства приобретения знаний; 6)технологии разработки приложений.
Мощность и универсальность языка программирования в значительной степени определяет трудоемкость разработки ЭС.
1.Традиционные (в том числе объектно-ориентированные) языки программирования типа С, С+ + (как правило, они используются не для создания ЭС, а для создания инструментальных средств).
2.Специальные языки программирования (LISP, PROLOG..). Недостаток слабая приспособленность к объединению с программами на языках традиционного программирования.
3.Инструментальные средства, содержащие многие, но не все компоненты ЭС. Это предназначено для разработчиков, владеющих технологиями программирования и умеющих интегрировать различные компоненты в программный комплекс.
4.Оболочки ЭС общего назначения, содержащие все программные компоненты, но не имеющие знаний о конкретных предметных средах.
5.Проблемно/предметно-ориентированные оболочки и среды - не требуют знания программирования. Они предназначены для решения задач определенного класса (задачи поиска, управления, планирования, прогнозирования и др.) и содержат альтернативные функциональные модули.
При использовании этих средств разработчик приложения полностью освобождается от программирования, его основные трудозатраты связаны с формированием БЗ.
Логическая модель представления знаний.
Логическая модель основана на системе исчисления предикатов первого порядка.
Высказывание - предположение, смысл которого можно выразить значениями: истина (T) или ложь (F). Например предложения «лебедь белый» и «лебедь чёрный» будут высказываниями. Из простых высказываний можно составить более сложные:
«лебедь белый или лебедь чёрный»,«лебедь белый и лебедь чёрный»,«если лебедь не белый, то лебедь чёрный» .
А сложные высказывания можно разделить на частичные, которые связаны между собой с помощью слов: и, или, не, если – то. Логика высказываний оперирует логическими связями между высказываниями, т. е. она решает вопросы типа: «Можно ли на основании высказывания А получить высказывание В?»; «Истинно ли В при истинности А?» и т. п. Элементарные высказывания рассматриваются как переменные логического типа, над которыми разрешены логические операции: отрицание (унарная операция); ∧ конъюнкция (логическое умножение); ∨ дизъюнкция (логическое сложение); → импликация (если – то); ↔ эквивалентность.
Операция импликации должна удовлетворять требованиям:
1.Значение результата импликации зависит от двух операндов.
2.Если первый операнд (А) — то значение результата совпадает со значением второго операнда (B).
3.Операция импликации не коммутативна.
4.Результат импликации совпадает с результатом выражения А∨В.
Исчисление высказываний позволяет формализовать лишь малую часть множества рассуждений, поскольку этот аппарат не позволяет учитывать внутреннюю структуру высказывания, которая существует в естественных языках. Предикат - некоторая связь, которая задана на наборе из констант или переменных. Основными синтаксическими единицами логики предикатов являются константы, переменные, функции, предикаты, кванторы и логические операторы. Логическая модель применяется в основном в исследовательских системах, так как предъявляет очень высокие требования к качеству и полноте знаний предметной области.