in this paper, we study the existence of generalized solutions for the infinite dimensional nonlinear stochastic differential inclusions $dx(t) in f(t,x(t))dt +g(t,x(t))dw_t$ in which the multifunction $f$ is semimonotone and hemicontinuous and the operator-valued multifunction $g$ satisfies a lipschitz condition. we define the it^{o} stochastic integral of operator set-valued stochastic pr...

© Annales mathématiques Blaise Pascal, 1996, tous droits réservés. L’accès aux archives de la revue « Annales mathématiques Blaise Pascal » (http: //math.univ-bpclermont.fr/ambp/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impres...

This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems. A Belief Maintenance System hal! been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. Such a system may be thought of as a generalization of a. Truth Maintenance System. It enables one to reason using normal...

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

Vector-valued L p-convergence of orthogonal series and Lagrange interpolation. Abstract We give necessary and sufficient conditions for interpolation inequalities of the type considered by Marcinkiewicz and Zygmund to be true in the case of Banach space-valued polynomials and Jacobi weights and nodes. We also study the vector-valued expansion problem of L p-functions in terms of Jacobi polynomi...

In this paper we introduce the concentration and dilation operators on interval valued intuitionistic fuzzy soft sets of root type which is a generalization of fuzzy set, intuitionistic fuzzy set, interval valued intuitionistic fuzzy set and intuitionistic fuzzy set of root type and establish some properties of these operators. We define Hamming distance between two interval valued intuitionist...