Формализованное описание задачи исследования

[Elbereth]

Уважаемые участники форума!
Мне нужно составить формализованное описание задачи исследования. Есть вот такой образец:

http://s53.radikal.ru/i139/1103/9f/e36f2997937c.jpg

Под этим слайдом в презентации подписано:
"Формализованное описание задачи исследования представляется следующим образом:
Найти функционально отображение предметной области в концептуальной модели на основе методологии инженерии знаний f1.
Найти отображение концептуальной модели в теоретико-множественную модель на основе методологии системного анализа f2.
Определить множество показателей качества, характеризующих систему.
Выделить подмножество из данного множества показателей существенно меньшей мощности, такое что степени влияния подмножества на систему и системы на данное подмножество эквивалентны влиянию системы на полное множество показателей.
Найти интегрированный показатель качества к, учитывающий влияние подмножества Е со звездочкой на систему."

Первый раз такое вижу. Кто-нибудь с этим сталкивался? Подскажите книжку какую-нибудь...

Что написано на этой картинке - в целом понятно. Но где бы посмотреть, так сказать, на синтаксис этого языка?

[phys2010]

Что написано на этой картинке - в целом понятно. Но где бы посмотреть, так сказать, на синтаксис этого языка?

Ваше недоумение понятно. Однако вопрос нуждается в уточнении. Что вы понимаете под синтаксисом языка и о каком языке идет речь?

[Elbereth]

Какие-нибудь правила построения таких выражений, чтобы свое по аналогии написать.

[Димитриадис]

Elbereth, а что за отрасль и что за научная специальность?

[phys2010]

Здесь использован стандартный формализм математической логики. Вы пишите, что картинка вам понятна. Значит ли это, что язык матлогики вам знаком?

[kravets]

Elbereth, а что за отрасль и что за научная специальность?

Похоже на 05.13.01 техн/физ.-мат.

[zl-day]

А вообще это обязательно? Есть требования по обязательной математической постановке задачи?

[phys2010]

Очень сомневаюсь. Больше похоже на попытку "математизацией" формы подменить содержание... В принципе, схему, подобную той, что изображена на картинке, можно привязать к любой области знаний. Весь вопрос в том, надо ли это делать...

[Elbereth]

Да, у меня специальность 05.13.01 "системный анализ", а у девушки, из чьей работы позаимствован этот слайд, - 05.13.10 "управление в социальных и экономических системах".
Делать именно так мне советует научный руководитель - предзащита через неделю.
Матлогику мы (программисты) действительно изучали. Сейчас поищу...

[phys2010]

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

Найти функционально отображение предметной области в концептуальной модели на основе методологии инженерии знаний f1.

Выделяете вашу частную предметную область (КМ) в предметной области вашей специальности (ПрО). Отображение задается отображением f1: ПрО на КМ.

Найти отображение концептуальной модели в теоретико-множественную модель на основе методологии системного анализа f2.

Совершенно бессодержательное предложение. Очевидно вам надо построить некое взаимно-однозначное отображение f2 множества КМ на множество S, которое далее называется системой. Поскольку множества КМ и S изоморфны, ничего нового это не дает...

Определить множество показателей качества, характеризующих систему.

Теперь вам надо определить множество характеристик системы S, определив отображение этого множества на числовое множество E (сопоставляя каждому элементу из S число из Е).

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

Найти интегрированный показатель качества к, учитывающий влияние подмножества Е со звездочкой на систему."

Совершенно непонятен смысл отображения f3. Какая-то псевдоматематика... Вообщем, отсекаете в E "все лишнее" и получаете подмножество E* - подмножество существенных характеристик рассматриваемой системы.

[Elbereth]

phys2010, большое спасибо! Я еще в Википедии нашла подобную вещь - http://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_%28%D0% BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA %D0%B0%29
Проблема в том, что у меня кроме алгоритмов и семантической модели (что еще можно свести к функциям и множествам) в списке задач диссертац.исследования фигурирует еще разработка информационной технологии. Ее описать множествами, конечно, можно, но список будет длинноват :-(

[Carro]

S - это видимо описание системы. Например, S=<P,R> концепты P, отношения между ними R,.. т.е. f1 - просто описывает предметную область в концептах и отношениях, а также операций над ними (Opr) . E - возможно характеристики системы , но их слишком много, имеет смысл использовать какое-то наиболее значимое их подмножество E*. f3 - описывает критерии качества системы( услвоия на характеристики E*)

[Elbereth]

Судя по презентации, S - теоретико-множественная модель, Om - метаонтология, Opr - предметная онтология. В общем, я с этого языка научилась переводить, но говорю на нем с трудом :)

[Paul Kellerman]

Подскажите книжку какую-нибудь...
Новиков Ф.А. Дискретная математика для программистов. - 3-е изд. - СПб.: Питер, 2009.
А. Н. Колмогоров, А. Г. Драгалин. Математическая логика. - 3-е изд. - М.: - КомКнига, 2006.