Approximate reasoning for real-time probabilistic processes

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributions. This pseudo-metric gives a useful handle on approximate reasoning in the presence of numerical information -- such as probabilities and time -- in the model. We give a fixed point characterization of the pseudo-metric. This makes available coinductive reasoning principles for reasoning about distances. We demonstrate that our approach is insensitive to potentially ad hoc articulations of distance by showing that it is intrinsic to an underlying uniformity. We provide a logical characterization of this uniformity using a real-valued modal logic. We show that several quantitative properties of interest are continuous with respect to the pseudo-metric. Thus, if two processes are metrically close, then observable quantitative properties of interest are indeed close.Comment: Preliminary version appeared in QEST 0

Fuzzy subjective evaluation of Asia Pacific airport services

This paper presents a fuzzy decision-making model to determine the ranking of fourteen Asia Pacific airports based on the services provided to passengers. Airport services were represented by six attributes namely comfort, processing time, convenience, courtesy of staff, information visibility and security. Data for the attributes given by travel experts are in the triangular fuzzy number form. Based on fuzzy set and approximate reasoning, the model allows decision makers to make the best choice in accordance with human thinking and reasoning processes.The use of fuzzy rules which are extracted directly from the input data in making evaluation, contributes to a better decision and is less dependent on experts.Experimental results show that the proposed model is comparable to previous studies.The model is suitable for various fuzzy environments

Aspects of the dynamics of colloidal suspensions: Further results of the mode-coupling theory of structural relaxation

Results of the idealized mode-coupling theory for the structural relaxation in suspensions of hard-sphere colloidal particles are presented and discussed with regard to recent light scattering experiments. The structural relaxation becomes non-diffusive for long times, contrary to the expectation based on the de Gennes narrowing concept. A semi-quantitative connection of the wave vector dependences of the relaxation times and amplitudes of the final $\alpha$-relaxation explains the approximate scaling observed by Segr{\`e} and Pusey [Phys. Rev. Lett. {\bf 77}, 771 (1996)]. Asymptotic expansions lead to a qualitative understanding of density dependences in generalized Stokes-Einstein relations. This relation is also generalized to non-zero frequencies thereby yielding support for a reasoning by Mason and Weitz [Phys. Rev. Lett {\bf 74}, 1250 (1995)]. The dynamics transient to the structural relaxation is discussed with models incorporating short-time diffusion and hydrodynamic interactions for short times.Comment: 11 pages, 9 figures; to be published in Phys. Rev.