Эх Квантор существования BxR (x) Существует такой х, что R(x) [c.215]
ЗЬс Квантор существования огра- Э хЛ (х) Существует единственный [c.215]
Квантор существования 53 Кванторы частотные нечеткие 145 Класс толерантности 206, 214, 267 [c.280]
Анализ применяемых методов информационного моделирования позволил сформулировать требования, которым должен удовлетворять соответствующий аппарат моделирования, а также достоинства и недостатки этих методов. Так, в рассмотренных разработках не дается семантической интерпретации моделируемых экономических категорий, не осуществляется их однозначная идентификация. Это влечет невозможность построения удобной и эффективной классификации исследуемых объектов, а также не позволяет решить задачу поиска требуемых сведений, удовлетворяющих заданным отношениям, включая кванторы существования и всеобщности. Исследуемые подходы к построению моделей не обеспечивают возможности создания удовлетворительной базы знаний относительно различных аспектов экономических систем и не имеют удобного инструментария для работы с этой базой. [c.54]
Формулы, т. е. результат применения кванторов общности или существования к элементарным формулам. Формула соответствует запросу к реляционной базе данных, выраженному средствами реляционного исчисления. [c.72]
Использованы обозначения Р, Q — предикаты (свойства) х — индивидная переменная V — квантор общности все 3 — квантор существования существует хР(х) читается как все х имеют свойство Р ЗхР(х) читается как существует х, имеющее свойство Р tyx(P(x) >Q(x)) читается как все х, имеющие свойство Р, имеют свойство Q . [c.10]
Таким образом, используя для выражения посылок существует такая совокупность Sr и для любого / соответственно кванторы существования (Зг) и общности (V/), отношение слабой связи между элементами Sj и sk можно описать двухместным предикатом [c.212]
Квантификаторы. Особую группу слов и словосочетаний языка образуют так называемые квантификаторы. Два из них имеют четкий смысл. Один из них, называемый обычно квантором общности и обозначаемый перевернутой буквой А, задает утверждения вида Все рабочие получили зарплату , Каждый автомобиль таксопарка проверен ГАИ . Его смысл сводится к тому, что некая информация распространяется на все без исключения элементы какого-то фиксированного класса. Другой квантификатор, называемый обычно квантором существования и обозначаемый зеркально отраженной буквой Е, задает утверждения вида Среди автомобилей, ждущих погрузки, имеются автомашины ЗИЛ 130 , Эта деталь хранится по крайней мере на одном из складов . Смысл [c.53]
В предикаты т внесено в качестве переменной. Квантор существования в этом описании находится в зоне действия квантора общности. Поэтому при исключении квантора существования вводится функция Сколема / , а квантор общности, как всегда, исключается без какого-либо изменения записи. После этого наше описание принимает вид [c.228]
Квантификационные отношения делятся на логические кванторы общности и существования, нелогические кванторы ("много", "несколько") и числовые характеристики. [c.194]
Смотреть страницы где упоминается термин Квантор существования
: [c.468] [c.500] [c.456] [c.54] [c.70] [c.72] [c.73] [c.37]Ситуационное управление теория и практика (1986) -- [ c.53 ]