Bifinite Chu Spaces

Author(s):  
Manfred Droste ◽  
Guo-Qiang Zhang
Keyword(s):  
Author(s):  
Manfred Droste ◽  
Guo-Qiang Zhang
Keyword(s):  

Author(s):  
Xutao Du ◽  
Chunxiao Xing ◽  
Lizhu Zhou ◽  
Ke Han

This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into consideration. The paper gives the abstract syntax of BPEL-CF, the semantic algebra, and the valuation functions for computing the Chu spaces denotations of BPEL-CF programs.


Author(s):  
BASIL K. PAPADOPOULOS ◽  
APOSTOLOS SYROPOULOS

Chu spaces, which derive from the Chu construct of *-autonomous categories, can be used to represent most mathematical structures. Moreover, the logic of Chu spaces is linear logic. Most efforts to incorporate fuzzy set theory into the realm of linear logic are based on the assumption that fuzzy and linear negation are identical operations. We propose an incorporation based on the opposite assumption and we provide an interpretation of some linear connectives. Furthermore, we show that it is possible to represent any fuzzy relational structure as a Chu space by means of the functor G.


2013 ◽  
Vol 2013 ◽  
pp. 1-33 ◽  
Author(s):  
Sergey A. Solovyov

Recently, Denniston, Melton, and Rodabaugh presented a new categorical outlook on a certain lattice-valued extension of Formal Concept Analysis (FCA) of Ganter and Wille; their outlook was based on the notion of lattice-valued interchange system and a category of Galois connections. This paper extends the approach of Denniston et al. clarifying the relationships between Chu spaces of Pratt, many-valued formal contexts of FCA, lattice-valued interchange systems, and Galois connections.


Author(s):  
Jonathan Lee* ◽  
◽  
Hsiao-Fan Wang**

The past few years we have witnessed a crystallization of soft computing as a means towards the conception and design of intelligent systems. Soft Computing is a synergetic integration of neural networks, fuzzy logic and evolutionary computation including genetic algorithms, chaotic systems, and belief networks. In this volume, we are featuting seven papers devoted to soft computing as a special issue. These papers are selected from papers submitted to the "The eighth International Fuzzy Systems Association World Congress (IFSA'99)", held in Taipei, Taiwan, in August 1999. Each paper received outstanding recommendations from its reviewers. G-H Tzeng et al. integrate fuzzy numbers, fuzzy regression, and a fuzzy DEA approach as a performance evaluation model for forecasting the productive efficiency of a set of production units when some data are fuzzy numbers. A case of Taipei City Bus Company is adopted for illustration. Y. Shi et al. adopts a fuzzy programming approach to solve a MCMDM (multiple criteria and multiple decision makers) capital budget problem. A solution procedure is proposed to systematically identify a fuzzy optimal selection of possible projects. N. Nguyen et al. propose a new formalism (Chu spaces) to describe parallelism and information flow. Chu spaces provide uniform explanations for different choices of fuzzy methodology, such as choices of fuzzy logical operations of membership functions or defuzzifications. M-C Su et al. propose a technique based on the SOM-based fuzzy systems for voltage security margin estimation. This technique was tested on 1604 simulated data randomly generated from operating conditions on the IEEE 30-bus system to indicate its high efficiency. By defining the concept of approximate dependency and a similarity measure, S-L Wang et al. present a method of using analogical reasoning to infer approximate answers for null queries on similarity-based fuzzy relational databases. K.Yeh et al. use adaptive fuzzy sliding mode control for the structural control of bridges. Combing fuzzy control and sliding mode control can reduce the complexity of fuzzy rule bases and ensure the stability and robustness. This model is demonstrated by three types of bridges, with LRB, sliding isolators and no isolation device. Based on a novel fuzzy clustering algorithm, Y-H Kuo et al. propose an adaptive traffic prediction approach to generalize and unveil the hidden structure of traffic patterns with features of robustness, high accuracy and high adaptability. The periodical, Poisson and real video traffic patterns have been used to verify their approach and investigate its properties. We would like to express our sincere gratitude to everyone who has contributed to this special issue including the authors, the co-reviewers, the JACI Editors-in-Chief Toshio Fukuda and Kaoru Hirota.


2007 ◽  
Vol 09 (01) ◽  
pp. 119-138 ◽  
Author(s):  
STEFANO VANNUCCI

It is argued that when morphisms are ignored virtually all coalitional, strategic and extensive game formats as currently employed in the extant game-theoretic literature may be presented in a fairly natural way as (concrete categories over) discrete subcategories of Chu(Set,2). Moreover, under a suitable choice of coalitional morphisms, coalitional game formats are shown to be (concrete categories over) full subcategories of Chu(Set,2).


Sign in / Sign up

Export Citation Format

Share Document