S-модель системы понятий

© В.Д. Ильин, 2008, 2009, 2014

□ S-модель системы понятий (англ. S-model of Conceptual System) —

это пара <память mem[sc] модели sc системы sC понятий>,<семейство rel(mem[sc]) связей, заданных на mem[sc]> (где [sc]– помета). Здесь mem[sc] и rel(mem[sc]) соответствуют совокупности понятий моделируемой системы sC и семейству связей, заданных на этой совокупности. Результат s-моделирования. □

См. TSM – комплекс средств формализации гипермедийных описаний s-моделей.

S-модель любого объекта представляет собой модель некоторой системы понятий. В науке и технике особое внимание сосредоточено на s-моделях, где семейства связей rel(mem[sc]) представлены в форме разрешимых задач (задавая значения некоторого подмножества элементов памяти mem[sc], можно вычислять значения других элементов).

☼ Элементарным примером системы понятий с разрешимыми задачными связями между элементами памяти является  система понятий треугольник (в s-модели tr этой системы стороны a, b, c, периметр p и т.д. – элементы памяти; а связи p = a + b + c и др. – это элементы семейства связей). ☼

☼ Методология конструирования разрешающих структур на задачных графах (вершины которых соответствуют элементам памяти системы понятий, а рёбра — связям между ними) стала теоретическим основанием одного из продуктивных подходов к автоматизации программирования [1-4]. ☼

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

☼ Читаемая Вами статья представляет собой s-сообщение, записанное автором на его s-машине с помощью программы MS Office FrontPage 2003, работающей под управлением операционной системы Windows Web Server 2008 R2. Затем в режиме онлайн с помощью редактора записей блог-сервиса wordpress.com это s-сообщение было приведено к форме, соответствующей статьям, публикуемым на сайте Энциклопедия информатики ИНФОПЕДИЯ (добавлены имена рубрики, меток записи и др.), и опубликовано на этом сайте. Кроме s-машины автора в онлайн работе над этим s-сообщением участвовало немало других s-машин, подключённых к Интернету [передававших пакеты (части, на которые s-сообщение автоматически разделялось при отправке с s-машины автора; см. S-сеть), принимавших эти пакеты, собиравших из них исходное s-сообщение, записывавших его в файл на накопителе s-машины, работающей в качестве веб-сервера блог-сервиса wordpress.com и т.д.].☼

/ Тип понятий

□ Тип X понятий ≈ множество X понятий некоторой системы sC понятий, для которой определена s-модель. Может иметь подтипы, называемые специализациями типа X, и надтипы, называемые обобщениями типа X. □

// Специализация типа понятий

□ Специализация типа X понятий — это порождение подтипа X [::rule] (здесь сдвоенное двоеточие :: — символ специализации), соответствующего системе понятий с семейством связей, расширенным добавлением связи rule. Выделяет подмножество X [::rule] множества X. Специализацией называем и результат X [::rule] этого порождения (XX [::rule]). □

☼ trtr[::angle=π/2]. То есть тип tr∟ понятий (прямоугольный треугольник)специализация типа tr понятий (треугольник) путём добавления связи angle=π/2. Выделяет из множества треугольников подмножество тех, у которых величина одного из углов равна π/2 (здесь angle=π/2 используется и как имя связи)

/3/ Специализация типа понятий, заданная последовательностью добавляемых связей

X[::(rule1)::rule2] — специализация типа X[::rule1] по связи rule2. Число специализирующих связей в последовательности не ограничено. При этом имена связей, предшествующие последнему, заключены в круглые скобки, а перед открывающей скобкой каждой пары скобок — сдвоенное двоеточие.

☼ message[::(interface=h->m)::means=tauch] — специализация типа message[::interface=h->m], определяющего множество сообщений, соответствующих интерфейсу человек — s-машина, по связи means=tauch, выделяющей множество сообщений, вводимых в s-машину посредством прикосновений (☼ пальцам рук к клавишам клавиатуры или сенсорному экрану ☼). ☼

// Обобщение типа понятий

□ Обобщение типа Z — это порождение его надтипа Z[#rule] путём ослабления (здесь # — символ ослабления) связи rule из семейства связей системы понятий, соответствующей типу Z. Исключение связи считаем её предельным ослаблением. 

☼ Тип выпуклые многоугольники с числом углов не более 6 можно рассматривать как обобщение типа треугольник, полученное ослаблением связи, ограничивающей число углов. ☼

☼ modeling ≈ symbol modeling[#tools] — моделирование (modeling) можно рассматривать как обобщение типа символьное моделирование (symbol modeling) исключением связи tools (средства моделирования). ☼

Литература

1. В.Д. Ильин, Система порождения программ, М.: Наука, 1989, 264с.

2. А.В. Ильин, Конструирование разрешающих структур на задачных графах системы знаний о программируемых задачах, Информационные технологии и вычислительные системы, №3, 2007, с.30-36.

3. А.В. Ильин, В.Д. Ильин, S-моделирование задач и конструирование программ, М.: ИПИ РАН, 2012, 146 с., ISBN 978-5-91993-013-6

4. В.Д. Ильин, Система порождения программ. Версия 2013 г., М.: ИПИ РАН, 2013, 142 с., ISBN 978-5-91993-030-3

Реклама

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход / Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход / Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход / Изменить )

Google+ photo

Для комментария используется ваша учётная запись Google+. Выход / Изменить )

Connecting to %s