Логическая модель предст-я зн-й

Это наиб. простая м-ль. Логика предикатов явл. разделом матем. логики и составляет матем. фундамент,. В основу описания положен язык исчисления предикатов первого порядка и ряд теорем. Основными формализмами явл. терм, устан-щий соотн-ние или соотв-вие знаковых символов описываемого об-та, и предикат для опис-я отн-ния сущности в виде реляц-ной формулы, содержащейщей терм.

Особ-ти логики предикатов по отн-нию к др. моделям предст. зн-й:

-выс. ур-нь модульности зн-й и одновременно дан.

-логика предикатов явл. универс. ср-вом для описания базовых стр-р предст-я зн-й

Недостатком предикатного способа предст. зн-й явл:

-отсут-вие польз-ких ср-в

-структур-ние исп-мых эл-тов

-недоступность противоречий

-чрезмерный ур-нь формализации предст-я зн-й

-трудность их прочтения

-усложненная интерпретация рзтов

Осн. понятия логики предикатов

В основе любой логич. модели логики предикатов лежит понятие формальной теории, задаваемой след. кортежем: S=<B,F,A,R>

B – счетное мн-во базовых символов (алфавит теории S)

F – подмн-во выражений теории S, наз-мых формулами теории. Это конеч. последоват-ти символов алфавита

A – выд-ное мн-во формул, наз-мых аксиомами теории S, т.е. мн-во априорно истинных формул

R – конеч. мн-во отн-ний {r₁,r₂,…,r_n}, наз-мых правилами вывода

Теория вкл. мн-во обозн-ний:

-переменные x,y,z

-константы A,B,C

-функц-ные символы f,g,h

-предикатные символы P(x,y)

-логические символы

-вспомогат. символы ()

Семантические сети

СС – основана на древн идее того, что память формируется через ассоциации м/у понятиями. В основе этих моделей лежит понятие сети, образованной помеч-ми вершинами и дугами. Вершины это. некот-е сущности – объекты, процессы, события, явл-я. Если в-ны не им. собст-й внутр. структуры, то СС- простые, иначе иерархические.

Ф-ция сем. сети предст. из себя с-му предст-я абстрактных взаимоотн-ний м/д об-тами. Связи м.б. предст-ны в виде сети узлов (объектов) и связей (отн-ния м/д этим об-тами). В общ. сл. функц-щую сем. сеть правил м. предст-ть в виде неориент-ного графа. Если задача приобр-ет конкрет. вид, то граф стан-ся ориен-ным.. Формально СС м. предст-ть в виде кортежа S=<X,R>

X – мн-во понятий и имен предм. области

R – мн-во отн-ний, зад-ных на Х

Хар-ные особ-ти СС при их прим-нии в ИС

-наглядность предст-я зн-й.

-все зн-я, относ-ся к одинак. сущностям и понятиям, м.б. изображены в виде отн-ний м/д разл. узлами. Это обеспеч. легкость понимания

-при исп-нии СС водможно создание противоречий

Фреймы

Фреймовые с-мы предст. собой системно-структурные осписания об-тов с пом. некот. станд. процедур. Фрейм также м.б. представлен в виде сети, сост-щей из вершин и отн-ний. Верхние. уровнини этой сети предст. сущности, всегда истинные в ситуации, к к-рой отн-ся дан. фрейм. А нижние ур-ни фрейма наз. слотами и заполн-ся контрет. данными при обр-ке фрейма. В кач-ве зач-й слота м. выст-ть имена др. фреймов, что обеспеч их связь в модели.

Особ-ти фреймовых сист:

-ФС не только опис-ет зн-я, но и м. также исп-ся разраб-ком для написания алгор-ма вывода

-ФС явл. расширением традиц-ных с-м процедурного типа

-нагляд-ть, модульность и структ-ть фр-вого предст-я

-возм-ть исп-ния умолчаний в знач-ях слотов, что повышает надежность выода

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

Недостатки:

-т.к. зн-я задаются по существу процедурами, это усложняет, по сравн-ю с др. методами, приобр-е зн-й и объед-ет возм-ти динамич. адаптации с-мы к измен-ям внеш. среды

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

-в дан. моделях практич. отсут-ют универс. процедуры вывода, поэтому эф-ным прим-ем ФС явл. совместное с другими методами предст-е зн-й.

Особ-тями фр с-м явл:

-фрейм имеет имя для идент-ции опис-мого им понятия,связь дан. фрейма с др. (спец-ть и з/п)

-описание сост-ся из ряда др описаний, к-рые наз. слотами. С пом. слотов идентиф-ся осн. структ-ные эл-ты понятий. Тек. знач-я слотов наз. шпациями. В шпации помещают некот об-ты или др понятия.

Поиск по сайту: