Формальные логические модели
– это модели, основанные на фор-
мальных исчислениях, в качестве таких исчислений используются различ-
ные математически-логические
модели-языки, которые позволяют делать
логический вывод на основе имеющихся правил и аксиом.
В логических моделях знания представляются в
виде совокупности
правильно построенных формул какой-либо формальной системы, которая
задается четверкой (
T, P, A,
F
): где:
−
T
– множество базовых символов;
30
−
P
– множество синтаксических правил, посредством которых из базо-
вых символов строятся формулы;
−
A
– множество построенных формул, состоящих из аксиом;
−
F
– правила вывода, определяющие
множество отношений между
правильно построенными формулами.
В логическом подходе знания представляются посредством формул,
которые
строятся из предикатов, логических связок и т.п.
Преимущества данной модели:
−
краткость, БЗ может быть записана в нескольких универсальных зако-
нах;
−
вычислительная
эффективность;
−
несложность конструирования;
−
мощные правила вывода.
Недостатки данной модели:
−
представление знаний в таких моделях не наглядно;
−
не эффективно обозначить свойства и отношения однотипными логиче-
скими функциями;
−
описание знаний в виде логических формул не
позволяет проявится
преимуществам, которые имеют автоматические системы обработки
структур данных.
Серьезной проблемой в логическом подходе является отсутствие
структуры
, так как данные представляются в виде совокупности линейных
формул.
