Abstract
The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering lead 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 such as 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bender, E.A.: Mathematical Methods in Artificial Intelligence. IEEE CS Press, Los Alamitos (1996)
Boole, G.: The Laws of Thought, vol. 1854. Prometheus Books, NY (2003)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, London (1985)
Pawlak, Z.: Rough Logic. Bulletin of the Polish Academy of Science, Technical Science 5-6, 253–258 (1987)
Pnueli, A.: The Temporal Logic of Programs. In: Proc. 18th IEEE Symposium on Foundations of Computer Science, pp. 46–57. IEEE, Los Alamitos (1977)
Russell, B.: The Principles of Mathematics, vol. 1903. W.W. Norton & Co., NY (1996)
Turing, A.M.: Computing Machinery and Intelligence. Mind 59, 433–460 (1950)
von Neumann, J.: The Principles of Large-Scale Computing Machines. Annals of History of Computers 3(3), 263–273 (reprinted, 1946)
Wang, G., Peters, J.F., Skowron, A., Yao, Y.Y. (eds.): RSKT 2006. LNCS (LNAI), vol. 4062. Springer, Heidelberg (2006)
Wang, Y.: On Cognitive Informatics, Keynote. In: Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), Calgary, Canada, pp. 34–42. IEEE CS Press, Los Alamitos (2002)
Wang, Y.: The Real-Time Process Algebra (RTPA). Annals of Software Engineering: An International Journal, USA 14, 235–274 (2002)
Wang, Y.: On Cognitive Informatics. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilisophy, USA 4(3), 151–167 (2003)
Wang, Y., Wang, Y.: On Cognitive Informatics Models of the Brain. IEEE Transactions on Systems, Man, and Cybernetics (C) 36(2), 16–20 (2006)
Wang, Y.: Keynote: Cognitive Informatics - Towards the Future Generation Computers that Think and Feel. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, pp. 3–7. IEEE CS Press, Los Alamitos (2006)
Wang, Y.: Software Engineering Foundations: A Software Science Perspective, USA. CRC Series in Software Engineering, vol. II. Auerbach Publications, Boca Raton (2007)
Wang, Y.: Keynote: On Theoretical Foundations of Software Engineering and Denotational Mathematics. In: Proc. 5th Asian Workshop on Foundations of Software, Xiamen, China, pp. 99–102 (2007)
Wang, Y.: The Theoretical Framework of Cognitive Informatics. International Journal of Cognitive Informatics and Natural Intelligence 1(1), 1–27 (2007)
Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence. In: Gavrilova, M.L., et al. (eds.) Transactions on Computational Science, II. LNCS, vol. 5150, pp. 6–29. Springer, Heidelberg (2008)
Wang, Y.: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 1–19 (2008)
Wang, Y.: On System Algebra: A Denotational Mathematical Structure for Abstract System modeling. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 20–42 (2008)
Wang, Y.: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 44–62 (2008)
Wang, Y.: Keynote: On Denotational Mathematics Foundations of Abstract Intelligence. In: Proc. 7th IEEE International Conference on Cognitive Informatics (ICCI 2008), Stanford University, CA, USA, pp. 3–8. IEEE CS Press, Los Alamitos (2008)
Wang, Y.: On Visual Semantic Algebra (VSA) and the Cognitive Process of Pattern Recognition. In: Proc. 7th International Conference on Cognitive Informatics (ICCI 2008), Stanford University, CA. IEEE CS Press, Los Alamitos (2008)
Yao, Y.Y.: A Comparative Study of Formal Concept Analysis and Rough Set Theory in Data Analysis. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 59–68. Springer, Heidelberg (2004)
Yao, Y.Y., Shi, Z., Wang, Y., Kinsner, W.(eds.): Cognitive Informatics: In: Proc. 5th IEEE International Conference (ICCI 2006), Beijing, China, vol. I and II. IEEE CS Press, Los Alamitos (2006)
Zadeh, L.A.: Fuzzy Sets and Systems. In: Fox, J. (ed.) Systems Theory, pp. 29–37. Polytechnic Press, Brooklyn (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wang, Y., Yao, Y., Wang, G. (2008). Perspectives on Denotational Mathematics: New Means of Thought. In: Gavrilova, M.L., Tan, C.J.K., Wang, Y., Yao, Y., Wang, G. (eds) Transactions on Computational Science II. Lecture Notes in Computer Science, vol 5150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87563-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-87563-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87562-8
Online ISBN: 978-3-540-87563-5
eBook Packages: Computer ScienceComputer Science (R0)