Bøger af Guoyin Wang

The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of mathematical structures that formalize rigorous expressions and long-chain inferences of system compositions and behaviors with abstract concepts, complex relations, and dynamic processes. Typical paradigms of denotational mathematics are concept algebra, system algebra, Real-Time Process Algebra (RTPA), Visual Semantic Algebra (VSA), fuzzy logic, and rough sets. A wide range of applications of denotational mathematics have been identified in many modern science and engineering disciplines that deal with complex and intricate mathematical entities and structures beyond numbers, Boolean variables, and traditional sets. This issue of Springer's Transactions on Computational Science on Denotational Mathematics for Computational Intelligence presents a snapshot of current research on denotational mathematics and its engineering applications. The volume includes selected and extended papers from two international conferences, namely IEEE ICCI 2006 (on Cognitive Informatics) and RSKT 2006 (on Rough Sets and Knowledge Technology), as well as new contributions. The following four important areas in denotational mathem- ics and its applications are covered: Foundations and applications of denotational mathematics, focusing on: a) c- temporary denotational mathematics for computational intelligence; b) deno- tional mathematical laws of software; c) a comparative study of STOPA and RTPA; and d) a denotational mathematical model of abstract games.

This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Knowledge Technology (RSKT 2008) held in Chengdu, P. R. China, May 16-19, 2008. The RSKT conferences were initiated in 2006 in Chongqing, P. R. China. RSKT 2007 was held in Toronto, Canada, together with RSFDGrC 2007, as JRS 2007. The RSKT conferences aim to present state-of-the-art scienti?c - sults, encourage academic and industrial interaction, and promote collaborative research in rough sets and knowledge technology worldwide. They place emphasis on exploring synergies between rough sets and knowledge discovery, knowledge management, data mining, granular and soft computing as well as emerging application areas such as bioinformatics, cognitive informatics, and Web intel- gence, both at the level of theoretical foundations and real-life applications. RSKT 2008 focused on ?ve major research ?elds: computing theory and paradigms, knowledge technology, intelligent information processing, intelligent control, and applications. This was achieved by including in the conference program sessions on rough and soft computing, rough mereology with app- cations, dominance-based rough set approach, fuzzy-rough hybridization, gr- ular computing, logical and mathematical foundations, formal concept analysis, data mining, machine learning, intelligent information processing, bioinform- ics and cognitive informatics, Web intelligence, pattern recognition, and real-life applications of knowledge technology. A very strict quality control policy was adopted in the paper review process of RSKT 2008. Firstly, the PC Chairs - viewed all submissions.

This book constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Knowledge Technology, RSKT 2011, held in Banff, Canada, in September 2011.The 89 revised full papers presented together with 3 keynote lectures and 1 invited tutorial session were carefully reviewed and selected from 229 submissions. The papers are organized in topical sections on attribute reduction and feature selection, generalized rough set models, machine learning with rough and hybrid techniques, knowledge technology and intelligent systems and applications.