Факт-конструкция
Cтраница 1
Факт-конструкция может быть одной из двух видов: объединением разных концептов или парой концепта и значения, связанного с ним. [1]
Факт-конструкция второго вида содержит два концепта: концепт объекта и концепт значения, выбранного из множества значений V с помощью ассоциации, называемой функцией описания состояния. Функция описывает состояние реального объекта в том смысле, как это дано в определении его концепта. Поэтому определения концепта и функции описания состояния должны быть семантически согласованы. На практике функция состояния представляет собой операцию получения значения: измерения, классификации или расчета. На языковом уровне факт-конструкции представляются предложениями. Каждый концепт в предложении представляется в виде терма или предиката. Структура и синтаксис предложения соответствуют структуре факт-конструкции согласно правилам языка представления. [2]
Концептуальная модель любой подобласти и ПС в целом содержит концепты и факт-конструкции разной степени общности. Обычно первые две группы утверждений ( математики и общих законов физики) в явной форме в модели не представляются, а реализуются в базовых средствах информационной системы. [3]
Введем понятия субъекта 5 ( человек или информационная система), который имеет знания об объектной системе Р в виде концептов, концепт-конструкций и факт-конструкций. Субъект может эти знания запоминать, обрабатывать и передавать другим субъектам в виде сообщений. База концептов Cs субъекта S есть подмножество С, которое содержит все базовые и выводимые концепты о Р, известные S. Тогда база знаний Ks субъекта представляет собой объединение его базы концептов и базы фактов: / Cs Cs U Fs. Естественно, в базе концептов Cs могут быть концепты, не содержащиеся ни в одной факт-конструкции в базе фактов Fs. Аспекты связности и совместимости моделей важны в любой теории моделирования. Некоторая факт-конструкция в Fs может быть связана с другими факт-конструкциями через ассоциации или быть изолированной. [4]
 |
Пример, относящийся к САП-2. [5] |
Таким образом, точка ТК 18 определена косвенно с помощью других геометрических элементов. Для нахождения численных значений ее координат организующая программа осуществляет дальнейший поиск, а именно: выясняет, что ПР 20 представлена соответствующей факт-конструкцией в массиве прямых линий как прямая, пересекающая две точки ( 14 и 20), заданные своими декартовыми координатами, а окружность 11 в массиве окружностей представлена также в численном виде: координатами центра и радиусом. Указанные численные величины используются при решении системы уравнений нахождения двух точек пересечения ПР 20 с КР 11, а координаты нужной точки отыскиваются с помощью дополнительного условия БХ. [6]
Приведем также определение важного концепта данных, применяя введенную терминологию. С другой стороны, невозможно выразить факт-конструкцию без ее представления. [7]
Факт-конструкция второго вида содержит два концепта: концепт объекта и концепт значения, выбранного из множества значений V с помощью ассоциации, называемой функцией описания состояния. Функция описывает состояние реального объекта в том смысле, как это дано в определении его концепта. Поэтому определения концепта и функции описания состояния должны быть семантически согласованы. На практике функция состояния представляет собой операцию получения значения: измерения, классификации или расчета. На языковом уровне факт-конструкции представляются предложениями. Каждый концепт в предложении представляется в виде терма или предиката. Структура и синтаксис предложения соответствуют структуре факт-конструкции согласно правилам языка представления. [8]
Введем понятия субъекта 5 ( человек или информационная система), который имеет знания об объектной системе Р в виде концептов, концепт-конструкций и факт-конструкций. Субъект может эти знания запоминать, обрабатывать и передавать другим субъектам в виде сообщений. База концептов Cs субъекта S есть подмножество С, которое содержит все базовые и выводимые концепты о Р, известные S. Тогда база знаний Ks субъекта представляет собой объединение его базы концептов и базы фактов: / Cs Cs U Fs. Естественно, в базе концептов Cs могут быть концепты, не содержащиеся ни в одной факт-конструкции в базе фактов Fs. Аспекты связности и совместимости моделей важны в любой теории моделирования. Некоторая факт-конструкция в Fs может быть связана с другими факт-конструкциями через ассоциации или быть изолированной. [9]
Введем понятия субъекта 5 ( человек или информационная система), который имеет знания об объектной системе Р в виде концептов, концепт-конструкций и факт-конструкций. Субъект может эти знания запоминать, обрабатывать и передавать другим субъектам в виде сообщений. База концептов Cs субъекта S есть подмножество С, которое содержит все базовые и выводимые концепты о Р, известные S. Тогда база знаний Ks субъекта представляет собой объединение его базы концептов и базы фактов: / Cs Cs U Fs. Естественно, в базе концептов Cs могут быть концепты, не содержащиеся ни в одной факт-конструкции в базе фактов Fs. Аспекты связности и совместимости моделей важны в любой теории моделирования. Некоторая факт-конструкция в Fs может быть связана с другими факт-конструкциями через ассоциации или быть изолированной. [10]
Факт-конструкция второго вида содержит два концепта: концепт объекта и концепт значения, выбранного из множества значений V с помощью ассоциации, называемой функцией описания состояния. Функция описывает состояние реального объекта в том смысле, как это дано в определении его концепта. Поэтому определения концепта и функции описания состояния должны быть семантически согласованы. На практике функция состояния представляет собой операцию получения значения: измерения, классификации или расчета. На языковом уровне факт-конструкции представляются предложениями. Каждый концепт в предложении представляется в виде терма или предиката. Структура и синтаксис предложения соответствуют структуре факт-конструкции согласно правилам языка представления. [11]
Введем понятия субъекта 5 ( человек или информационная система), который имеет знания об объектной системе Р в виде концептов, концепт-конструкций и факт-конструкций. Субъект может эти знания запоминать, обрабатывать и передавать другим субъектам в виде сообщений. База концептов Cs субъекта S есть подмножество С, которое содержит все базовые и выводимые концепты о Р, известные S. Тогда база знаний Ks субъекта представляет собой объединение его базы концептов и базы фактов: / Cs Cs U Fs. Естественно, в базе концептов Cs могут быть концепты, не содержащиеся ни в одной факт-конструкции в базе фактов Fs. Аспекты связности и совместимости моделей важны в любой теории моделирования. Некоторая факт-конструкция в Fs может быть связана с другими факт-конструкциями через ассоциации или быть изолированной. [12]
Страницы: 1