Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

• Autorzy: Wang Y.
• Języki publikacji: EN

Abstrakty

EN

The abstract, rigorous, and expressive needs in cognitive informatics, intelligence science, software science, and knowledge science lead to new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of expressive mathematical structures that deals with high level mathematical entities beyond numbers and sets, such as abstract objects, complex relations, behavioral information, concepts, knowledge, processes, and systems. Denotational mathematics is usually in the form of abstract algebra that is a branch of mathematics in which a system of abstract notations is adopted to denote relations of abstract mathematical entities and their algebraic operations based on given axioms and laws. Four paradigms of denotational mathematics, known as concept algebra, system algebra, Real-Time Process Algebra (RTPA), and Visual Semantic Algebra (VSA), are introduced in this paper. Applications of denotational mathematics in cognitive informatics and computational intelligence are elaborated. Denotational mathematics is widely applicable to model and manipulate complex architectures and behaviors of both humans and intelligent systems, as well as long chains of inference processes.

Słowa kluczowe

EN

cognitive informatics; denotational mathematics; concept algebra; system algebra; process algebras; RTPA; visual semantic algebra; intelligence science; AI; computational intelligence; software engineering; knowledge engineering; cognitive computing; case studies

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 90, nr 3
• Strony: 283--303
• Opis fizyczny: bibliogr. 60 poz., tab.

Twórcy

autor

Wang Y.

• International Center for Cognitive Informatics (ICfCI) Theoretical and Empirical Software Engineering Research Centre (TESERC) Dept. of Electrical and Computer Engineering, Schulich School of Engineering University of Calgary, 2500 University Drive, N,

Bibliografia

