Формальные логические модели. Их примеры
В основе модели такого типа лежит формальн.сист., задаваемая 4-кой вида:
M=<T, P, A, B>
где Т - мн-во базовых элементов какой-либо природы (слова, буквы, конструктор, детали и т.д.),требующих наличие процедуры, позволяющей определить принадлежность элемента к этому мн-ву.
Р – мн-во синтаксич.правил,с пом-ью кот. из мн-ва базовых эл-ов строятся т.н. синтакс-и правильн. совок-ти (из слов предлож-ия, из деталей машина).
А – аксиомы,подмножества синтаксич. правильных конструкций для кот. существ. процедура позв-яя опр-ить принадл. синтаксич. правильн. совок-ти или подмножеству аксиом.
В – мн-во правил вывода, примен-ся к аксиомам для получ. нов. синтакс-ки правильн. совок-ей, к кот. тоже можно применить правило вывода.
Логическая (предикатная) модель:
– представл. знаний основано на алгебре высказываний и предикатов, на сист. аксиом этой алгебры и её правилах вывода.
В логич. мод. знаний
•Слова,опис-щие сущн-ти предм.обл.-термы(конст-ты,перем-ые, ф-ции)
•Слова,опис-щие отнош-ия сущн-тей предикаты.
Предикат – логическая N-арная пропорцион-ая ф-ция, определенная для предм.обл-ти и приним-ая знач. истинности либо ложности.
Пропозиционной – наз-ся ф-ция,кот. ставит в соотв-ие объектам из обл-ти опр-ия одно из истинностных знач.(«истина» «ложь»).
Логич. мод.
Удобны для предст-ия логич.возм-тей между фактами
Формализованы
Строги теоретически
Для их исп-ия имеется удобн. и адекватн. Инструментарий (яз. логич. программир-ия).
Достоинства Логич. Мод.
1) В кач-ве «фундамента» исп-ся классич. аппарат мат. логики
2) Существуют достаточно эффективные процедуры вывода, реализованные на языке логич-ого программир-ия Пролог
3) В базе знаний можно хранить лишь мн-во аксиом,а все остальные знания получать из них.