Интенсионал

Cтраница 2

Здесь индекс L ( от английского слова Logic) у интенсионала означает его логическую формализацию. [16]

Определение 2.2. Под простым понятием понимается тройка, состоящая из имени, интенсионала и экстенсионала понятия. [17]

Так же как и любое другое множество, отношение может быть описано посредством интенсионала и расширения. Интенсионалы S ] и S2 ( частично) определяют интенсиональные аспекты R, а именно тот факт, что R состоит из двухэлементных кортежей, причем один элемент есть буква, а второй - двоичная цифра. R, соответствующее его пптен-сионалу. [18]

Интенсионал используется для спецификации не одного, а совокупности множеств, обладающих задаваемыми интенсионалом общими свойствами. Основная цель при этом состоит главным образом в представлении совокупности объектов, эволюционирующих во времени. Например, спецификация структуры файла определяет не только множество актуальных записей, но и множество всех допустимых записей, подмножеством которого является актуальное множество. Интенсионал и расширение приближенно соответствуют уровню типов и уровню знаков. Интенсионал есть обобщение совокупности расширений, он определяет общие свойства последних. [19]

Очевидно, что при таком способе представления схема понятия не содержится в его интенсионале, так как имена характеристических и валентных признаков в выражении (2.12) отсутствуют. [20]

Возвращаясь к терминологии, введенной в параграфе 1.3, на этом этапе определяются также интенсионалы и экстенсионалы понятий предметной области. Ин-тенсионал очерчивает понятие через взаимосвязь значимых признаков, а эк-стенсионал - через перечисление конкретных экземпляров объекта. [21]

Возвращаясь к терминологии, введенной в § 1.1, на этом этапе определяются также интенсионалы и экстенсионалы понятий предметной области. Интенсионал очерчивает понятие через взаимосвязь значимых признашв, а экстенсионал - через перечисление конкретных экземпляров объекта. [22]

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

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

Дерево определения является представлением интенсионала базы данных подобно тому, как структурная диаграмма общего вида является представлением интенсионала сетевой, схема отношения - реляционной базы данных. Вершина в дереве определения соответствует типу сущности и называется типом записи. [25]

Табличное представление типа связи.| Интенсиональным граф, представляющий типы сущности. [27]

Агрегат атрибутов, образующий тип сущности, может быть представлен графом, состоящим из вершин и соединяющих их дуг, которые могут представлять как интенсионал, так и расширение атрибутов и их агрегатов. В первом случае вершины соответствуют типам атрибутов, а дуги - агрегатам из пар атрибутов. Поэтому на одной паре атрибутов может быть построено более одного агрегата. Именование позволяет обеспечить некоторую семантическую интерпретацию агрегата. Двигаясь по дугам графа, мы получаем агрегат множества атрибутов, представляющий тип сущности. В представлении расширений вершины интерпретируются как значения атрибутов. При этом расширение может соответствовать множеству или расширенному множеству. Тот или иной путь в графе соединяет значения атрибутов, составляющих реализацию сущности. [28]

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

Связи между категориями, используемыми для описания понятий. [30]

Страницы: 1 2 3 4