• [1] Aho, A.V., R. Sethi, and J.D. Ullman: Compilers: Principles, Techniques, and Tools, Addison-Wesley Publication Co., New York, 1985.
• [2] Anderson, J.R.: The Architecture of Cognition, Harvard Univ. Press, Cambridge,MA, 1983.
• [3] Bender, E.A.: Mathematical Methods in Artificial Intelligence, IEEE CS Press, Los Alamitos, CA, 1996.
• [4] Biedeman, I.: Recognition-by-Components: A Theory of Human Image Understanding, Psychological Review, 94, 115-147, 1987.
• [5] Codin R., R. Missaoui, and H. Alaoui: Incremental Concept Formation Algorithms Based on Galois (Concept) Lattices, Computational Intelligence, 11(2), 246-267, 1995.
• [6] Colins, A.M. and E.F. Loftus: A Spreading-Activation Theory of Semantic Memory, Psychological Review, 82, 407-428, 1975.
• [7] Ellis, D. O. and J. L. Fred: Systems Philosophy, Prentice-Hall, 1962.
• [8] Ganter, B. and R. Wille: Formal Concept Analysis, Springer, Berlin, 1999.
• [9] Hampton, J.A.: Psychological Representation of Concepts of Memory, Psychology Press, Hove, England, 81-110, 1997.
• [10] Higman, B.: A Comparative Study of Programming Languages, 2nd ed., MacDonald, 1977.
• [11] Hoare, C.A.R.: Communicating Sequential Processes, Communications of the ACM, 21(8), pp.666-677, 1978.
• [12] Hoare, C.A.R.: Communicating Sequential Processes, Prentice-Hall International, London, 1978.
• [13] Horn, B.K.P.: Robot Vision, MIT Press, Cambridge, MA, 1986.
• [14] Hubel, D. and T.N. Wiesel: Receptive Fields of Single Neurons in the Cat's Visual Cortex, Journal of Physiology, 148, 574-591, 1959.
• [15] Hubel, D. and T.N. Wiesel: Brain Mechanisms of Vision, Scientific American, 82, 84-97, 1979.
• [16] Hurley, P.J.: A Concise Introduction to Logic, 6th ed., Wadsworth Pub. Co., ITP, Belmony, CA, 1997.
• [17] Lewis, H.R. and C.H. Papadimitriou: Elements of the Theory of Computation, 2nd ed., Prentice-Hall International, Englewood Cliffs, NJ, 1998.
• [18] Lin, T.Y.: Granular Computing on Binary Relations (I): Data Mining and Neighborhood Systems, Proc. Rough Sets in Knowledge Discovery, Physica-Verlag, Heidelberg, 107-120, 1998.
• [19] Louden K.C.: Programming Languages: Principles and Practice, PWS-Kent Publishing Co., Boston, 1993.
• [20] Matlin, M.W.: Cognition, 4th ed., Harcourt Brace College Pub., NY, 1998.
• [21] Medin, D.L. and E.J. Shoben: Context and Structure in Conceptual Combination, Cognitive Psychology, 20, 158-190, 1988.
• [22] Milner, R.: A Calculus of Communicating Systems, LNCS #92, Springer-Verlag, 1980.
• [23] Murphy, G.L.: Theories and Concept Formation, in I.V. Mechelen et al. eds, Categories and Concepts, Theoretical Views and Inductive Data Analysis, Academic Press, NY, 173-200, 1993.
• [24] Murry, R.M, Z. Li, and S.S. Sastry: A Mathematical Introduction to Robotic Manipulation, CRC Press, Boca Raton, FL, 1993.
• [25] Pedrycz,W. ed.: Granular Computing: An Emerging Paradigm, Physica-Verlag, Heidelberg, 2001.
• [26] Pawlak, Z.: Rough Logic, Bulletin of the Polish Academy of Science, Technical Science, 5-6, 253-258, 1987.
• [27] Pnueli, A.: The Temporal Logic of Programs, Proc. 18th IEEE Symposium on Foundations of Computer Science, IEEE, 46-57, 1977.
• [28] Skowron, A. and Stepaniuk, J.: Information Granules: Towards Foundations of Granular Computing, International Journal of Intelligent Systems, 16, 57-85, 2001.
• [29] Skowron, A.: Rough Sets and Vague Concepts, Fundamental Informatics, 64(4), 417-431, 2005.
• [30] Smith, E.E. and D.L. Medin: Categories and Concepts, Cambridge,MA, Harvard Univ. Press, 1981.
• [31] von Bertalanffy, L.: Problems of Life: An Evolution of Modern Biological and Scientific Thought, C.A. Watts, London, 1952.
• [32] Wang, Y.: The Real-Time Process Algebra (RTPA), Annals of Software Engineering: An International Journal, Springer, USA, 14, 235-274, 2002.
• [33] Wang, Y.: Keynote: On Cognitive Informatics, Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE CS Press, August, 34-42, 2002.
• [34] Wang, Y.: On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, USA, August, 4(3), 151-167, 2003.
• [35] Wang, Y.: Using Process Algebra to Describe Human and Software System Behaviors, Brain and Mind, 4(2), 199-213, 2003.
• [36] Wang, Y.: On the Informatics Laws and Deductive Semantics of Software, IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), March, 161-171, 2006.
• [37] Wang, Y.: Cognitive Informatics and ContemporaryMathematics for Knowledge Representation and Manipulation, Invited Plenary Talk, Proc. 1st International Conference on Rough Set and Knowledge Technology (RSKT'06), LNAI #4062, Springer, Chongqing, China, July, 69-78, 2006.
• [38] Wang, Y.: Software Engineering Foundations: A Software Science Perspective, CRC Series in Software Engineering, Vol. II, Auerbach Publications, NY, USA, July, 2007.
• [39] Wang, Y.: The Theoretical Framework of Cognitive Informatics, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 1(1), 1-27, 2007.
• [40] Wang, Y.: The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 1(3), 64-75, 2007.
• [41] Wang, Y.: On Theoretical Foundations of Software Engineering and Denotational Mathematics, Keynote, Proc. 5th Asian Workshop on Foundations of Software, Xiamen, China, 99-102, 2007.
• [42] Wang, Y.: The Theoretical Framework and Cognitive Process of Learning, Proc. 6th International Conference on Cognitive Informatics (ICCI'07), IEEE CS Press, Lake Tahoe, CA., Aug., 470-479, 2007.
• [43] Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence, Transactions of Computational Science, 2, Springer, August, 6-29, 2008.
• [44] Wang, Y.: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 2(2), 1-19, 2008.
• [45] Wang, Y.: On System Algebra: A Denotational Mathematical Structure for Abstract System modeling, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 2(2), 20-42, 2008.
• [46] Wang, Y.: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 2(2), 44-62, 2008.
• [47] Wang, Y.: Deductive Semantics of RTPA, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 2(2), 95-121, 2008.
• [48] Wang, Y.: On Visual Semantic Algebra (VSA) and the Cognitive Process of Pattern Recognition, Proc. 7th International Conference on Cognitive Informatics (ICCI'08), IEEE CS Press, Stanford University, CA, Aug., 384-393, 2008.
• [49] Wang, Y.: On the Big-R Notation for Describing Iterative and Recursive Behaviors, Int'l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 2(1), 17-28, 2008.
• [50] Wang, Y.: On Abstract Intelligence: Toward a Unified Theory of Natural, Artificial, Machinable, and Computational Intelligence, In'l Journal of Software Science and Computational Intelligence, IGI, USA, Jan., 1(1), 1-17, 2009.
• [51] Wang, Y. and V. Chiew: On the Cognitive Process of Human Problem Solving, Cognitive Systems Research: An International Journal, 9(4), Elsevier, UK, Dec., to appear, 2008.
• [52] Wang, Y., Y. Wang, S. Patel, and D. Patel: A Layered Reference Model of the Brain (LRMB), IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2),March, 124-133, 2006.
• [53] Wang, Y., L.A. Zadeh and Y. Yao: On the System Algebra Foundation for Granular Computing, Int'l Journal of Software Science and Computational Intelligence, IGI Publishing, USA, 1(1), 64-86, 2009.
• [54] Wille, R.: Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts, in I. Rival eds., Ordered Sets, Reidel, Dordrecht, 445-470, 1982.
• [55] Wilson, L.B. and R.G. Clark: Comparative Programming Language, Addison-Wesley Publishing Co., Wokingham, UK, 1988.
• [56] Woodcock, J. and J. Davies: Using Z: Specification, Refinement, and Proof, Prentice Hall International, London, 1996.
• [57] Yao, Y.Y.: Information Granulation and Rough Set Approximation, International Journal of Intelligent Systems, 16(1), 87-104, 2001.
• [58] Zadeh, L.A.: Fuzzy Sets, Information and Control, 8, 338-353, 1965.
• [59] Zadeh, L.A.: Fuzzy Logic and Approximate Reasoning, Syntheses, 30, 407-428, 1975.
• [60] Zadeh, L.A.: Fuzzy Sets and Information Granularity, in M.M. Gupta, R. Ragade, and R. Yager eds., Advances in Fuzzy Set Theory and Applications, North-Holland, Amsterdam, 3-18, 1979.