39. Теоретико-множественное представление систем.

                                                  

               

Теоретико-множественные представления, предложенные Т. Кантором, базируются на понятиях: множество (содержательно экви­валентное понятиям «совокупность», «собрание», «ансамбль», «коллекция» и т. п.), элементы множества и отношения на мно­жествах.

Сложную систему можно отобразить в виде совокупности разнородных множеств и отношений между ними. Множества могут задаваться двумя способами: перечислением элементов {а1,а2…,аN) и названием харак­теристического свойства (именем, отражаю­щим это свойство) — например, множество А. В основе большинства теоретико-множе­ственных преобразований лежит переход от одного способа задания множества к дру­гому.

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

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

Благодаря тому, что при теоретико-мно­жественных представлениях систем и процессов в них можно вводить любые отно­шения эти представления: а) служат хоро­шим языком, с помощью которого облегча­ется взаимопонимание между представите­лями различных областей знаний; б) могут являться основой для возникновения новых научных направлений, для создания языков моделирования, языков автоматизации проектирования. Теоретико-множественные представления являются основой математической теории систем М. Месаровича [8].

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

40. Понятия тезауруса, грамматики, семантики и прагматики.

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

Прагматика — термин языкознания, обозначающий:

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

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

Раздел языкознания, изучающий условия использования говорящими языковых знаков.

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

41. Структура информационно-поисковой системы.

42. Компоненты информационно-поискового языка