In this paper an original algorithm for tlie choice of a relevaiit
belief formula is presented. Belief forinulas are treated as external representations of internal States of cognition directed at an ontologically existing atom object. This algorithrn is based on the idea of intentional semantics and uses soft methods based on the theory of consensus and choice.
For any d≥11 we construct graphs of degree d, diameter 2, and order 825d2+O(d), obtained as lifts of dipoles with voltages in cyclic groups. For Cayley Abelian graphs of diameter two a slightly better result of 925d2+O(d) has been known \cite{MSS} but it applies only to special values of degrees d depending on prime powers.
In this paper we use cohomology of Lie algebras to study the variety of laws associated with filiform Lie algebras of a given dimension. As the main result, we describe a constructive way to find a small set of polynomials which define this variety. It allows to improve previous results related with the cardinal of this set. We have also computed explicitly these polynomials in the case of dimensions 11 and 12.
In this paper a problem of consumption and investment is presented as a model of a discounted Markov decision process with discrete-time. In this problem, it is assumed that the wealth is affected by a production function. This assumption gives the investor a chance to increase his wealth before the investment. For the solution of the problem there is established a suitable version of the Euler Equation (EE) which characterizes its optimal policy completely, that is, there are provided conditions which guarantee that a policy is optimal for the problem if and only if it satisfies the EE. The problem is exemplified in two particular cases: for a logarithmic utility and for a Cobb-Douglas utility. In both cases explicit formulas for the optimal policy and the optimal value function are supplied.
We show that a Pettis integrable function from a closed interval to a Banach space is Henstock-Kurzweil integrable. This result can be considered as a continuous version of the celebrated Orlicz-Pettis theorem concerning series in Banach spaces.
For lower-semicontinuous and convex stochastic processes Zn and nonnegative random variables ϵn we investigate the pertaining random sets A(Zn,ϵn) of all ϵn-approximating minimizers of Zn. It is shown that, if the finite dimensional distributions of the Zn converge to some Z and if the ϵn converge in probability to some constant c, then the A(Zn,ϵn) converge in distribution to A(Z,c) in the hyperspace of Vietoris. As a simple corollary we obtain an extension of several argmin-theorems in the literature. In particular, in contrast to these argmin-theorems we do not require that the limit process has a unique minimizing point. In the non-unique case the limit-distribution is replaced by a Choquet-capacity.
Any given increasing [0,1]2→[0,1] function is completely determined by its contour lines. In this paper we show how each individual uninorm property can be translated into a property of contour lines. In particular, we describe commutativity in terms of orthosymmetry and we link associativity to the portation law and the exchange principle. Contrapositivity and rotation invariance are used to characterize uninorms that have a continuous contour line.
We compare the forcing-related properties of a complete Boolean algebra ${\mathbb B}$ with the properties of the convergences $\lambda _{\mathrm s}$ (the algebraic convergence) and $\lambda _{\mathrm {ls}}$ on ${\mathbb B}$ generalizing the convergence on the Cantor and Aleksandrov cube, respectively. In particular, we show that $\lambda _{\mathrm {ls}}$ is a topological convergence iff forcing by ${\mathbb B}$ does not produce new reals and that $\lambda _{\mathrm {ls}}$ is weakly topological if ${\mathbb B}$ satisfies condition $(\hbar )$ (implied by the ${\mathfrak t}$-cc). On the other hand, if $\lambda _{\mathrm {ls}}$ is a weakly topological convergence, then ${\mathbb B}$ is a $2^{\mathfrak h}$-cc algebra or in some generic extension the distributivity number of the ground model is greater than or equal to the tower number of the extension. So, the statement “The convergence $\lambda _{\mathrm {ls}}$ on the collapsing algebra ${\mathbb B}=\mathop {\mathrm {ro}} (^{<\omega }\omega _2)$ is weakly topological“ is independent of ZFC.