Cтраница 1
Интенсионал используется для спецификации не одного, а совокупности множеств, обладающих задаваемыми интенсионалом общими свойствами. Основная цель при этом состоит главным образом в представлении совокупности объектов, эволюционирующих во времени. Например, спецификация структуры файла определяет не только множество актуальных записей, но и множество всех допустимых записей, подмножеством которого является актуальное множество. Интенсионал и расширение приближенно соответствуют уровню типов и уровню знаков. Интенсионал есть обобщение совокупности расширений, он определяет общие свойства последних. [1]
Интенсионалы понятий в АС представляются в виде логических связок. Логические связки, а следовательно, и коннекторы могут иметь практически любой характер. Однако нужно помнить, что любое расширение класса коннекторов ведет к снижению эффективности алгоритмов логического вывода, а сужение - к снижению выразительных возможностей языка. АС считается полностью определенной, если заданы множества: структурных связок ( по одной для каждого понятия); логических связок; коннекторов ( по одной для каждой логической связки) и, кроме того, универсальное множество объектов различных сортов, из которых могут быть составлены конфигурации. Полная непротиворечащая конфигурация, коннекторы которой имеют истинное знание, называется моделью. [2]
Интенсионал реляционной базы данных задается реляционной схемой, состоящей из одной или нескольких схем отношений. Схема отношения задается именем отношения и именами соответствующих доменов. [3]
Для характеристики интенсионала теоретической системы полезно обратиться к категории модели. Правда, в это понятие модели включаются, так называемые реальные модели, вроде макетов. Разумеется, этот тип моделей не перекликается с понятием интенсионала. Интенсионалом теории является идеальная модель объектов, отображаемых теорией. [4]
Другим аспектом интенсионала научной теории является метод решения некоторого рода задач. Этим аспектом подчеркивается действенная, функциональная сторона теории. Смысл теории заключается не только в моделировании действительности, но и в выдвижении практических предписаний. Теория выделяет некоторый класс разрешимых проблем и указывает способы их решения. [5]
Связи между интенсионалами и схемами для ассоциации в общем случае не определяются, однако в каждом конкретном приложении они должны быть специфицированы. Наиболее подходящей формой для указания данной информации является использование правил в виде хорновских дизъюнктов. Спецификация соотношений, связывающих интенсионалы понятий ассоциации в виде хорновских дизъюнктов, позволяет применять стандартные методы логического вывода. [6]
Для уяснения категорий интенсионала и экстенсиона-ла важно отметить, что при отождествлении выражений можно до некоторой степени отвлекаться от их интенсио-налов. [7]
Что понимается под интенсионалом научной теории. Интенсионалом в этом случае является не просто наглядный образ дерева или человека. Интенсионалом уже является абстрактный объект, сконструированный по законам человеческого мышления. В отличие от экстенсионала, ин-тенсионал находится не вне теории, а имманентен ей. Интенсивная органически входит в ткань теоретического знания. [8]
Дерево определения является представлением интенсионала базы данных подобно тому, как структурная диаграмма общего вида является представлением интенсионала сетевой, схема отношения - реляционной базы данных. Вершина в дереве определения соответствует типу сущности и называется типом записи. [9]
Очевидно, что при таком представлении интенсионал включает также информацию о схеме понятия, хотя и не выделенную явным образом. [10]
Что представляет собой в этом случае интенсионал. Правда, парадигма - очень широкое и в чем-то даже расплывчатое понятие. Но оно достаточно определенно передает внутреннюю интенцию системы научного знания, ее общенаучное и даже социальное значение. [11]
Как и отношение, сущность характеризуется интенсионалом и расширением. [12]
Хр) г) графа G3 отражает интенсионал бинарной взаимосвязи заданного типа. [13]
Для сложных понятий более естественна логическая форма представления интенсионала. [14]
Здесь индекс S ( от английского слова Set) у интенсионала означает его теоретико-множественную трактовку. Данный способ чаще всего используется для формального представления интен-сионалов простых понятий. При этом под интенсионалом простого понятия Р понимают совокупность признаков, необходимых и достаточных для принятия решения о принадлежности некоторой сущности экстенсионалу данного понятия. [15]