serj-aleks08

Метаизация. Прецедент с метамоделью

Прецедент с метамоделью в бизнес-информатике, поскольку дефиниции самого термина «модель» зависят от контекста, даже в рамках той же бизнес-информатики, например, информационная модель, организационная модель, концептуальная модель ... в той же бизнес-информатике термин «модель» используется не только для описания систем, но и для обозначения всей установленной системы, включая её семантику и представления отдельных её элементов и ситуаций ...  Принципиальным здесь является - включать в состав понятия «модели» ОТНОШЕНИЕ между реальной системой и её представлением или ограничиться последним ... «Теория моделей» в математической логике не вносит определенности в этот аспект понятия ... Можно предложить для МЕТАСЕМАНТИКИ ограничиться конструируемым «замещением», а проблему «отношений» перенести в сферу ответственности «семантики». Тогда достигается согласованность и оправдание МЕТА ... Страрингер ввела термин «метаизация» или принцип метаизации для создания моделей на разных уровнях абстракции. Принцип метаизации определяет, какой аспект (процедура или язык) абстрагируется. Термин метамодель следовательно, не присваивает абсолютное свойство модели, но характеризует отношение модели к другим моделям ... особенность метамодели состоит в том, что ее оригинал является частью создания модели. Однако этот оригинал сам по себе не является моделью - поэтому утверждение, что метамодель - это «модель о моделях», применимо только косвенно ... метамодель на основе языка ... метамодель на основе процессов ... самореференциальные модели ... Метамоделирование в методологии — создание метамоделей является центральным компонентом разработки методов в области концептуального моделирования.

serj-aleks08

СЕМАНТИКА АЛГОРИТМИЧЕСКИХ ЯЗЫКОВ

