Формальные логические модели. Их примеры

В основе модели такого типа лежит формальн.сист., задаваемая 4-кой вида:

M=<T, P, A, B>

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

Р – мн-во синтаксич.правил,с пом-ью кот. из мн-ва базовых эл-ов строятся т.н. синтакс-и правильн. совок-ти (из слов предлож-ия, из деталей машина).

А – аксиомы,подмножества синтаксич. правильных конструкций для кот. существ. процедура позв-яя опр-ить принадл. синтаксич. правильн. совок-ти или подмножеству аксиом.

В – мн-во правил вывода, примен-ся к аксиомам для получ. нов. синтакс-ки правильн. совок-ей, к кот. тоже можно применить правило вывода.

Логическая (предикатная) модель:

– представл. знаний основано на алгебре высказываний и предикатов, на сист. аксиом этой алгебры и её правилах вывода.

В логич. мод. знаний

•Слова,опис-щие сущн-ти предм.обл.-термы(конст-ты,перем-ые, ф-ции)

•Слова,опис-щие отнош-ия сущн-тей предикаты.

Предикат – логическая N-арная пропорцион-ая ф-ция, определенная для предм.обл-ти и приним-ая знач. истинности либо ложности.

Пропозиционной – наз-ся ф-ция,кот. ставит в соотв-ие объектам из обл-ти опр-ия одно из истинностных знач.(«истина» «ложь»).

Логич. мод.

Удобны для предст-ия логич.возм-тей между фактами

Формализованы

Строги теоретически

Для их исп-ия имеется удобн. и адекватн. Инструментарий (яз. логич. программир-ия).

Достоинства Логич. Мод.

1) В кач-ве «фундамента» исп-ся классич. аппарат мат. логики

2) Существуют достаточно эффективные процедуры вывода, реализованные на языке логич-ого программир-ия Пролог

3) В базе знаний можно хранить лишь мн-во аксиом,а все остальные знания получать из них.