38. Семантические сети. Виды отн. Пример:

Семантика-это наука, устанавл отношение между символами и объектами,кот они обозначают,т.е. наука,определяющая смысл знаков.Термин семантическая значит «смысловая»,а семант сеть предстваляет собой ориентированыый граф,вершины кот. есть понятия, а дуги – отношения между ними.В кач-ве понятий обычно выступают абстракт или конкр объекты, а отношения представляют собой связи типа: АКО-связи(A-Kind-Of=это),«имеет частью»(has part),«принадлежит». В основе конструкция, назыв семант сетью. Сеть модели формально можно задать в виде: H=<I, C1, C2….Cn, G> I – мн-во информац единиц C1….Cn – сно-во связей м\у единицами G – задает отношения м\у информ единицами и связями. Семант модели по типам связей: 1. классификац сети 2 функцион сети 3 сценарии связанных с типами отн между понятиями. По типам отн: бинарные, в кот отн связывают два объекта, и N-арные, в кот есть спец отн, связывающие более двух понятий. По кол-ву типов отн: однородные (с единств типом отн) и неоднородные (с разл типами отн) семант сети. «+» Данная модель лучше других соответсвует соврем представлениям об орг-ции долговременной памяти чел. «-» сложность орг-ции процедуры поиска вывода на семент сети. В семантических сетях часто используются также следующие отношения:функциональные связи (определяемые обычно глаголами «производит», «влияет»…); количественные (больше меньше, равно…); пространственные (далеко от, близко от, за, под, над…); временные (раньше, позже, в течение…); атрибутивные (иметь свойство, иметь значение); логические (И, ИЛИ, НЕ); лингвистические… Пример сем.сети:

40.Формал. Логич. Модели. Их примеры

В основе моделей такого типа лежит формальная система, задаваемая четверкой вида: M = <T, P, A, B>. Всякая форм. Теория, опред аксиоматическую сис-му характ-ся: наличием алфавита,мн-вом синтакс правил,мн-вом аксиом,лежащих в основе теиории, мн-вом правил вывода. Примером аксиоматич сис-м являя исчесление высказываний и предикатов. Логика(исчисл-е) высказываний – раздел мат логики,лежащий в основе всех ее разделов. Основными объектами явл высказывания-предл-я, о каждом из кот можно сказать истинно и ложно оно (истина обознач.симв. 1, ложь-0) Логика предикатов нач-ся с анализа строения высказываний, кот выражают тот факт,что объекты обладают некот св-вами или наход-ся между собой в некот отн-ях(понятие он-ние и св-во являя частным случаем:сущ предикат-свойство, предикат отн-ние). Форм логич модель основана на предикатах 1-го порядка,когда предметн обл или задача описыв-ся в виде аксиом. «+» аксимат.сис-мы хорошо исследованы а «-« их закрытостьи негибкость: модификация и расширение всегда связаны с перестройкой всей сис-мы. Форм.лог модель предъявляет выс огрыничения и требов к предм обл,поэтому применима в осн в исследоват сис-мах.