Модели представления знаний Формальные логические модели

Основа формальных моделей – строгая математическая теория. Основа формальных моделей – строгая математическая теория. Свойство – универсальность. Свойство – универсальность. В формальных системах логический вывод строг и корректен, т.к. подчинен жёстким аксиоматическим правилам. В формальных системах логический вывод строг и корректен, т.к. подчинен жёстким аксиоматическим правилам.

Логические модели В основе лежит формальная система, задаваемая в виде: M =, где Т – множество базовых элементов; Р – множество синтаксических правил; А – множество аксиом; В – множество правил вывода

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

Множество Р есть множество синтаксических правил. С их помощью из элементов Т образуют синтаксически правильные совокупности. Множество Р есть множество синтаксических правил. С их помощью из элементов Т образуют синтаксически правильные совокупности. Декларируется существование процедуры П(Р), с помощью которой можно получить ответ на вопрос, является ли совокупность Х синтаксически правильной.

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

Множество В есть множество правил вывода. Применяя их к элементам А, можно получать новые синтаксически правильные совокупности, к которым снова можно применять правила из В. Так формируется множество выводимых в данной формальной системе совокупностей. Если имеется процедура П(В), с помощью которой можно определить для любой синтаксически правильной совокупности, является ли она выводимой, то соответствующая формальная система называется разрешимой. Правило вывода – наиболее сложная составляющая формальной системы.

Для знаний, входящих в базу знаний (БЗ), можно считать, что множество А образует все информационные единицы, введенные в БЗ извне, а с помощью правил вывода из них выводятся новые производные знания. Для знаний, входящих в базу знаний (БЗ), можно считать, что множество А образует все информационные единицы, введенные в БЗ извне, а с помощью правил вывода из них выводятся новые производные знания. Т.е., формальная система представляет собой генератор порождения новых знаний, образующих множество выводимых в данной системе знаний.

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