Paradigms of denotational mathematics for cognitive informatics and cognitive computing

Fundamenta Informaticae

Volumn 90, Issue 3, 2009, Pages 283-303

  Wang, Yingxu ^a,b  

^a Stanford University   (United States)

^b UNIVERSITY OF CALGARY   (Canada)

Author keywords

AI; Case studies; Cognitive computing; Cognitive informatics; Computational intelligence; Concept algebra; Denotational mathematics; Intelligence science; Knowledge engineering; Process algebra; RTPA; Software engineering; System algebra; Visual semantic algebra

Indexed keywords

AI; CASE STUDIES; COGNITIVE COMPUTING; COGNITIVE INFORMATICS; COMPUTATIONAL INTELLIGENCE; CONCEPT ALGEBRA; DENOTATIONAL MATHEMATICS; INTELLIGENCE SCIENCE; PROCESS ALGEBRA; RTPA; SYSTEM ALGEBRA; VISUAL SEMANTIC ALGEBRA;

ABSTRACTING; COMPUTER SCIENCE; COMPUTER SOFTWARE; INTELLIGENT SYSTEMS; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; SEMANTICS;

ALGEBRA;

EID: 67651216221     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-0019     Document Type: Article

References (60)

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 Contemporary Mathematics 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.