Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)

Volumn 2, Issue 4, 2008, Pages 15-28

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

abstraction; brain model; categorization; cognitive processes; comparison; computational intelligence; concept algebra; concept establishment; denotational mathematics; LRMB; mathematical model; OAR; object identification; process model; qualification; quantification; RTPA

Indexed keywords

EID: 85001544045     PISSN: 15573958     EISSN: 15573966     Source Type: Journal    
DOI: 10.4018/jcini.2008100102     Document Type: Article

References (34)

1. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., & Patel-Schneider, P. F. (2003). The description logic handbook: Theory, implementation, applications. Cambridge, UK: Cambridge University Press.
2. Bender, E. A. (1996). Mathematical methods in artificial intelligence. Los Alamitos, CA: IEEE CS Press.
3. Bruner, J. S., Goodnow, J. J., & Austin, G. A. (1956). A study of thinking. New York: Wiley.
4. Gray, P. (1994). Psychology (2nd ed.). New York: Worth Publishers, Inc.
5. Lipschutz, S. (1964). Schaum's outline of theories and problems of set theory and related topics. New York: McGraw-Hill Inc.
6. Matlin, M. W. (1998). Cognition (4th ed.). Orlando, FL: Harcourt Brace College Publishers.
7. Payne, D. G., & Wenger, M. J. (1998). Cognitive psychology. Boston: Houghton Mifflin Co.
8. Pinel, J. P. J. (1997). Biopsychology (3rd ed.). Needham Heights, MA: Allyn and Bacon.
9. Reisberg, D. (2001). Cognition: Exploring the science of the mind (2nd ed.). W. W. Norton & Company, Inc.
10. Rydeheard, D., & Burstall, R. (1988). Computational category theory. Prentice Hall.
11. Smith, R. E. (1993). Psychology. St. Paul, MN: West Publishing Co.
12. Sternberg, R. J. (1998). In search of the human mind (2nd ed.). New York: Harcourt Brace & Co.
13. Wang, Y. (2002a,August). On cognitive informatics (keynote speech). In Proceedings of the First IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada (pp. 34–42). IEEE CS Press.
14. Wang, Y. (2002b). The real-time process algebra (RTPA). Annals of Software Engineering: An International Journal, 14, 235–274.
15. Wang, Y (2003a). On cognitive informatics. Brain and Mind: A Transdisciplinary Journal ofNeuroscience and Neurophilosophy, 4(3), 151–167.
16. Wang, Y. (2003b). Using process algebra to describe human and software behaviors. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 199–213.
17. Wang, Y. (2006a, July). Cognitive informatics: Towards the future generation computers that think and feel (keynote speech). In Proceedings of the Fifth IEEE International Conference on Cognitive Informatics (ICCI'06), Beijing, China (pp. 3–7). IEEE CS Press.
18. Wang, Y. (2006b). On the informatics laws and deductive semantics of software. IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), 161–171.
19. Wang, Y. (2007a). The cognitive process of formal inferences. International Journal of Cognitive Informatics and Natural Intelligence, 1(4).
20. Wang, Y. (2007b, August). Formal description of the cognitive process of memorization. In Proceedings of the Sixth International Conference on Cognitive Informatics (ICCI'07). CA: IEEE CS Press.
21. Wang, Y (2007c). The OAR model of neural informatics for internal knowledge representation in the brain. International Journal of Cognitive Informatics and Natural Intelligence, 1(3), 64–75.
22. Wang, Y. (2007d). Software engineering foundations: A software science perspective (CRC Book Series in Software Engineering, Vol. 2). New York: Auerbach Publications.
23. Wang, Y (2007e). The theoretical framework of cognitive informatics. International Journal of Cognitive Informatics and Natural Intelligence, 1(1), 1–27.
24. Wang, Y (2008a, August). On cognitive foundations of creativity and the cognitive process of creation. In Proceedings of the Seventh International Conference on Cognitive Informatics (ICCI'08), Stanford, CA.
25. Wang, Y. (2008b, August). A cognitive informatics theory for visual information processing. In Proceedings of the Seventh International Conference on Cognitive Informatics (ICCI'08), Stanford, CA.
26. Wang, Y (2008c). On concept algebra:A denotational mathematical structure for knowledge and software modeling. International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 1–19.
27. Wang, Y (2008d). RTPA: A denotational mathematics for manipulating intelligent and computational behaviors. International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 44–62.
28. Wang, Y. (2008e, June). On contemporary denotational mathematics for computational intelligence. Transactions on Computational Science, 2(3), 6–29.
29. Wang, Y, Liu, D., & Wang, Y (2003). Discovering the capacity of human memory. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 189–198.
30. Wang, Y, & Ruhe, G. (2007). The cognitive process of decision making. International Journal of Cognitive Informatics and Natural Intelligence, 1(2), 73–85.
31. Wang, Y, & Wang, Y (2006). Cognitive informatics models of the brain. IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), 203–207.
32. Wang, Y, Wang, Y, Patel, S., & Patel, D. (2006). A layered reference model of the brain (LRMB). IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), 124–133.
33. Westen, D. (1999). Psychology: Mind, brain, and culture (2nd ed.). New York: John Wiley & Sons, Inc.
34. Wilson, R. A., & Keil, F. C. (2001). The MIT encyclopaedia of the cognitive sciences. MIT Press.