DOI

Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».
Переведенное названиеAn approach to analysis of the set of truth: Unlocking of predicate
Язык оригиналаРусский
Страницы (с-по)525-534
Число страниц10
ЖурналVestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki
Том26
Номер выпуска4
DOI
СостояниеОпубликовано - 2016

    Предметные области ASJC Scopus

  • Fluid Flow and Transfer Processes
  • Computer Science(all)
  • Mathematics(all)

    Уровень публикации

  • Перечень ВАК

ID: 1464210