Intelligent Problem Solving about Functional Component of COKB Model and Application

  • Van Nhon DoEmail author
  • Diem Nguyen
Part of the Studies in Computational Intelligence book series (SCI, volume 572)


Knowledge representation models and automated reasoning algorithms are the most important problems in designing knowledge-based systems in artificial intelligence, especially in intelligent problem solver (IPS). One of effective models is the Computational Object Knowledge Base model (the COKB model), which can be used to represent the total knowledge and to design the knowledge base of practical intelligent systems. However, besides the well-known knowledge components like concepts, relations, rules, there is another popular form of the knowledge, but has not been deeply researched. It is the functional knowledge component consisting of functions, relations, facts and rules and automated reasoning algorithms on functions. Consequently, in this paper, we will introduce the five-component COKB model and present in detail the knowledge representation method and automated reasoning algorithms for knowledge component about functions. In addition, this method has been used to design and implement an effective application, which can solve problems in solid geometry and produces step-by-step solutions.


Knowledge representation automated reasoning intelligent problem solvers knowledge-based systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Russell, S., Norvig, P.: Artificial Intelligence – A modern approach, 3rd edn. Prentice Hall, by Pearson Education, Inc. (2010)Google Scholar
  2. 2.
    van Harmelem, F., Vladimir, Bruce: Handbook of Knowledge Representation. Elsevier (2008) ISBN: 978-0-444-52211-5Google Scholar
  3. 3.
    Sowa, J.F.: Architectures for Intelligent Systems. IBM Systems Journal 41(3), 331–349 (2002)CrossRefGoogle Scholar
  4. 4.
    Van Do, N.: Intelligent Problem Solvers in Education. In: Koleshko, V.M. (ed.) Design Method and Applications, Intelligent Systems. InTech (2012) ISBN: 978-953-51-0054-6Google Scholar
  5. 5.
    Do, N., Pham, T.L.: Knowledge representation and algorithms for automatic solving integral problems. In: Proceeding of IEEE 2011 6th International Conference on Computer Science & Education (ICCSE 2011), Singapore, pp. 730–735 (2011) ISBN: 978-1-4244-9716-4Google Scholar
  6. 6.
    Wu, W.-T.: On the Decision Problem and the Mechanization of Theorem in Elementary Geometry. Scientia Sinica 21, 159–172 (1978) Also in: Automated Theorem Proving: After 25 years, A.M.S., Contemporary Mathematics, 29, pp. 213–234 (1984)Google Scholar
  7. 7.
    Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reasoning 14(2), 257–291 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Chou, S.C., Gao, X.S., Zhang, J.Z.: A Deductive Database Approach To Automated Geometry Theorem Proving and Discovering. Journal of Automated Reasoning 25(3), 219–246 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Ye, Z., Chou, S.-C., Gao, X.-S.: An Introduction to Java Geometry Expert. In: Sturm, T., Zengler, C. (eds.) ADG 2008. LNCS, vol. 6301, pp. 189–195. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Doan, Q., Nhu, C.V., Khac, B.P., Ta, M.: Textbook 11th Grade Geometry. Publisher Vietnam Education (2010)Google Scholar
  11. 11.
    Nhon Van Do, A.: Program for Studying and Solving Problems in Plane Geometry. In: Proceedings of International on Artificial Intelligence 2000, Las Vegas, USA, pp. 1441–1447 (2000)Google Scholar
  12. 12.
    Do, N., Nguyen, H.: A Reasoning method on Knowledge Base of Computational Objects and Designing a System for automatically solving plane geometry problems. In: Proceeding of World Congress on Engineering and Computer Science (WCECS 2011), San Francisco, USA, pp. 294–299 (October 2011) ISBN: 978-988-18210-9-6Google Scholar
  13. 13.
    Bernardin, L., Chin, P., DeMarco, P., Geddes, K.O., Hare, D.E.G., Heal, K.M., Labahn, G., May, J.P., McCarron, J., Monagan, M.B., Ohashi, D., Vorkoette, S.M.: Maple Programming Guide. In: Copyright © Maplesoft, a division of Waterloo Maple Inc. (2014),
  14. 14.
    Mathematica software, Wolframalpha website. In: Wolfram Media Inc.,,
  15. 15.
    Bagatrix Math Software Technology ©2010 Bagatrix, Inc. (2010),

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Vietnam National University HoChiMinh City (VNU-HCM), University of Information TechnologyHoChiMinh CityVietnam

Personalised recommendations