Using the homotopy invariance property of the degree and a newly introduced concept of the interior-point-ε-exceptional family for continuous functions, we prove an alternative theorem concerning the existence of a certain interior-point of a continuous complementarity problem. Based on this result, we develop several sufficient conditions to assure some desirable properties (nonemptyness, boun...

The paper presents an approach for handling uncertain information in deductive databases using multivalued logics. Uncertainty means that database facts may be assigned logical values other than the conventional ones true and false. The logical values represent various degrees of truth, which may be combined and propagated by applying the database rules. A corresponding multivalued database sem...

Each lower semi-continuous proper convex function f on a Banach space E defines a certain multivalued mapping of from E to E* called the subdifferential of f. It is shown here that the mappings arising this way are precisely the ones whose graphs are maximal "cyclically monotone" relations on Ex E*, and that each of these is also a maximal monotone relation. Furthermore, it is proved that of de...

The paper presents a new method for multivalued simulation of digital circuits based on calculation of Boolean derivatives on BDDs (or structural alternative graphs). A procedure for calculation of maximums of Boolean derivatives as the basis of multivalued simulation is given. The method is applicable for component level representations of digital circuits where as components arbitrary subcirc...

In this paper, we first establish collective fixed points theorems for a family of multivalued maps with or without assuming that the product of these multivalued maps is Φ-condensing. As an application of our collective fixed points theorem, we derive the coincidence theorem for two families of multivalued maps defined on product spaces. Then we give some existence results for maximal elements...

In this paper, the problem of modelling ambiguous (multi-valued) mappings from noisy experimental data and the use of these models in control strategies are considered. An inference method based on an equation image of a rulebase and minimisation of a performance index (inference error) is described so that the ideal model is the one that minimizes contradiction. Its functional interpretation i...

In the first part of this paper, we prove the existence of common fixed points for a commuting pair consisting of a single-valued and a multivalued mapping both satisfying the Suzuki condition in a uniformly convex Banach space. In this way, we generalize the result of Dhompongsa et al. 2006 . In the second part of this paper, we prove a fixed point theorem for upper semicontinuous mappings sat...

The equivalence between robustness to perturbations and the existence of a continuous Lyapunov-like mapping is established in a setting of multivalued discrete-time dynamics for a property sometimes called semistability. This property involves a set consisting of Lyapunov stable equilibria and surrounded by points from which every solution converges to one of these equilibria. As a consequence ...

In this work a model for planning with multivalued fluents and graded actions, that allows preferences specifications and plan metric, is introduced. This model is based on the infinity-valued Łukasiewicz logic. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of plann...

Linearization and planarization of the circuit models is pivotal to the submicron technologies. On the other hand, the characteristics of the VLSI circuits can be sometimes improved by using the multivalued components. It was shown that any `-level circuit based on the multivalued components is representable as an algebraic model based on ` linear arithmetic polynomials mapped correspondingly i...