Семантика языка — это соответствие, сопоставляющее выражениям их денотат ... Такое определение семантики позволяет нам дать ответ на вопрос, когда семантика может считаться заданной, но полностью обходит вопрос, как ее задавать ... Конструктивное уточнение этого определения невозможно без уяснения цели, ради которой необходимо задать семантику языка ... Поскольку алгоритмический язык задает программы, которые должны исполняться, первым естественным ответом на вопрос, как задать его семантику, является: «Определить действие каждой конструкции» ... такое определение семантики необходимо нам, если мы ставим цель построить транслятор с данного языка. Это — операционная семантика, семантика типа «как работает программа». Такую семантику требует и инженер, желающий непосредственно «воплотить» наш язык в аппаратуре. Поэтому зачастую ответ на вопрос «как» и считается единственной задачей семантики ... Однако если смотреть на программу не как на объект трансляции, а как на устройство, выполняющее некоторую функцию, то необязательно знать, как она работает. Важно, что она сделает, каковы будут ее результаты ... Если же программы у нас еще нет, то нам нужно знать, чем и в каких случаях пользоваться для программирования, для построения программы, решающей нашу задачу ... семантика алгоритмического языка должна уметь отвечать на некоторые из вопросов: как работают программы, что они делают, чем пользоваться, чтобы их создать или изменить ... Идеальное описание алгоритмического языка должно было бы содержать: интерпретацию действия программы для системных программистов; интерпретацию содержательного смысла программы для пользователей, желающих прочитать и использовать чужую программу; правила построения программы и ее модификации (конструктивное описание). Все эти (как минимум, три: интерпретационное, функциональное и конструктивное) описания должны быть согласованы. Пока что ни один язык таким образом не описан ... Когда мы исследуем результаты действия программы, то на программу естественно смотреть как на функционал в некотором пространстве. Этот функционал может трактоваться как рекурсивная функция, если мы на первый план выдвигаем принципиальную ВЫЧИСЛИМОСТЬ, а не конкретные вычисления ... Семантику в терминах непрерывных решеток Скотта или другую форму денотационной семантики можно задавать, если мы исследуем структуру множества программ ... Если нас интересуют свойства данных, действие программы можно описывать как связь между входным и выходным условиями — это подход Флойда—Хоара ... Если нас интересуют чисто алгебраические соотношения между получающимися программами, то естественно описывать лишь взаимосвязи программ в виде некоторой системы тождеств или условных тождеств, и возникает современная теория абстрактных типов данных (АТД) и их инициальных моделей ... Если же нас интересуют алгебраические свойства одного множества программ в сопоставлении с другим (например, создаваемого пакета для обработки нового типа данных с уже существующими), то целесообразно использовать в качестве аппарата теорию категорий ... При описании действия программы мы сводим ее к композиции элементарных операций. Эти операции сами должны быть описаны, и здесь мы стоим перед выбором одной из четырех альтернатив: считать их заданными на некотором формальном алгоритмическом языке, который уже считается известным; считать, что на формальном логическом языке описаны их свойства; считать, что некоторым точным образом описаны функции, вычисляемые операциями; описать действие операций на некотором диалекте естественного языка ... Этот выбор может быть реализован разными способами ... проекционный подход к семантике (она определяется как соответствие между новым языком и известным), редукционный подход (частный случай проекционного), трансформационный, интерпретационный (когда язык заранее и навсегда фиксирован, как, например, VDL или язык Тузова). Все эти четыре направления в семантике: интерпретационные семантики ... примером описания семантик через композиции функционалов, интерпретирующих элементарные операции, служит VDM ... В теории схем программ и многих алгебраических семантиках программа определяется через историю применения элементарных операций, а смысл самих элементарных функций может варьироваться ... Когда описание операций логическое, мы представляем программу как преобразователь предикатов по Дейкстре ... Для конструктивных семантик нужно иметь либо хорошую систему преобразований программ (правила трансформации, алгебру программ либо категорные конструкции), либо систему индуктивного вывода программы ПО неполной информации, либо знания о том, как разбивать программу на части и собирать программу из кусков (композиционный подход, если описание правил композиции и декомпозиции носит алгоритмический характер, и логический, если нет ... важно для понимания то, что чему соответствует на практике и какие средства описания согласуются с тем или иным способом задания семантики (примеры и прагматика) ... Зачем нужна формальная семантика и нужна ли она? ... с точки зрения понимаемое™ человеком, и даже как спецификация для программирования, содержательное определение обычно не хуже формального. Неясно, что добавляет к нашему пониманию практического языка его длинное денотационное описание. Но уже создание транслятора или интерпретатора для алгоритмического языка неизбежно является формализацией его семантики ... но, формализуя, необходимо понимать, чего мы стремимся достичь этой формализацией ... Основным назначением теоретической формальной семантики является анализ концепций алгоритмического языка и проверка логичности и согласованности его определения ... список целей, которые можно ставить при формализации семантики: спецификация требований, анализ конструкций, методы анализа программ, методы трансформации и оптимизации программ, методы конструирования и трансформации программ при изменении целей, верификация функциональности и удобства новых методов, полное описание языка, конструирование теории ...

Collapse )
serj-aleks08

Мета-онтология

Термин «мета-онтология» впервые использован Питером Ван Инвагена в анализе Куайном метафизики Карнапа META-ONTOLOGY. Различные теории расходятся во мнениях относительно того, какова цель онтологии и находится ли данная проблема или теория в рамках онтологии. Согласно подходу Куайна, цель онтологии - определить, что существует, а что нет. Неоаристотелевский подход утверждает, что цель онтологии состоит в том, чтобы определить, какие сущности являются фундаментальными и как нефундаментальные сущности зависят от них. Тезис Рудольфа Карнапа - истинность утверждений о существовании зависит от структуры, в которой эти утверждения сформулированы. Томас Хофвебер предполагает, что мета-онтология представляет собой отдельную область исследования помимо онтологии как ее метатеория *. Но онтологию можно также истолковать в более широком смысле как содержащую ее метатеорию. Цель мета-онтологии - прояснить, что такое онтология и как интерпретировать онтологические утверждения.

