The cognitive processes of abstraction and formal inferences

Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

Volumn , Issue , 2005, Pages 18-26

  Wang, Ymgxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Abduction; Abstraction; Analogy; Cognitive informatics; Cognitive processes; Deduction; Induction; Inference; LRMB; Mathematical models; ORA; RTPA; The brain

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; COMPUTER SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

ABSTRACTION; COGNITIVE INFORMATICS; COGNITIVE PROCESSES; INDUCTION; INFERENCE; REAL-TIME PROCESS ALGEBRA (RTPA);

COGNITIVE SYSTEMS;

EID: 33749051887     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2005.1532611     Document Type: Conference Paper

References (16)

1. Brooks, P.P. (1987), No Silver Bullet - Essence and Accidents of Software Engineering, IEEE Computer, Vol. 20, No. 4, April, pp. 10-19.
2. Hurley, P.J. (1997), A Concise Introduction to Logic, 6th ed., WadsworthPub. Co., IIP, London.
3. Lipschutz, S. (1964), Schaum's Outline of Theories and Problems of Set Theory and Related Topics, McGraw-Hill Inc., New York, NY.
4. Tomassi, P. (1999), Logic, Routledge, London and New York.
5. Wang, Y. (2002), The Real-Time Process Algebra (RTFA), The International Journal of Annals of Software Engineering, Vol.14, USA, pp. 235-274.
6. Wang, Y. (2003), Using Process Algebra to Describe Human and Software Behaviors, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp.199-213.
7. Wang, Y. (2003), On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp.151-167.
8. Wang, Y., D. Liu, and Y. Wang (2003), Discovering the Capacity of Human Memory, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp. 189-198.
9. Wang, Y., Y. Wang, S. Patel, and D. Patel (2006), A Layered Reference Model of the Brain, IEEE Transactions on Systems, Man, and Cybernetics (Part C), Vol. 36, to appear.
10. Wang, Y. and Y. Wang (2006), On Cognitive Models of the Brain, IEEE Transactions on Systems, Man, and Cybernetics (Part C), Vol. 36, to appear.
11. Wang, Y. (2002), A New Approach to Real-Time System Specification, Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, May, Vol.2, pp.663-668.
12. Wang, Y. and N.C. Foinjong (2002), Formal Specification of a Real-Time Lift. Dispatching System, Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, May, Vol.2, pp.669-674.
13. Wang, Y. and D. Gafurov (2003), The Cognitive Process of Comprehension, The 2nd IEEE International Conference on Cognitive Informatics (ICCI'03), IEEE CS Press, London, UK, August, pp.93-97.
14. Wang, Y., D. Liu, and G. Ruhe (2004), Formal Description of the Cognitive Process of Decision Making, Proceedings of the 2004 IEEE International Conference on Cognitive Informatics (ICCI'04), IEEE CS Press, Canada, August, pp. 124-130.
15. Wang, Y. (2006), Software Engineering Foundations: A Transdisciplinary and Rigorous Perspective, CRC Press, USA.
16. Wilson, R.A. and F. C. Keil (2001), The MIT Encyclopedia of the Cognitive Sciences, MIT Press.