* Correspondence: changss@yahoo. cn College of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming, Yunnan 650221, China Full list of author information is available at the end of the article Abstract In this article, an iterative sequence for relatively nonexpansive multi-valued mapping by modifying Halpern and Mann’s iterations is introduced, and then some strong c...

We describe a model of utility-based agents that synthesizes information and determines the best way to make decisions in multi-agent systems. In this model, the beliefs are decomposed into two levels. The higher level represents the possible information about the possible worlds. The lower level subsequently estimates a number function for the belief. We also present a decision theory for this...

Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional information such as incompleteness, uncertainty, and many others, but with the cost of time and space complexity. This paper addresses this problem, and proposes a new algorithm for Multi-valued Model Checking. While Chechi...

Reedbeds across the UK are amongst the most important habitats for rare and endangered birds, wildlife and organisms. However, over the past century, this valued wetland habitat has experienced a drastic reduction in quality and spatial coverage due to pressures from human related activities. To this end, conservation organisations across the UK have been charged with the task of conserving and...

To meet the demands of the large-scale network simulation platform technology, we have improved the classical Min-min algorithm widely used in Grid application. We proposed a novel multi-task network simulation scheduling algorithm based on multi-valued mapping and the new algorithm is called MUNS-Min-min, we also discussed how to determine the weight of simulation time and the resource consump...

This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in presence of multiple interacting agents. The paper develops a novel constraint-based action language, B, that enables the declarative description of large classes of multi-agent and multi-valued domains. B supports several complex features, including combined effects, conc...

Endpoint results are presented for multi-valued cyclic contraction mappings on complete metric spaces (X, d). Our results extend previous results given by Nadler (1969), Daffer-Kaneko (1995), Harandi (2010), Moradi and Kojasteh (2012) and Karapinar (2011).

It is certainly well known that a mapping between metric spaces is continuous if and only if it preserves convergent sequences. Does there exist a comparable characterization for the mapping to be open? Of course, the inverse mapping is set-valued, in general. In this research/expository note, we show that a mapping is open if and only if the set-valued inverse mapping preserves convergent sequ...

due to the high density and the low consumption power in the digital integrated circuits, mostly technology of cmos is used. during the past times, the metal oxide silicon field effect transistors (mosfet) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. b...