On concept algebra: A denotational mathematical structure for knowledge and software modeling

International Journal of Cognitive Informatics and Natural Intelligence

Volumn 2, Issue 2, 2008, Pages 1-19

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Case studies; Cognitive informatics; Concept; Concept algebra; Denotational mathematics; Knowledge; Knowledge network; Learning; Mathematics; Natural intelligence; The OAR model

Indexed keywords

ABSTRACTING; MATHEMATICAL TECHNIQUES;

CASE-STUDIES; COGNITIVE INFORMATICS; CONCEPT; CONCEPT ALGEBRA; DENOTATIONAL MATHEMATICS; KNOWLEDGE; KNOWLEDGE NETWORKS; LEARNING; NATURAL INTELLIGENCE;

ALGEBRA;

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

References (34)

1. Anderson, J. R. (1983). The architecture of cognition. Cambridge, MA: Harvard University Press.
2. Anderson, J. R. (1991). Is human cognition adaptive? Behavioral and Brain Science, 14, 71-517.
3. Chen, Y., & Yao, Y. Y. (2005). Formal concept analysis based on hierarchical class analysis. In Proceedings of the Fourth IEEE International Conference on Cognitive Informatics (ICCI'05) (pp. 285-292). Irvin, CA: IEEE CS Press.
4. Codin, R., Missaoui, R., & Alaoui, H. (1995). Incremental concept formation algorithms based on Galois (concept) lattices. Computational Intelligence, 11(2), 246-267.
5. Colins, A. M., & Loftus, E. F. (1975). A Spreadingactivation theory of semantic memory. Psychological Review, 82, 407-428.
6. Ganter, B., & Wille, R. (1999). Formal concept analysis. Berlin, Germany: Springer.
7. Hampton, J. A. (1997). Psychological representation of concepts of memory (pp. 81-11). Hove, England: Psychology Press
8. Hurley, P. J. (1997), A concise introduction to logic (6th ed.). Belmony, CA: Wadsworth.
9. Matlin, M. W. (1998). Cognition (4th ed.). New York: Harcourt Brace.
10. Medin, D. L., & Shoben, E. J. (1988). Context and structure in conceptual combination. Cognitive Psychology, 20, 158-190.
11. Murphy, G. L. (1993). Theories and concept formation. In I. V. Mechelen et al. (Eds.), Categories and concepts, theoretical views and inductive data analysis (pp. 173-200). New York: Academic Press.
12. Quillian, M. R. (1968). Semantic memory. In M. Minsky (Ed.), Semantic information processing. Cambridge, MA: MIT Press.
13. Reisberg, D. (2001). Cognition: Exploring the science of the mind (2nd ed.). New York: Norton.
14. Smith, E. E., & Medin, D. L. (1981). Categories and concepts. Cambridge, MA: Harvard University Press.
15. Wang, Y. (2002a). Keynote lecture: On cognitive informatics. In Proceedings of the First IEEE International Conference on Cognitive Informatics (ICCI'02) (pp. 34-42). Calgary, Canada: IEEE CS Press.
16. Wang, Y. (2002b). The real-time process algebra (RTPA). The International Journal of Annals of Software Engineering, 14, 235-274.
17. Wang, Y. (2003). Using process algebra to describe human and software system behaviors. Brain and Mind, 4(2), 199-213.
18. Wang, Y. (2006a, July). Cognitive informatics and contemporary mathematics for knowledge representation and manipulation, invited plenary talk. In Proceedings of the First International Conference on Rough Set and Knowledge Technology (RSKT'06) (LNAI 4062, pp. 69-78). Chongqing, China: Springer.
19. Wang, Y. (2006b). On abstract systems and system algebra. In Proceedinngs of the Fifth IEEE International Conference on Cognitive Informatics (ICCI'06) (pp. 332-343). Beijing, China: IEEE CS Press.
20. Wang, Y. (2006c). On concept algebra and knowledge representation. In Proceedings of the Fifth IEEE International Conference on Cognitive Informatics (ICCI'06) (pp. 320-331), Beijing, China: IEEE CS Press.
21. Wang, Y. (2006d, March). On the informatics laws and deductive semantics of software. IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), 161-171.
22. Wang, Y. (2007a). The cognitive processes of formal inferences. The International Journal of Cognitive Informatics and Natural Intelligence, 1(4), 75-86.
23. Wang, Y. (2007b). Keynote speech: On theoretical foundations of software engineering and denotational mathematics. In Proceedings of the Fifth Asian Workshop on Foundations of Software (pp. 99-102). Xiamen, China:.
24. Wang, Y. (2007c). The OAR model of neural informatics for internal knowledge representation in the brain. The International Journal of Cognitive Informatics and Natural Intelligence, 1(3), 64-75.
25. Wang, Y. (2007d, July). Software engineering foundations: A software science perspective. In CRC Series in Software Engineering: Vol. 2. CRC Press.
26. Wang, Y. (2007e). The theoretical framework of cognitive informatics. The International Journal of Cognitive Informatics and Natural Intelligence, 1(1), 1-27.
27. Wang, Y. (2008a, April). Deductive semantics of RTPA. The International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 96-121.
28. Wang, Y. (2008b, April). On system algebra: A denotational mathematical structure for abstract system modeling. The International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 20-43.
29. Wang, Y. (2008c). On the big-R notation for describing iterative and recursive behaviors. The International Journal of Cognitive Informatics and Natural Intelligence, 2(1), 17-18.
30. Wang, Y. (2008d, April). RTPA: A denotational mathematics for manipulating intelligent and computational behaviors. The International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 44-62.
31. Wang, Y., & Wang, Y. (2006, March). On cognitive informatics models of the brain. IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), 203-207.
32. Wille, R. (1982). Restructuring lattice theory: An approach based on hierarchies of concepts. In I. Rival (Ed.), Ordered sets (pp. 445-470). Reidel, Dordrecht
33. Wilson, R. A., & Keil, F. C. (Eds.). (1999). The MIT encyclopedia of the cognitive sciences. Cambridge, MA: The MIT Press.
34. Yao, Y. Y. (2004). Concept formation and learning: A cognitive informatics perspective. In Proceedings of the Third IEEE International Conference on Cognitive Informatics (ICCI'04) (pp. 42-51). Victoria, British Columbia, Canada: IEEE CS Press.