МЕТАФИЗИКА, МЕТАМЕТАФИЗИКА, МЕТАФИЛОСОФИЯ, МЕТАГНОСЕОЛОГИЯ, МЕТАЭПИСТЕМОЛОГИЯ, МЕТАЛОГИКА, МЕТАМАТЕМАТИКА, МЕТААНАЛИЗ, МЕТАТЕРЕТИЧЕСКИЕ МЕТОДЫ, МЕТАТЕОРЕТИЧЕСКИЕ ОПЕРАЦИИ, МЕТАЯЗЫК *

П. С. Суть в обобщении и обосновании опубликованных (вторичных) результатов исследований, посвящённых определенной теме (проблеме).

serj-aleks08

Метафункция и ИИТ

Термин « метафункция» происходит из системной функциональной лингвистики ... возникновение грамматики, так и конкретные формы, которые она принимает, следует объяснять «в терминах функций ...» ... Халлидей утверждает, что концепция метафункции - это один из небольшого набора принципов, необходимых для объяснения того, как работает язык; это понятие функции языка необходимо для объяснения организации семантической системы языка. Функция считается «фундаментальным свойством самого языка» ... По словам Рукайи Хасана , метафункции ... «не иерархизированы; они имеют равный статус, и каждая проявляется в каждом акте использования языка: на самом деле, важная задача грамматики состоит в том, чтобы описать, как три метафункции сплетаются вместе в единое целое ... метафункции действуют одновременно, и любое высказывание представляет собой гармонию выбора между всеми тремя функциями (в противовес представлениям Карла Бюлера: функции языка иерархически упорядочены, причем референциальная функция является наиболее важной из всех и функции выполняются по очереди) ... три функции:  идеационная, межличностная и текстовая. Идеационная функция подразделяется на эмпирическую и логическую ... Эмпирическая функция относится к грамматическому выбору, который позволяет говорящим определять значения мира вокруг нас и внутри нас ...  Системы, которые подпадают под логическую функцию, - это таксис и логико-семантические отношения ... Грамматические системы, относящиеся к межличностной функции, включают настроение, модальность и полярность ... Термин »текстовая функция« охватывает все грамматические системы, отвечающие за управление потоком дискурса. Эти системы «создают связный текст - текст, который согласуется внутри себя и с контекстом ситуации» ...

Collapse )
serj-aleks08

Метаконтент

"Метаконтент" приобретает всё большую актуальность в интернете с ростом объёма хранимой информации и развитием "надтекстовых" сервисов: поисковых машин и каталогов ... мы имеем дело с контентом о контенте ... к метаконтенту относятся средства, способы, языки и понятийные системы обработки контента.

П. С. Некоторые авторы при определении семантики дипломатично уходят от использования терминов «значение» и «смысл», используя «содержание». Прагматика в том, чтобы отказаться от «бессодержательных» терминологических дискуссий вокруг противопоставления «значений» и «смысла». Не случайно появилась «идеографическая» методика, которую обозначают как КОНТЕНТ-АНАЛИЗ. Фактически, это терминологическое замещение СЕМАНТИЧЕСКОГО АНАЛИЗА.

serj-aleks08

Метаструктура

Редко используемый термин. Фактически, не концептуализирован. Первыми стали использовать геологи, обозначая «вторичную структуру». В свою очередь, термин «вторичная структура» от химиков. В геологии «вторичные структуры», которые возникли на базе более ранних. В принципе, та же семантика у термина «вторичная структура молекулярной цепи». Термин «структура» используется в разных контекстах и концептуализирован с избытком, но тем не менее, с однозначной и очевидной дефиницией ... пока «руку не приложили» математики, пытаясь установить стандарты внутри своего сообщества *. Насколько такая семантизация конструктивна? Или хотя бы оптимальна, не говоря уже о «естественности». Идея использовать термин «метаструктура» как «семантическое пространство». Рассмотреть понятие «бинарное отношение», без использования понятия «множества», попробовать избавиться от абсурда в интерпретации «минимальной пары» и опять же без «множеств». Тогда в отношении «символических метаструктур», не касаясь топологических аспектов, «бинарное отношение» как «минимальное», «фундаментальное», «универсальное» становится базовым для конструирования СПИСКОВ (последовательностей, цепей, массивов), ДЕРЕВЬЕВ (сложных списков, в которых элементы могут быть списками как в ЛИСП) и СЕТЕЙ как в РЕФАЛ. Безусловно, что СЕТИ можно выразить в ДЕРЕВЬЯХ, но не оптимально, с повторением элементов, как в разреженных регулярных структурах (в тех же решетках). Насколько контекст теории графов оказывается комфортабельнее? Сравнить семантику «программных схем» с двудольными графами, мультиграфами и гиперграфами. Безусловно, с позиций конструктивизма.

