In Database Theory, Multivalued Dependencies are the main tool to define the Fourth Normal Form and, as such, their inference problem has been deeply studied; two related notions appearing in that study are a syntactical analog in propositional logic and a restriction that maintains to this logic the same relationship as Functional Dependencies do to Horn logic. We present semantic, lattice-the...

This paper presents a new algorithm for planning the time-optimal motion of a robot traveling with limited velocity from a given location to a given destination on a surface in the presence of moving obstacles. Additional constraints such as space variant terrain traversability and fuel economy can be accommodated. A multivalued distance map is defined and applied in computing optimal trajector...

We consider a reaction-diffusion system exhibiting diffusion driven instability if supplemented by Dirichlet-Neumann boundary conditions. We impose unilateral conditions given by inclusions on this system and prove that global bifurcation of spatially nonhomogeneous stationary solutions occurs in the domain of parameters where bifurcation is excluded for the original mixed boundary value proble...

The basic construction concepts of multivalued intellectual systems (MIS), which are adequate toprimal problems of person activity and using hybrid tools with many-valued coding are considered. The conceptsare agreed with the dialectic laws opened by a man and their manifestations in problems connected with creationof identification systems prediction and recognition of imagery in w...

In this paper, we introduce and study a new class of generalized vector variational inequalities and complementarity problems for multivalued mappings. We prove the existence of solutions for this kind of vector variational inequality and discuss the relations between the solutions of the generalized vector variational inequalities and the solutions of generalized vector complementarity problem...

We introduce and study a new class of general nonlinear random multivalued operator equations involving generalized m-accretive mappings in Banach spaces. By using the Chang’s lemma and the resolvent operator technique for generalized m-accretive mapping due to Huang and Fang 2001 , we also prove the existence theorems of the solution and convergence theorems of the generalized random iterative...

The discrete dynamics generated by a continuous map can be represented combinatorially by an appropriate multivalued map on a discretization of the phase space such as a cubical grid or triangulation. In this paper we provide explicit algorithms and computational complexity bounds for computing dynamical structures for the resulting combinatorial multivalued maps. Specifically we focus on the c...

This paper considers the construction of Petri nets to simulate conditional computation in various forms of systems. Coloured Petri nets underly the definition of a family of Petri nets based on rough set theory. Multivalued logic provides the basis for a family of guards on transitions with a form of continuous enabling. The notion of levelof-enabling of transitions is introduced. A second fam...

Abstract In this paper convergence theorems for sequences of scalar, vector and multivalued Pettis integrable functions on a topological measure space are proved varying measures vaguely convergent.