A new fuzzy multicriteria evaluation method for group site selection in GIS

Multiple criteria group site selection problems involve a group of individuals evaluating a set of alternative sites on the basis of multiple criteria. This paper presents an application of a new fuzzy algorithm for finding and exploring potential solutions to these problems in a raster Geographical Information System (GIS) environment. Linguistic assessments from decision‐makers are represented as triangular fuzzy numbers (TFN's), which are adjusted for uncertainty in the source data and their relationship to suitability by using an approach based on type‐2 fuzzy sets. The first aggregation of inputs is a compensatory one based on fuzzy multiattribute decision‐making (MADM) theory. An adjusted aggregation then factors in conflicts, risks and uncertainties to enable a variety of compensatory and non‐compensatory outcomes to be generated based on decision‐maker preferences. The algorithm was implemented in ArcView GIS as part of an ongoing collaborative project with Brisbane Airport. This paper outlines the fuzzy algorithm and its use in site selection for a recycling facility on the Brisbane Airport site. Copyright © 2005 John Wiley & Sons, Ltd.     

Life,Chaos, and Transdisciplinarity: A Personal Journey

This article uses an autobiography as an object of research, to both illustrate some principles of chaos theory in analytic practice, and give those ideas a personal and social context, thereby producing a unique but explanation-rich history of chaos theory and recent intellectual history of transdisciplinarity and social research in the West. The ideas from Chaos Theory it uses and illustrates include: three-body analysis (Poincaré); fractals (Mandelbrot); fuzzy logic (Zadeh); and the butterfly effect (Lorenz).     

Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa

Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.A version of this paper has been presented during the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.     

Definability and Interpolation in Non-Classical Logics

Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal and positive logics,and also in extensions of Johansson's minimal logic. All these logics are strongly complete under algebraic semantics. It allows to combine syntactic methods with studying varieties of algebras and to flnd algebraic equivalents for interpolation and related properties. Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics and calculi. This paper is a version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005. Presented by Jacek Malinowski     

Beyond Rasiowa's Algebraic Approach to Non-classical Logics

This paper reviews the impact of Rasiowa's well-known book on the evolution of algebraic logic during the last thirty or forty years. It starts with some comments on the importance and influence of this book, highlighting some of the reasons for this influence, and some of its key points, mathematically speaking, concerning the general theory of algebraic logic, a theory nowadays called Abstract Algebraic Logic. Then, a consideration of the diverse ways in which these key points can be generalized allows us to survey some issues in the development of the field in the last twenty to thirty years. The last part of the paper reviews some recent lines of research that in some way transcend Rasiowa's approach. I hope in this way to give the reader a general view of Rasiowa's key position in the evolution of Algebraic Logic during the twentieth century. This paper is an extended version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005. Presented by Jacek Malinowski     

Axiomatising first-order temporal logic: Until and since over linear time

We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.The author would like to thank Dov Gabbay and Ian Hodkinson for helpful discussions on this material. The work was supported by the U.K. Science and Engineering Research Council under the Metatem project (GR/F/28526).Presented by Dov Gabbay     

内隐记忆的证明逻辑与加工分离说（PDP）的修正模型

讨论了内隐记忆的证明逻辑和内隐与外显测验中的意识和无意识影响问题。间接证明内隐记忆的逻辑应用在功能分离实验中。它的前提假设是记忆测验都是＂纯净＂的。直接证明逻辑应用在匹配比较实验中。它认为测验中的意识和无意识影响是并存的,Ｊａｃｏｂｙ等人近期提出的加工分离说（ＰＤＰ）在匹配比较法的基础上,将测验中的意识和无意识影响进行了分离,并借用经典测验理论的公式计算这两种影响。作者认为,按照概率论关于两个随机独立事件之和与积的运算法则,必须把包含测验（ｉｎｃｌｕｓｉｏｎｔｅｓｔ）的公式修正为Ｉｎｃｌｕｓｉｏｎ＝Ｒ（１－ａ）＋Ａ（１－Ｒ）。修正过的ＰＤＰ由四个方程组成。它不仅考虑了原ＰＤＰ忽视的外显条件下的无意识缺失（１－ａ）,而且可以更加确切地估计回忆概率（Ｒ）。这在数学理论上已找到了证据。     

模糊偏序关系在心理学研究中的应用

本文首次给出建立模糊偏序关系矩阵的可行途径。以大学生的颜色爱好实验为例,论证了采用本文所建立的模糊偏序关系矩阵进行排序的方法是制作顺序量表的一种较佳方法。