serj-aleks08

Метакогнитивные процессы

Понятие метапознания ввел Джон Флейвелл в 1976 году как «знания о знаниях» и способах их контроля. Дж. Флейвелл выделил четыре компонента метапознания: метакогнитивные знания, метакогнитивный опыт, цели и стратегии.

А. Браун определила метапознание как знание о своем собственном знании, выделив две категории: рефлексию над когнитивными действиями и саморегуляцию при обучении и решении задач. Метапознавательные процессы: планирование, контроль, анализ ошибок.

Р. Клюве выделяет в структуре метапознания два процесса: контроль (идентификация проблемы и прогноз результатов) и регулирование (распределение ресурсов и выделение операций).

Д. Ригли, П. Шетц, Р. Гланц и С. Вайнштейн выделяют стратегии рефлексии: планирование, выбор, мониторинг.

С. Тобиас и Х. Т. Эверсон предложили иерархическую модель метапознавательных способностей: мониторинг знаний, оценка обучения, выбор стратегии и планирование. Причём мониторинг знаний они определяют как способность человека знать, что он знает и чего не знает, мониторинг знаний является предпосылкой для других метакогнитивных умений.

Collapse )
serj-aleks08

МЕТАТЕОРИЯ

Теория, анализирующая методы и свойства предметной или объектной теории ... Термин «метатеория» ... употребляется только применительно к данной, конкретной теории: логики — металогика; математики — метаматематика, теория компьютеров; метафизика (мета-онтология, мета-эпистемология); метахимия; метабиология и т. д. ... Задача метатеории — установить границы области применения исследуемой в ней теории, ответить (если это возможно на данном этапе развития науки) на вопрос о ее непротиворечивости и полноте, изучить (или установить) способы введения ее новых понятий и доказательства (вычислении) ее утверждений. Понятие предметной теории становится, таким образом, экспликатом (интерпретацией) понятия научной теории ... Необходимость создания метатеории возникла прежде всего в применении к математике ... была обусловлена потребностью выяснения смысла понятий доказательство (вычисление), аксиома, теорема, исследования структуры математических теорий (синтаксис) и вопрос об их ... категорийно-логических интерпретациях (семантика) ... метаматематика допускает только финитные методы, в которых используются лишь конечные конструкции и выводы: наглядно представленные предметы и эффективно осуществляемые процессы ... Не допускается абстракция актуальной бесконечности, и нужно, чтобы доказательства существования любых объектов носили конструктивный характер, то есть должен быть указан, хотя бы неявно, метод построения рассматриваемого объекта ... предметы должны быть «налицо» — то есть состоять из экспонированных элементов, которые можно различить и отождествить ... теория вычислений — протокол о правилах ... 

Collapse )
serj-aleks08

Металексика

В комментариях к посту «семантика языков программирования» deep-econom намекнул, что пора бы собрать конструктивные определения термина СЕМАНТИКА. Прежде чем к этому приступить имеет смысл на время отвлечься от процесса дескрипции концепции СЕМАНТИКИ, посмотрев на него с других позиций. На текущий момент в один файл собрано более двух с половиной сотен тиддлеров, непосредственно связанных с термином. Зафиксирую все существующие на текущий момент здесь посты, чтобы вернуться к термину МЕТА, после чего будет предпринята попытка обобщения.

Collapse )
serj-aleks08

Семантика языков программирования

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

Collapse )