The Cognitive Processes of Formal Inferences

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)

Volumn 1, Issue 4, 2007, Pages 75-86

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

abduction; abstraction; analogy; cognitive informatics; cognitive processes; deduction; inductionx; inference; LRMB; mathematical models; OAR; RTPA; the brain

Indexed keywords

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

References (27)

1. Bender, E. A. (1996). Mathematical methods in artifcial intelligence. Los Alamitos, CA: IEEE CS Press.
2. Hurley, P. J. (1997). A concise introduction to logic (6th ed.). London: Wadsworth.
3. Lipschutz, S. (1964). Schaum's outline of theories and problems of set theory and related topics. New York: McGraw-Hill.
4. Schoning, U. (1989). Logic for computer scientists. Boston: Birkhauser.
5. Smith, K. J. (2001). The nature of mathematics (9th ed.). CA: Brooks/Cole, Thomson Learning Inc.
6. Sperschneider, V., & Antoniou, G. (1991). Logic: A foundation for computer science. Reading, MA: Addison-Wesley.
7. Tomassi, P. (1999). Logic. London and New York: Routledge.
8. Van Heijenoort, J. (1997). From Frege to Godel, A source book in mathematical logic 1879–1931. Cambridge, MA: Harvard University Press.
9. Wang, Y. (2002a). The real-time process algebra (RTPA). Annals of Software Engineering: An International Journal, 14, 235–274.
10. Wang, Y. (2002b). On cognitive informatics (Keynote speech). Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI'06) (pp. 3–7). IEEE CS Press.
11. Wang, Y. (2003a). On cognitive informatics. Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 151–167.
12. 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.
13. Wang, Y. (2005). The cognitive processes of abstraction and formal inferences. In Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI'05) (pp. 18–26). IEEE CS Press.
14. Wang, Y. (2006a). On the informatics laws and deductive semantics of software. IEEE Transactions on Systems, Man, and Cybernetics, 36(2), 161–171.
15. Wang, Y. (2006b). Cognitive informatics—Towards the future generation computers that think and feel (Keynote speech). In Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI'06) (pp. 3–7). IEEE CS Press.
16. Wang, Y. (2006c). On concept algebra and knowledge representation. In Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI'06) (pp. 320–331). IEEE CS Press.
17. Wang, Y. (2006d). Cognitive informatics and contemporary mathematics for knowledge representation and manipulation. In Proceedings of the 1st International Conference on Rough Set and Knowledge Technology (RSKT'06), Lecture Notes on Artifcial Intelligence, 4062.
18. Wang, Y. (2007a). Software engineering foundations: A software science perspective. CRC Series of Software Engineering: Vol. 2. New York: CRC Press.
19. Wang, Y. (2007b). The theoretical framework of cognitive informatics. The International Journal of Cognitive Informatics and Natural Intelligence, 1(1), pp. 1–27.
20. 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.
21. Wang, Y. (2007d). Toward theoretical foundations of autonomic computing. The International Journal of Cognitive Informatics and Natural Intelligence, 1(3), 1–16.
22. Wang, Y. (2007e). Formal description of the cognitive process of memorization. In Proceedings of the 6th IEEE International Conference on Cognitive Informatics (ICCI'07). IEEE CS Press.
23. Wang, Y., & Kinsner, W. (2006). Recent advances in cognitive informatics. IEEE Transactions on Systems, Man, and Cybernetics, 36(2), 121–123.
24. 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.
25. Wang, Y., & Wang, Y. (2006). Cognitive informatics models of the brain. IEEE Transactions on Systems, Man, and Cybernetics, 36(2), 203–207.
26. Wang, Y., Wang, Y., Patel, S., & Patel, D. (2006). A layered reference model of the brain (LRMB). IEEE Transactions on Systems, Man, and Cybernetics, 36(2), 124–133.
27. Wilson, R. A., & Keil, F. C. (2001). The MIT encyclopedia of the cognitive sciences. Cambridge, MA: MIT Press.