In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. 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 planning problem and solution plan also reflect a multivalued approach. Mul...

The purpose of this work is to investigate the existence of fixed points of some mappings in fixed point theory by combining some important concepts which are F-weak contractions, multivalued mappings, integral transformations and α-admissible mappings. In fixed point theory, it is important to find fixed points of some classess under F- or F-weak contractions. Also multivalued mappings is the ...

The deenitions of isolating block, index pair, and the Conley index, together with the proof of homotopy and additivity properties of the index are generalized for discrete multivalued dynamical systems. That generalization provides a theoretical background of numerical computation used by Mischaikow and Mrozek in their computer assisted proof of chaos in the Lorenz equations, where nitely repr...

We apply the level-set methodology to compute multivalued solutions of the paraxial eikonal equation in both isotropic and anisotropic metrics. This paraxial equation is obtained from 2D stationary eikonal equations by using one of the spatial directions as the artificial evolution direction. The advection velocity field used to move level sets is obtained by the method of characteristics; ther...

We propose a new approach to the design of relational database schemes. The main features of the approach are: (4 A combination of the traditional decomposition and synthesis approaches, thus allowing the use of both functional and multivalued dependencies. (b) Separation of structural dependencies relevant for the design process from integrity constraints, i.e., constraints that do not bear an...

We study the solutions of irregular A-hypergeometric systems that are constructed from Gröbner degenerations with respect to generic positive weight vectors. These are formal logarithmic Puiseux series that belong to explicitly described Nilsson rings, and are therefore called (formal) Nilsson series. When the weight vector is a perturbation of (1, . . . , 1), these series converge and provide ...

in this paper, we present some common fixed point theorems for two generalized nonexpansive multivalued mappings in cat(0) spaces as well as in uced banach spaces. moreover, we prove the existence of fixed points for generalized nonexpansive multivalued mappings in complete geodesic metric spaces with convex metric for which the asymptotic center of a bounded sequence in a bounded closed convex...