Sufficient Conditions for Metric Subregularity of Constraint Systems with Applications to Disjunctive and Ortho-Disjunctive Programs

نویسندگان

چکیده

This paper is devoted to the study of metric subregularity constraint qualification for general optimization problems, with emphasis on nonconvex setting. We elaborate notions directional pseudo- and quasi-normality, recently introduced by Bai et al., which combine standard approach via quasi-normality modern tools variational analysis. focus applications disjunctive programs, where (directional) pseudo-normality characterized an extremal condition. This, in turn, yields efficient verify qualification, include, but are not limited to, Robinson’s result polyhedral multifunctions Gfrerer’s second-order sufficient condition subregularity. Finally, we refine our defining new class ortho-disjunctive programs comprises prominent problems such as mathematical complementarity, vanishing or switching constraints.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Disjunctive Programs to Abduction

The purpose of this work is to clarify the relationship between three approaches to representing incomplete information in logic programming. Classical negation and epistemic disjunction are used in the rst of these approaches, abductive logic programs with classical negation in the second, and a simpler form of abductive logic programming | without classical negation | in the third. In the lit...

متن کامل

Disjunctive Logic Programs with Inheritance

The paper proposes a new knowledge representation language, called DLP, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP is provided, which is shown to genera...

متن کامل

Disjunctive Programs with Set Constraints

We study an extension of disjunctive logic programs called set constraint disjunctive (SCD) programs where the clauses of the program are allowed to have a disjunction of monotone set constraints in their head and arbitrary monotone and antimonotone set constraints in their body. We introduce new class of models called selector stable models which represent all models which can be computed by a...

متن کامل

Transforming Abductive Logic Programs to Disjunctive Programs

A new xpoint semantics for abductive logic programs is provided, in which the generalized stable models of an abductive program are characterized as the xpoint of a disjunctive program obtained by a suitable program transformation. In the transformation, both negative hypotheses through negation as failure and positive hypotheses from the abducibles are dealt with uniformly. This characterizati...

متن کامل

Disjunctive Constraint Lambda Calculi

Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no more than one solution to a set of constraints. We now introduce two forms of Constraint Lambda Calculi which allow for multiple constraint solutions. Moreover the language also permits the use of disjunctions between constrai...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Set-valued and Variational Analysis

سال: 2021

ISSN: ['1877-0541', '1877-0533']

DOI: https://doi.org/10.1007/s11228-020-00569-7