Abstract Chemotaxis, the biased movement of cells in response to chemical gradients, plays an important role coordinating cell migration many biological phenomena (see Hillen and Painter 2009). For example, fruit fly Drosophila melanogaster navigates up gradients attractive odors during food location, male moths follow pheromone released by female mate location.

In this paper we compare the expressive power of elementary representation formats for vague, incomplete or conflicting information. These include Boolean valuation pairs introduced by Lawry and Gonzalez-Rodriguez, orthopairs of sets of variables, Boolean possibility and necessity measures, three-valued valuations, supervaluations. We make explicit their connections with strong Kleene logic and...

MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and a calculus for transforming a many-valued formula to clauses suitable for many-valued resolution. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper, written in LTEX.

despite providing robustness, high-gain observers impose a peaking phenomenon, which may cause instability, on the system states. in this paper, an adaptive saturation is proposed to attenuate the undesirable mentioned phenomenon in high-gain observers. a real-valued and differentiable sigmoid function is considered as the saturating element whose parameters (height and slope) are adaptively tu...

In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic systemL P(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal lattice-valued Horn generalized clause and unit latticevalued Horn generalized clause are given in L P(X). Then, the α-resolution o...