Bücher von Yiyu Y. Yao

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.