In previous work the authors investigated the inconsistencies of how successful termination was modelled in Hoare, Brookes and Roscoe’s original CSP. This led to the definition of a variant of CSP, called CSPT . CSPT presents a solution to these problems by means of adding a termination axiom to the original process axioms. In this paper we investigate how successful process termination is mode...

The task of a standard fuzzy logic controller is to find a crisp control action from the fuzzy rulebase and from a set of crisp inputs. In this paper we propose an extension of this type of reasoning using Mobile Agents which works with crisp data, intervals and/or linguistic terms as inputs and with various matching methods. For any matching one obtain a crisp value as output using Slave Agent...

In a recent paper, De Baets et al. have characterized the fuzzytolerance and fuzzy equivalence relations that a given strict order relation iscompatible with. In this paper, we generalize this characterization by consideringan arbitrary (crisp) relation instead of a strict order relation, while payingattention to the particular cases of a reflexive or irreflexive relation. The reasoninglargely ...

The Rand index is a measure commonly used to compare crisp partitions. Campello (2007) and Hüllermeier and Rifqi (2009) respectively, proposed two extensions of this index capable to compare fuzzy partitions. These approaches are useful when continuous values of attributes are discretized using fuzzy sets. In previous works we experimented with these extensions and compared their accuracy with ...

The present paper is devoted to the transition from crisp domains of probability to fuzzy domains of probability. First, we start with a simple transportation problem and present its solution. The solution has a probabilistic interpretation and it illustrates the transition from classical random variables to fuzzy random variables in the sense of Gudder and Bugajski. Second, we analyse the proc...

In a binary choice voting scenario, voters may have fuzzy preferences but are required to make crisp choices. In order to compare a crisp voting procedure with more general mechanisms of fuzzy preference aggregation, we first focus on the latter. We present a formulation of strategy-proofness in this setting and study its consequences. On one hand, we achieve an axiomatic recommendation of the ...

The database model presented in this paper is suitable for application in which queries may require non-crisp references to certain attributes. The data item (attribute) values may be crisp or fuzzy. For instance, such adjectives as 'high' or 'normal' may be attribute values for the attribute blood pressure. A disease or a condition can be described by a number of symptoms which may be crisp al...

We are grateful for, but unconvinced by, Roger Crisp’s defence of the Priority View against our critique.1 In this reply, we show that Crisp fails to grapple with, much less defeat, the central claim of our critique. We also show that an example that Crisp offers in support of the Priority View in fact lends support to our critique of that view. 1. In sections I–II of our article, we endorse th...