TY - JOUR

T1 - ОБ ОДНОМ ПОДХОДЕ К АНАЛИЗУ МНОЖЕСТВА ИСТИННОСТИ: РАЗМЫКАНИЕ ПРЕДИКАТА

AU - Serkov, D. A.

PY - 2016

Y1 - 2016

N2 - Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».

AB - Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».

KW - Fixed points of map

KW - Nash equilibrium

KW - Truth set of predicate

UR - http://www.scopus.com/inward/record.url?scp=85009776451&partnerID=8YFLogxK

UR - http://elibrary.ru/item.asp?id=27673738

U2 - 10.20537/vm160407

DO - 10.20537/vm160407

M3 - Статья

AN - SCOPUS:85009776451

VL - 26

SP - 525

EP - 534

JO - Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki

JF - Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki

SN - 1994-9197

IS - 4

ER -