Skip to main content
Springer Nature Link
Log in

Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations

  • Chapter
Transactions on Computational Science V

Part of the book series: Lecture Notes in Computer Science ((TCOMPUTATSCIE,volume 5540))

  • 524 Accesses

Abstract

Knowledge science and engineering are an emerging field that studies the nature of human knowledge, and its manipulations such as acquisition, representation, creation, composition, memorization, retrieval, and depository. This paper presents the nature of human knowledge and its mathematical models, internal representations, and formal manipulations. The taxonomy of knowledge and the hierarchical abstraction model of knowledge are investigated. Based on a set of mathematical models of knowledge and the Object-Attribute-Relation (OAR) model for internal knowledge representation, rigorous knowledge manipulations are formally described by concept algebra. A coherent framework of formalized knowledge systems is modeled based on the analyses of roles of formal and empirical knowledge. Then, the theory of knowledge acquisition and the cognitive model of knowledge spaces are systematically developed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baddeley, A.: Human Memory: Theory and Practice. Allyn and Bacon, Needham Heights (1990)

    Google Scholar 

  2. Debenham, J.K.: Knowledge Systems Design. Prentice Hall, New York (1989)

    MATH  Google Scholar 

  3. Ellis, D.O., Fred, J.L.: Systems Philosophy. Prentice Hall, Englewood Cliffs (1962)

    Google Scholar 

  4. Gabrieli, J.D.E.: Cognitive Neuroscience of Human Memory. Annual Review of Psychology 49, 87–115 (1998)

    Article  Google Scholar 

  5. Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Berlin (1999)

    Book  MATH  Google Scholar 

  6. Gray, P.: Psychology, 2nd edn. Worth Publishers, Inc., New York (1994)

    Google Scholar 

  7. Leahey, T.H.: A History of Psychology: Main Currents in Psychological Thought, 4th edn. Prentice-Hall Inc., Upper Saddle River (1997)

    Google Scholar 

  8. Matlin, M.W.: Cognition, 4th edn. Harcourt Brace College Publishers, Orlando (1998)

    Google Scholar 

  9. Quillian, M.R.: Semantic Memory. In: Minsky, M. (ed.) Semantic Information Processing. MIT Press, Cambridge (1968)

    Google Scholar 

  10. Rosenzmeig, M.R., Leiman, A.L., Breedlove, S.M.: Biological Psychology: An Introduction to Behavioral, Cognitive, and Clinical Neuroscience, 2nd edn. Sinauer Associates, Inc., Publishers, Sunderlans (1999)

    Google Scholar 

  11. Smith, R.E.: Psychology. West Publishing Co., St. Paul (1993)

    Google Scholar 

  12. Sober, E.: Core Questions in Philosophy: A Text with Readings, 2nd edn. Prentice Hall, Englewood Cliffs (1995)

    Google Scholar 

  13. Squire, L.R., Knowlton, B., Musen, G.: The Structure and Organization of Memory. Annual Review of Psychology 44, 453–459 (1993)

    Article  Google Scholar 

  14. Sternberg, R.J.: In Search of the Human Mind, 2nd edn. Harcourt Brace & Co., Orlando (1998)

    Google Scholar 

  15. Wang, Y.: Keynote: On Cognitive Informatics. In: Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), Calgary, Canada, pp. 34–42. IEEE CS Press, Los Alamitos (2002)

    Chapter  Google Scholar 

  16. Wang, Y.: On Cognitive Informatics, Brain and Mind: A Transdisciplinary. Journal of Neuroscience and Neurophilosophy 4(3), 151–167 (2003)

    MathSciNet  Google Scholar 

  17. Wang, Y.: Keynote: Cognitive Informatics - Towards the Future Generation Computers that Think and Feel. In: Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI 2006), Beijing, China, pp. 3–7. IEEE CS Press, Los Alamitos (2006)

    Chapter  Google Scholar 

  18. Wang, Y.: Software Engineering Foundations: A Software Science Perspective. CRC Book Series in Software Engineering, vol. II. Auerbach Publications, NY (2007a)

    Book  MATH  Google Scholar 

  19. Wang, Y.: The Theoretical Framework of Cognitive Informatics. International Journal of Cognitive Informatics and Natural Intelligence 1(1), 1–27 (2007b)

    Article  MathSciNet  Google Scholar 

  20. Wang, Y.: 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 (2007c)

    Google Scholar 

  21. Wang, Y.: The Theoretical Framework and Cognitive Process of Learning. In: Proc. 6th International Conference on Cognitive Informatics (ICCI 2007). IEEE CS Press, Los Alamitos (2007d)

    Google Scholar 

  22. Wang, Y.: Keynote, On Abstract Intelligence and Its Denotational Mathematics Foundations. In: Proc. 7th IEEE International Conference on Cognitive Informatics (ICCI 2008), Stanford University, CA, USA, pp. 3–13. IEEE CS Press, Los Alamitos (2008a)

    Chapter  Google Scholar 

  23. Wang, Y.: On Contemporary Denotational Mathematics for Computational Intelligence. Transactions of Computational Science 2, 6–29 (2008b)

    MATH  Google Scholar 

  24. Wang, Y.: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 1–19 (2008c)

    Article  Google Scholar 

  25. Wang, Y.: On System Algebra: A Denotational Mathematical Structure for Abstract Systems, Modeling. International Journal of Cognitive Informatics and Natural Intelligence 2(2), 20–43 (2008d)

    Article  Google Scholar 

  26. Wang, Y.: On Abstract Intelligence: Toward a Unified Theory of Natural, Artificial, Machinable, and Computational Intelligence. International Journal of Software Science and Computational Intelligence 1(1), 1–17 (2009a)

    Article  MathSciNet  Google Scholar 

  27. Wang, Y.: On Cognitive Foundations of Creativity and the Cognitive Process of Creation. International Journal of Cognitive Informatics and Natural Intelligence 3(4), 1–16 (2009b)

    Google Scholar 

  28. Wang, Y.: Formal Description of the Cognitive Process of Memorization. Transactions of Computational Science 5, 81–98 (2009c)

    Google Scholar 

  29. Wang, Y., Kinsner, W., Anderson, J.A., Zhang, D., Yao, Y.Y., Sheu, P., Tsai, J., Pedrycz, W., Latombe, J.-C., Zadeh, L.A., Patel, D., Chan, C.: A Doctrine of Cognitive Informatics. Fundamenta Informaticae 90(3), 1–26 (2009a)

    Google Scholar 

  30. Wang, Y., Zadeh, L.A., Yao, Y.: On the System Algebra Foundations for Granular Computing. International Journal of Software Science and Computational Intelligence 1(1), 64–86 (2009b)

    Article  Google Scholar 

  31. Wang, Y., Liu, D., Wang, Y.: Discovering the Capacity of Human Memory, Brain and Mind: A Transdisciplinary. Journal of Neuroscience and Neurophilosophy 4(2), 189–198 (2003)

    Google Scholar 

  32. Wang, Y., Wang, Y.: Cognitive Informatics Models of the Brain. IEEE Transactions on Systems, Man, and Cybernetics (C) 36(2), 203–207 (2006)

    Article  MathSciNet  Google Scholar 

  33. Wang, Y., Wang, Y., Patel, S., Patel, D.: A Layered Reference Model of the Brain (LRMB). IEEE Transactions on Systems, Man, and Cybernetics (C) 36(2), 124–133 (2006)

    Article  Google Scholar 

  34. Wilson, R.A., Keil, F.C.: The MIT Encyclopedia of the Cognitive Sciences. MIT Press, Cambridge (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Theoretical and Empirical Software Engineering Research Centre (TESERC) International Center for Cognitive Informatics (ICfCI) Dept. of Electrical and Computer Engineering Schulich School of Engineering, University of Calgary, 2500 University Drive, NW, Calgary, Alberta, Canada, T2N 1N4

    Yingxu Wang

Authors
  1. Yingxu Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Calgary, Department of Computer Science, 2500 University Drive N.W, T2N 1N4, Calgary, AB, Canada

    Marina L. Gavrilova

  2. OptimaNumerics Ltd., Cathedral House, 23-31 Waring Street, BT1 2DX, Belfast, UK

    C. J. Kenneth Tan

  3. Theoretical and Empirical Software Engineering Research Centre (TESERC), University of Calgary, 2500 University Drive, NW, T2N 1N4, Calgary, Alberta, Canada

    Yingxu Wang

  4. Department of Computing, The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong

    Keith C. C. Chan

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wang, Y. (2009). Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations. In: Gavrilova, M.L., Tan, C.J.K., Wang, Y., Chan, K.C.C. (eds) Transactions on Computational Science V. Lecture Notes in Computer Science, vol 5540. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02097-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02097-1_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02096-4

  • Online ISBN: 978-3-642-02097-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics