Категория
Информатика
Тип
реферат
Страницы
8 стр.
Дата
06.01.2009
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
18522.zip — 9 kb
  • osobennosti-realizacii-jekspertnyx-sistem-na-baze-logicheskoj-modeli-znanij_18522_1.rtf — 46.86 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

Особенности реализации экспертных систем на базе логической модели
знаний
Особенности реализации экспертных систем на базе логической модели знаний.
1. Понятие логической модели знаний.
В основе лог. модели знаний лежит понятие
формальной теории и отношения, которые существуют между единицами знаний можно описывать только с помощью синтаксических правил, допустимых в
рамках этой теории.
Формальная теория задается всегда четверкой символов S=, где
В - конечное множество базовых символов, иначе - алфавит теории S;
F - подмножество выражений теории S, называемых формулами теории. Обычно
имеется эффективная процедура, которая представляет собой совокупность правил, позволяющих из элементов множества В строить синтаксически правильные выражения.
А - выделенное множество правил, называемых аксиомами теории, т. е. множество априорно истинных формул.
R - конечное множество отношений r 1 , r 2 , ... , r n между формулами, называемыми правилами вывода. Для любого r i существует
целое положительное число j, такое, что для каждого множества, состоящего
из j формул, и для каждой формулы F эффективно решается вопрос о том, находятся ли эти j-формулы в отношении r i с формулой F. Если r i выполняется, то F называют непосредственным следствием F-формул по правилу r
i .
Следствием (выводом) формулы в теории S называется такая последовательность правил, что для любого из них представленная формула явл-ся либо аксиомой теории S, либо непосредственным следствием.
Правила вывода, которые разрабатываются проектировщиками, позволдяют
расширить множество формул, которые явл-ся аксиомами теории.
Формальная теория наз. разрешимой, если существует эффективная процедура,



Ваше мнение



CAPTCHA